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
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 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
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ページを開く