GitHub - ronami/HypeScript: 🐬 A simplified implementation of TypeScript's type system written in TypeScript's own type system

2022/07/28 9 users This means in TypeScript

🐬 HypeScript Introduction This is a simplified implementation of TypeScript's type system that's written in TypeScript's type annotations. This means that it uses types only — with no runtime code whatsoever. You pass TypeScript code as a string to the TypeCheck generic and get possible type err... 続きを読む

Extreme Explorations of TypeScript's Type System | Learning TypeScript

2022/06/28 9 users

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 push... 続きを読む

TypeScript の型システム / Type system of the TypeScript - Speaker Deck

2020/07/31 18 users TypeScript Speaker Deck 型システム

string number undefined null { x: number, y: number } string[] [ string, number ] type Hoge = { x: number, y: number }; & type HogeProps = { x: number }; type HugaProps = { y: number }; // 2 const props: HogeProps & HugaProps; const props: { x: number, y: number }; & structural typing props 続きを読む

Functional Programming Patterns (NDC London 2014)

2014/12/22 18 users

Functional Programming Patterns (BuildStuff '14) Scott Wlaschin 69,405 views Domain Driven Design with the F# type System -- F#unctional Londoners 2014 Scott Wlaschin 4,875 views 続きを読む