TypeScript ã® Discriminated Union 㨠Haskell ã®ä»£æ•°çš„データ型 - 一休.com Developers Blogã“ã®è¨˜äº‹ã¯ 一休.com Advent Calendar 2024 ã®15日目ã®è¨˜äº‹ã§ã™ã€‚ 予定より早ã書ã上ã’ã¦ã—ã¾ã£ãŸã®ã§ã€ãƒ•ãƒ©ã‚¤ãƒ³ã‚°ã§ã™ãŒå…¬é–‹ã—ã¦ã—ã¾ã„ã¾ã™ã€‚ TypeScript ã® Discriminated Union (判別å¯èƒ½ãª Union åž‹) を使ã†ã¨ã€ã„ã‚ゆる「代数的データ型ã€ã®ãƒ¦ãƒ¼ã‚¹ã‚±ãƒ¼ã‚¹ã‚’模倣ã™ã‚‹ã“ã¨ãŒã§ãã¾ã™ã€‚一休ã®ã‚ˆã†ãªäºˆç´„システム開発ã«ãŠã„ã¦ã¯ã€Œã‚ã‚Šãˆãªã„状態を表ç¾ã—ãªã„ã€æ–¹é‡ã§åž‹ã‚’宣言ã™ã‚‹ãŸã‚ã«ã‚ˆã利用ã•ã‚Œã¦ã„ã¾ã™ã€‚ 「ã‚ã‚Šå¾—ãªã„状態を表ç¾ã—ãªã„ã€ã¨ã„ã†åž‹å®£è¨€ã®æ–¹é‡ã«ã¤ã„ã¦ã¯ä»¥ä¸‹ã® URL ãŒå‚考ã«ãªã‚Šã¾ã™ã€‚ Designing with types: Making illegal states unrepresentable | F# for fun and profit ã“ã®ãƒ¦ãƒ¼ã‚¹ã‚±ãƒ¼ã‚¹ã§ Discriminated Union を使ã†å ´åˆã€ãã‚Œã¯æ–‡å—
ã€ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã¨ã¯ä¸€ä½“ãªã‚“ãªã®ã‹ï¼Ÿã€‘ãªãœç§ã¯Haskellã§ã‚¨ãƒ•ã‚§ã‚¯ãƒˆã‚·ã‚¹ãƒ†ãƒ ã®ãƒ©ã‚¤ãƒ–ラリを作るã«è‡³ã£ãŸã‹
ゆã†ã‚Œã„，ã„ãžã‚“，ãã‚“ã–ã„，ﾗｧｩï¾ï½¸ï¾„ｩｩﾎﾟﾘﾓｫﾌｨｼﾞｩﾑｯ - LugendrePublic
Haskell/Zippers - Wikibooks
http://adriaanm.github.io/files/higher.pdf
『ãªã£ã¨ãï¼é–¢æ•°åž‹ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°ã€ã¯Scalaã§èª¬æ˜Žã•ã‚Œã¦ã„る本ã ã‘ã©èªã‚“ã らHaskellã®doã‚‚ã‚ã‹ã‚‹ã‚ˆã†ã«ãªã£ãŸ - TypeScriptã§é–‹ç™ºä¸
What is the Store comonad?
Xpath in-lens
DERIVING LENSES
Lensã§Haskellã‚’ã‚‚ã£ã¨æ ¼å¥½è‰¯ãï¼
Ekmett勉強会発表資料
Lens&Prism勉強会 ç§çš„ã¾ã¨ã‚ :: Igreque -> Info
Oleg's gists - Glassery
Reddit - Dive into anything
Haskell 型クラス覚書（Functorã€Applicativeã€Monadã€Semigroupã€Monoidã€MonadPlusã€Alternative） - Qiita
オブジェクト指å‘ã«ãŠã‘ã‚‹Visitorパターンã¯ã€F代数ã«ã‚ˆã‚‹Î¼å†å¸°ã‚’ Church encoding ã—ãŸã‚‚ã®
代数的データ型ã«ã¤ã„㦠#w8lt
Fix関数ã®æ•™ç§‘書 (Haskell) - Qiita
Dynamorphism 〜 Haskellã§ã‚‚動的計画法ãŒã—ãŸã„ï¼ ã€œ : æ±äº¬å·¥æ¥å¤§å¦ ãƒãƒœãƒƒãƒˆæŠ€è¡“ç ”ç©¶ä¼š
const ã‚’ã‚ãã‚‹ã‚ã‚Œã“ã‚Œ - 2009-12-08 - HaHaHa!
{{#tags}}- {{label}}
{{/tags}}