TypeScript 㧠GADT ã£ã½ã„ã® - Object.create(null)TypeScript 㧠Haskell ã«ã‚るよã†ãª GADT (Generalized Algebraic Data Type) ã£ã½ã„ã‚‚ã®ã‚’ã©ã†è¡¨ç¾ã§ãã‚‹ã‹ã¨ã„ã†è©±. GADT を使ã„ãŸããªã‚‹ä¾‹ å¼ã‚’データã¨ã—ã¦è¡¨ç¾ã—ãŸã„ã“ã¨ã‚ã‚Šã¾ã™ã‚ˆã. ã‚ã‚‹ã¨è¨€ã£ã¦ãã‚Œ. 例ãˆã°æ•°å€¤ã¨æ•°å€¤ä¸Šã®é–¢æ•°, ãã—ã¦é–¢æ•°é©ç”¨ãŒã‚ã‚‹å¼ã‚’考ãˆã¾ã™. ç´ æœ´ã«è¡¨ç¾ã™ã‚‹ã¨ä»¥ä¸‹ã®ã‚ˆã†ã«ãªã‚‹ã§ã—ょã†. type Expr = | { type: "num", val: number } | { type: "fun", val: Fun } | { type: "app", fun: Expr, arg: Expr }; type Fun = (x: number) => number; ã„ã¡ã„ã¡ã‚ªãƒ–ジェクトリテラルを書ãã®ã¯é¢å€’ãªã®ã§ã‚³ãƒ³ã‚¹ãƒˆãƒ©ã‚¯ã‚¿ã‚’作ã£ã¦ãŠãã¾ã™. const num = (val: number)
GADTã«ã‚ˆã‚‹Haskellã®åž‹ä»˜ãDSLã®æ§‹ç¯‰ - プãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã®å®Ÿé¨“å ´
What I Wish I Knew When Learning Haskell
I will never let monads be in a Clojure project
std::prelude::v1 - Rust
コンピュテーションå¼ã®å®Ÿè£…ã«Stateを用ã„ã‚‹ - pocketberserkerã®çˆ†èµ°
å±±å£é¦™JOCç†äº‹ã€Œå›½æ°‘ãŒäº”輪開催ã®ãƒªã‚¹ã‚¯ã‚’è² ã†ã“ã¨ãŒå•é¡Œã€å¥‘ç´„ã®ä¸é€æ˜Žã•ã«ç–‘義（近藤隆夫） - エã‚スパート - Yahoo!ニュース
{{#tags}}- {{label}}
{{/tags}}