型システムを知りたい人のための型検査器作成入門
@ 関数型まつり2025（2025-06-14） https://fortee.jp/2025fp-matsuri/proposal/5699c262-e04d-4f58-a6f5-34c390f36d0d
GitHub - aspizu/goboscript: goboscript is the Scratch compiler
Installation and documentation goboscript is a text-based programming language that compiles to Scratch. Write Scratch projects in text, and compile it into a .sb3 file -- which can be opened in the Scratch editor, TurboWarp or be uploaded to the Scratch website. goboscript makes developing advanced Scratch projects FAST. goboscript syntax is concise and easy to read. Use a version-control system
型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語
紙書籍をお届けします（PDFがついてきます） PDFのみ必要な場合は、こちらからPDF単体を購入できます 通常はご注文から2～3営業日で発送します。 年末年始や大型連休など、1週間から10日程度、配送のお休みをいただく場合があります。詳しくはお知らせをご覧ください。 型システムがようやくわかった！ 遠藤侑介 著 184ページ A5判/1色刷 ISBN：978-4-908686-20-7 2025年4月15日 第1版第1刷 現代の開発環境では、エディタ上でコードを書いている最中から、実行もせずにエラーが判明することがあります。コードの補完でも、文脈に適した候補が魔法のように提示されてきます。こうした機能で中心的な役割を果たすのが「型システム」です。 では、なぜ型システムはプログラムのエラーを早期に発見したり、適切な補完候補を絞り出せたりするのでしょうか？ 背景となる数学の理論を教科書で学ぶ以
新刊『型システムのしくみ』の発売を4/18に予定しています
ご来店ありがとうございます。新刊発売予定のお知らせです。 2025年4月18日（金）、遠藤侑介著『型システムのしくみ ― TypeScriptで実装しながら学ぶ型とプログラミング言語』の発売を予定しています。なお、2025年4月16日（水）から開催されるRubyKaigi 2025会場のBOOKSTOREにて、著者サイン会に合わせた先行発売を予定しています（紙書籍のみ。部数には限りがあります）。ジュンク堂池袋本店様でも4月16日から販売していただける予定です。 『型システムのしくみ』について 多くのプログラミング言語では、さまざまな場面で「型」が登場します。特に静的型付き言語では、プログラムを実行せずに潜在的な問題をあぶり出す「型検査」の有用性が広く知られるようになりました。最近では動的型付き言語でも、型ヒントや静的解析ツールとして、この機能を部分的に取り入れる動きがあります。 型検査の背
The inevitability of the borrow checker
Feb 05, 2025 When defining a type in Inko, it's allocated on the heap by default. For example (using the syntax for the upcoming 0.18.0 release): type User { let @id: Int let @username: String let @email: String } User(id: 42, username: 'Alice', email: 'alice@example.com') Here User is a heap allocated type, and the expression User(...) allocates an instance of this type using the system allocator
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Dynamic Region Ownership for Concurrency Safety - Microsoft Research
GitHub - dps/toybasic: A toy basic compiler playground
I wrote a compiler // flurries of latent creativity
I wrote a compiler | Lobsters
Transpiler, a meaningless word | Rachit Nigam
Transpiler is a meaningless word (2023) | Lobsters
Ask HN: Writing an Interpreter in Go or Crafting Interpreters? | Hacker News
GitHub - LambdaNote/support-ts-tapl: 『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイト
Mechanized semantics for the Clight subset of the C language
GitHub - ssloy/tinycompiler: Writing a compiler in a week-end
The inevitability of the borrow checker | Hacker News
The inevitability of the borrow checker | Lobsters
Fixing Recursions In Grammar
Fixing left and mutual recursions in grammars | Hacker News
GitHub - c2lang/c2compiler: the c2 programming language
