Agda User Manual v2.5.4.2109 4 Tools 111 4.1 Automatic Proof Search (Auto) 111 4.2 Command-line options 114 4.3 Compilers 118 4.4 Emacs Mode 120 4.5 Literate Programming 125 4.6 Generating HTML 127 4.7 Generating binding the built-in IO type is to let Agda check that the main function has the right type (see Compilers). postulate IO : Set → Set {-# BUILTIN IO IO #-} #### 3.2.16 Literal overloading module Agda supported) --interaction For use with the Emacs mode (no need to invoke yourself) ## Compilation See Compilers for backend-specific options. --no-main Do not treat the requested module as the main module of0 码力 | 155 页 | 668.75 KB | 2 年前3- Cross-Platform Floating-Point Determinism Out of the BoxIstomin vi@6it.dev Overall idea, and Insisting that it is doable, in spite of setbacks Wrestling compilers, implementing and testing various sixit::dmath IEEE floats: shared-lib, static-lib, soft-float, floating point code in C or C++ and expect it to give exactly the same result across different compilers or architectures, or even the same results across debug and release builds” - Glenn Fiedler “If as controller inputs, they cannot be played back on machines with different CPU architectures, compilers, or optimization settings. In MotoGP, this meant we could not share saved replays between Xbox and0 码力 | 31 页 | 3.88 MB | 1 年前3
- Just-in-Time Compilation - J F Bastien - CppCon 2020s/d/0/a/d/d0ad97dd1fc1c252d99c48a4d1048dc1/p1_1.jpg) Presented at CppCon 2020. Just-in-Time compilers... we've all heard of them! What are they really? Why would anyone want them, are they actually actually a good idea, and how do they fit in with C++ since we all use Ahead-of-Time compilers? In this talk I’ll tell you about C++ AoT compiler, JiTs for dynamic language, JiTs for binary translation, and compiler history and read wonderful academic papers about compilers. I’ll illustrate how our view of compilers is really monolithic, and how compilers through time, and still today, are actually a continuum0 码力 | 111 页 | 3.98 MB | 1 年前3
Go 101 (Golang 101) v1.21.0gccgo. Nowadays it's use is less popular than gc, but it always serves as a reference, and both compilers are in active development. As of now the Go team focuses on the improvement of gc. gc is provided High-level programming code will be translated to low-level CPU instructions by compilers to get executed. To help compilers parse high-level programming code, many words are reserved to prevent them from introduce keywords and identifiers in Go. ## Keywords Keywords are the special words which help compilers understand and parse user code. Up to now (Go 1.21), Go has only 25 keywords:0 码力 | 610 页 | 945.17 KB | 2 年前3 Go 101 (Golang 101) v1.21.0gccgo. Nowadays it's use is less popular than gc, but it always serves as a reference, and both compilers are in active development. As of now the Go team focuses on the improvement of gc. gc is provided High-level programming code will be translated to low-level CPU instructions by compilers to get executed. To help compilers parse high-level programming code, many words are reserved to prevent them from introduce keywords and identifiers in Go. ## Keywords Keywords are the special words which help compilers understand and parse user code. Up to now (Go 1.21), Go has only 25 keywords:1| 0 码力 | 630 页 | 3.77 MB | 2 年前3
Go 101 (Golang 101) v1.21.0gccgo. Nowadays it's use is less popular than gc, but it always serves as a reference, and both compilers are in active development. As of now the Go team focuses on the improvement of gc. gc is provided High-level programming code will be translated to low-level CPU instructions by compilers to get executed. To help compilers parse high-level programming code, many words are reserved to prevent them from introduce keywords and identifiers in Go. ## Keywords Keywords are the special words which help compilers understand and parse user code. Up to now (Go 1.21), Go has only 25 keywords: |1\| break|def0 码力 | 880 页 | 833.34 KB | 2 年前3 Class Layout8bb642cb1de/p5_3.jpg) The rightmost two orderings are not valid in modern C++. In practice, compilers did not (or very rarely) reorder member layout. Copyright © 2020 by Stephen C. Dewhurst and Daniel Copyright © 2020 by Stephen C. Dewhurst and Daniel Saks 21 ## Aggressive Compilers - Compilers are allowed to (and some compilers do) perform aggressive EBO optimization by permuting the layout order of class Derived : public NonEmpty1, public NonEmpty2, public Empty { ~~~~~ In this case, some compilers will locate the Empty base class subobject at offset 0, before the storage for the NonEmpty2 subobject0 码力 | 51 页 | 461.37 KB | 1 年前3 C++26 for C++14 Developers: STL-Previewcompatibility with existing STL implementations and bridging the gap for industries yet to upgrade their compilers. ### 2. Relevance stl-preview currently implements 281 out of 690 STL functions and classes introduced C++26 in C++14. This includes ranges, concepts, span, and expected. It has been tested on various compilers including GCC, Clang, MSVC, Emscripten, and NDK with C++14 or later. Besides the extensive implementations two or more compilers. By backporting the latest (C++26) STL features to older standards (C++14), it allows developers to leverage modern C++ functionalities without modifying their compilers or breaking0 码力 | 3 页 | 129.06 KB | 1 年前3 Conan 1.45 DocumentationDecentralized package manager 3 1.3 Binary management 4 1.4 All platforms, all build systems and compilers 5 1.5 Stable 5 1.6 Community 6 2 Cheatsheet 7 2.1 Single-Page Graphical Format 7 2 helper for Conan 211 14.5 Hooks 213 14.6 Template system 217 15 Integrations 227 15.1 Compilers ..... 227 15.2 Build systems ..... 228 15.3 IDEs ..... 257 15.4 CI Platforms ..... 272 15 .. 334 17.6 Using Visual Studio 2017 - CMake integration ..... 335 17.7 Working with Intel compilers ..... 338 17.8 How to manage C++ standard [EXPERIMENTAL] ..... 342 17.9 How to use Docker to0 码力 | 865 页 | 7.46 MB | 1 年前3 Conan 1.41 DocumentationDecentralized package manager 3 1.3 Binary management 4 1.4 All platforms, all build systems and compilers 5 1.5 Stable 5 1.6 Community 6 2 Cheatsheet 7 2.1 Single-Page Graphical Format 7 2 helper for Conan 211 14.5 Hooks 213 14.6 Template system 217 15 Integrations 227 15.1 Compilers ..... 227 15.2 Build systems ..... 228 15.3 IDEs ..... 257 15.4 CI Platforms ..... 272 15 .. 332 17.6 Using Visual Studio 2017 - CMake integration ..... 333 17.7 Working with Intel compilers ..... 336 17.8 How to manage C++ standard [EXPERIMENTAL] ..... 340 17.9 How to use Docker to0 码力 | 835 页 | 7.10 MB | 1 年前3共 539 条- 1
- 2
- 3
- 4
- 5
- 6
- 54
相关搜索词AgdaLibrary ManagementCompilersHighlightDocumentation GenerationFloating-Point DeterminismCross-PlatformIEEE 754PerformanceJust-in-Time Compilationcompiler historydynamic languagebinary translationsecurityGo语言类型系统并发编程panic和recover内存管理通道函数接口反射goroutine类布局标准布局类静态成员数据虚函数基类布局stl-previewC++26C++14STL移植与兼容Conan 1.45新功能系统包管理包创建依赖管理Conan版本安装配置生成器