Kotlin 1.9.10 官方文档 中文版
Kotlin 1.2 Kotlin 1.1 Kotlin 1.9.0 的新特性 发布于:2023-08-23 The Kotlin 1.9.0 release is out and the K2 compiler for the JVM is now in Beta. Additionally, here are some of the main highlights: 新版 Kotlin K2 编译器更新 The Kotlin team at JetBrains continues to stabilize the K2 compiler, and the 1.9.0 release introduces further advancements. The K2 compiler for the JVM is now in Beta. There's now also basic support with the K2 compiler, but with some restrictions. Despite setting languageVersion to 2.0 , the kapt compiler plugin still utilizes the old compiler. If you execute the kapt compiler plugin within0 码力 | 3753 页 | 29.69 MB | 1 年前3
Computer Programming with the Nim Programming Language
Nim program Binary numbers Hexadecimal numbers Installation of the compiler Creation of source-code files Launching the compiler and running the program Stropping for keywords and operators Part II: essential topics to cover. So, for now, we will leave out the following: the installation of the compiler, the process of installing and using text editors or IDEs with special Nim support, the use of the use of the foreign function interface (FFI) to create bindings to C libraries, and internal compiler details like the various memory management options and all the pragmas.[1] Also, we do not intend0 码力 | 865 页 | 7.45 MB | 1 年前3
Computer Programming with the Nim Programming Language
Nim program Binary numbers Hexadecimal numbers Installation of the compiler Creation of source-code files Launching the compiler and running the program Stropping for keywords and operators Part II: essential topics to cover. So, for now, we will leave out the following: the installation of the compiler, the process of installing and using text editors or IDEs with special Nim support, the use of the use of the foreign function interface (FFI) to create bindings to C libraries, and internal compiler details like the various memory management options and all the pragmas.[1] Also, we do not intend0 码力 | 784 页 | 2.13 MB | 1 年前3
Go 101 (Golang 101) v1.21.0Currently, the most popular Go compiler is written in Go and maintained by the Go design team. Later we shall call it the standard Go compiler, or gc (an abbreviation for Go compiler, not for garbage collection collection GC). The Go design team also maintains a second Go compiler, gccgo. Nowadays it's use is less popular than gc, but it always serves as a reference, and both compilers are in active development. As projects. In Go 101 article series, all examples are compiled and verified with the standard Go compiler provided in Go Toolchain. This article will introduce how to setup the Go development environment0 码力 | 610 页 | 945.17 KB | 1 年前3
Go 101 (Golang 101) v1.21.0Currently, the most popular Go compiler is written in Go and maintained by the Go design team. Later we shall call it the standard Go compiler, or gc (an abbreviation for Go compiler, not for garbage collection collection GC). The Go design team also maintains a second Go compiler, gccgo. Nowadays it's use is less popular than gc, but it always serves as a reference, and both compilers are in active development. As projects. In Go 101 article series, all examples are compiled and verified with the standard Go compiler provided in Go Toolchain. This article will introduce how to setup the Go development environment0 码力 | 880 页 | 833.34 KB | 1 年前3
Agda User Manual v2.6.2datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions Introduction General form Special patterns other types as well. Closed natural numbers are represented as Haskell integers at compile-time. The compiler backends compile natural numbers to the appropriate number type in the target language. Enabled converting to natural numbers, performing the corresponding operation, and then converting back. The compiler will optimise these to use 64-bit arithmetic. For instance: addWord : Word64 → Word64 → Word640 码力 | 348 页 | 414.11 KB | 1 年前3
Agda User Manual v2.6.2.2datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions Introduction General form Special patterns other types as well. Closed natural numbers are represented as Haskell integers at compile-time. The compiler backends compile natural numbers to the appropriate number type in the target language. Enabled converting to natural numbers, performing the corresponding operation, and then converting back. The compiler will optimise these to use 64-bit arithmetic. For instance: addWord : Word64 → Word64 → Word640 码力 | 354 页 | 433.60 KB | 1 年前3
Agda User Manual v2.6.2.1datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions Introduction General form Special patterns other types as well. Closed natural numbers are represented as Haskell integers at compile-time. The compiler backends compile natural numbers to the appropriate number type in the target language. Enabled converting to natural numbers, performing the corresponding operation, and then converting back. The compiler will optimise these to use 64-bit arithmetic. For instance: addWord : Word64 → Word64 → Word640 码力 | 350 页 | 416.80 KB | 1 年前3
Agda User Manual v2.6.3datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions Introduction General form Special patterns other types as well. Closed natural numbers are represented as Haskell integers at compile-time. The compiler backends compile natural numbers to the appropriate number type in the target language. Enabled converting to natural numbers, performing the corresponding operation, and then converting back. The compiler will optimise these to use 64-bit arithmetic. For instance: addWord : Word64 → Word64 → Word640 码力 | 379 页 | 354.83 KB | 1 年前3
Agda User Manual v2.6.1.3datatypes Strict positivity Flat Modality Pattern Matching on @♭ Foreign Function Interface Compiler Pragmas Haskell FFI JavaScript FFI Function Definitions Introduction General form Special patterns other types as well. Closed natural numbers are represented as Haskell integers at compile-time. The compiler backends compile natural numbers to the appropriate number type in the target language. Enabled converting to natural numbers, performing the corresponding operation, and then converting back. The compiler will optimise these to use 64-bit arithmetic. For instance: addWord : Word64 → Word64 → Word640 码力 | 305 页 | 375.80 KB | 1 年前3
共 257 条
- 1
- 2
- 3
- 4
- 5
- 6
- 26













