GitHub - LambdaNote/support-ts-tapl: 『TypeScriptではじめる型システム』（n月刊ラムダノート2024, Vol.4, No.3）サポートサイトYou signed in with another tab or window. Reload to refresh your session. You signed out in another tab or window. Reload to refresh your session. You switched accounts on another tab or window. Reload to refresh your session. Dismiss alert
型システムのしくみ ― 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日から販売していただける予定です。 『型システムのしくみ』について 多くのプログラミング言語では、さまざまな場面で「型」が登場します。特に静的型付き言語では、プログラムを実行せずに潜在的な問題をあぶり出す「型検査」の有用性が広く知られるようになりました。最近では動的型付き言語でも、型ヒントや静的解析ツールとして、この機能を部分的に取り入れる動きがあります。 型検査の背
Announcing TypeScript 5.4 - TypeScript
Today we’re excited to announce the release of TypeScript 5.4! If you’re not familiar with TypeScript, it’s a language that builds on top of JavaScript by making it possible to declare and describe types. Writing types in our code allows us to explain intent and have other tools check our code to catch mistakes like typos, issues with null and undefined, and more. Types also power TypeScript’s edi
Welcome to the Gleam language tour! 💫 - The Gleam Language Tour
This tour covers all aspects of the Gleam language, and assuming you have some prior programming experience should teach you everything you need to write real programs in Gleam. The tour is interactive! The code shown is editable and will be compiled and evaluated as you type. Anything you print using io.println or io.debug will be shown in the bottom section, along with any compile errors and war
Gleam's new interactive language tour - Gleam
Published 19 Jan, 2024 by Louis Pilfold Gleam is a type safe and scalable language for the Erlang virtual machine and JavaScript runtimes. Today Gleam’s new language tour has been launched, a way to try and to learn Gleam without having to install anything on your computer. Check it out, it looks like this: The language tour guides you through the language, from the basics to the most advanced fea
Gleam language
Gleam is a friendly language for building type-safe systems that scale! The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax. Reliable and scalableRunning on the battle-tested Erlang virtual machine that powers planet-scale systems such as WhatsApp and Ericsson, Gleam
Homepage | Civet
CivetA Programming Language for the New Millennium Code More with Less in a TypeScript Superset Civet is a programming language that compiles to TypeScript or JavaScript, so you can use existing tooling (including VSCode type checking, hints, completion, etc.) while enabling concise and powerful syntax. It starts with 99% JS/TS compatibility, making it easy to transition existing code bases. Then
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
An alternative idea for a typed language living alongside/inside JavaScript
An alternative idea for a typed language living alongside/inside JavaScript | Lobsters
GitHub - DanielXMoore/Civet: A TypeScript superset that favors more types and less typing
Civet: A Superset of TypeScript | Hacker News
Announcing TypeScript 5.4 | Lobsters
Gleam language tour | Lobsters
Gleam's New Interactive Language Tour | Lobsters
GitHub - lpil/gleam: ✨ A statically typed language for the Erlang VM