TypeScript の型の表現力と、言語設計のシンプルさ・巧みさについて話しました。
タグ検索の該当結果が少ないため、タイトル検索結果を表示しています。
TypeScript の型システム / Type system of the TypeScript
TypeScript の型の表現力と、言語設計のシンプルさ・巧みさについて話しました。
Extreme Explorations of TypeScript's Type System | Learning TypeScript
TypeScript's type system is Turing Complete: meaning it has conditional branching (conditional types) and works with an arbitrary huge amount of memory. As a result, you can use the type system as its own programming language complete with variables, functions, and recursion. Developers have pushed the bounds of type operations possible in the type system to write some pretty incredible things! Th
GitHub - ronami/HypeScript: 🐬 A simplified implementation of TypeScript's type system written in TypeScript's type system
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
GitHub - ronami/typelang: 🌳 A tiny language interpreter implemented purely in TypeScript's type-system
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
Epic Games released an initial public implementation of the Verse programming language. Verse has been designed by some people who really know what they’re doing: Lennart Augustsson Joachim Breitner Koen Claessen Ranjit Jhala Simon Peyton Jones Olin Shivers Tim Sweeney It’s amazing to see a CEO help design a programming language but Tim Sweeney has been advocating for functional programming in gam
Typescript Type System Adventure
Typescript Type System AdventuretitleTypescript Type System Adventuredate2020-10-24path/typescript-type-system-adventureauthorRick LoveexcerptText Adventure implemented in the Typescript Type System and Vscode JsDoc Viewerimagegame-screenshot-06-large.pngtagstypescript, type-system, vscode, jsdoc, markdown, hacks, demo, games, text-adventure tl;dr: Play a text adventure in vscode with the typescri
GitHub - cassiozen/TDungeon: TDungeon is a small adventure game that runs in the Typescript type system
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
TypeScripts Type System is Turing Complete · Issue #14833 · microsoft/TypeScript
type StringBool = "true"|"false"; interface AnyNumber { prev?: any, isZero: StringBool }; interface PositiveNumber { prev: any, isZero: "false" }; type IsZero<TNumber extends AnyNumber> = TNumber["isZero"]; type Next<TNumber extends AnyNumber> = { prev: TNumber, isZero: "false" }; type Prev<TNumber extends PositiveNumber> = TNumber["prev"]; type Add<T1 extends AnyNumber, T2> = { "true": T2, "false
Type system updates: moving from research into development
A year ago, at ElixirConf EU 2022, we announced an effort to research and develop a type system for Elixir (video presentation) (written report). This work is happening under the lead of Giuseppe Castagna, CNRS Senior Researcher, and taken by Guillaume Duboc as part of his PhD studies, with further guidance from myself (José Valim). This article is a summary of where we are in our efforts and wher
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Type system of Fortnite's Verse language - BAM Weblog
travelwithme.social
www.sankei.com
kakuyomu.jp
rocketnews24.com
comic-days.com
xtech.nikkei.com