Home
Carbon Language: An experimental successor to C++ Why? | Goals | Status | Getting started | Join us See our announcement video from CppNorth. Note that Carbon is not ready for use. Fast and works with C++ Performance matching C++ using LLVM, with low-level access to bits and addresses Interoperate with your existing C++ code, from inheritance to templates Fast and scalable builds that work with yo
Turing Machines
ALAN M. TURING 23 June 1912 – 7 June 1954 F | | P(T) R P(u) R P(r) R P(i) R P(n) R P(g) R P( ) R P(M) R P(a) R P(c) R P(h) R P(i) R P(n) R P(e) R P(s) R -> B B | | L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) L P( ) -> F 2024-12-20 Translations: English, Spanish In 1928, David Hilbert, one of the most influential mathematicians of his time, aske
GitHub - carbon-language/carbon-lang: Carbon Language's main repository: documents, design, implementation, and related tools. (NOTE: Carbon Language is experimental; see README)
C++ remains the dominant programming language for performance-critical software, with massive and growing codebases and investments. However, it is struggling to improve and meet developers' needs, as outlined above, in no small part due to accumulating decades of technical debt. Incrementally improving C++ is extremely difficult, both due to the technical debt itself and challenges with its evolu
Damas-Hindley-Milner inference two ways
What is Damas-Hindley-Milner? Damas-Hindley-Milner (HM) is a type system for Standard ML and the ML-family languages with parametric polymorphism, aka generic functions. It sits at a sweet spot in PL design: the type system is quite expressive, and there are well known type inference algorithms that require absolutely no annotations from the programmer. It seems to have been discovered independent
GitHub - DoctorWkt/acwj: A Compiler Writing Journey
In this Github repository, I'm documenting my journey to write a self-compiling compiler for a subset of the C language. I'm also writing out the details so that, if you want to follow along, there will be an explanation of what I did, why, and with some references back to the theory of compilers. But not too much theory, I want this to be a practical journey. Here are the steps I've taken so far:
Table of Contents · Crafting Interpreters
❧Frontmatter Dedication Acknowledgements I.Welcome 1.Introduction Design Note: What’s in a Name? 2.A Map of the Territory 3.The Lox Language Design Note: Expressions and Statements II.A Tree-Walk Interpreter 4.Scanning Design Note: Implicit Semicolons 5.Representing Code 6.Parsing Expressions Design Note: Logic Versus History 7.Evaluating Expressions Design Note: Static and Dynamic Typing 8.Statem
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
GitHub - helixlang/helix-lang: Python's Simplicity, C++'s Power, Native Interoperable with all, and Rust (W.I.P)
GitHub - LambdaNote/support-ts-tapl: 『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイト
GitHub - ssloy/tinycompiler: Writing a compiler in a week-end
Cpp2 and cppfront — An experimental 'C++ syntax 2' and its first compiler
GitHub - hsutter/cppfront: A personal experimental C++ Syntax 2 -> Syntax 1 compiler
GitHub - miniKanren/sokuza-kanren: Oleg Kiselyov's minimal implementation of logic programming
LLVM Tutorial: Table of Contents — LLVM 21.0.0git documentation
GitHub - hkust-taco/mlscript: The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
GitHub - NICUP14/MiniLang: A type-safe C successor that compiles directly to various platforms.
MiniLang: A type-safe C successor | Lobsters
starlark/spec.md at master · bazelbuild/starlark
GitHub - leanprover/lean4: Lean 4 programming language and theorem prover
Foreword - PureScript by Example
GitHub - tekknolagi/scrapscript: A functional, content-addressable programming language.
