carbon-lang
carbon-lang copied to clipboard
Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
## Review of the Current Design In the current design for Carbon, type equality is not always transitive. In particular, in the context of a generic with type parameters `A`,...
Add `C → C++` and `Objective-C → Swift` to main README as shown in [Chandler's talk](https://www.youtube.com/watch?v=omrY53kbVoA).
Early Carbon language design ideas included having a terser way of writing a function definition in the case where the body is a single expression. Instead of: ``` fn F()...
Dynamic typing is extremely powerful for data science and machine learning. Since this language will have a competitive performance to C++, it makes sense to me that future ML libraries...
We currently have no lexical support for character literals. While in principle we could reuse string literals for this purpose, it would make code more self-documenting and readable if we...
What should debug output/printing syntax look like? Note, I think there's a related question of "how should the prelude be implemented". However, I think there are questions about printing that...
Added the ability to specify the type String in the additional parameters Print, removed the restriction on the number of arguments.
After running "bazel run //explorer -- ./explorer/testdata/print/format_only.carbon" in the terminal, I get this error, "fail("`llvm-ar` not found in PATH or adjacent to clang")" could someone please tell me how to...
Instead of having two different operators and semantics when constraining an associated type to be equal to another type variable versus a concrete type, unify the semantics and consistently use...