直和型ã®ä»£ã‚ã‚Šã«ãƒ¦ãƒ‹ã‚ªãƒ³åž‹ã‚’æŒã¤é™çš„型付ã‘関数型言語 Cotton// 割る2ã‚’ã™ã‚‹é–¢æ•°ã®å¼•æ•°ãŒå¶æ•°ã§ã‚ã‚‹ã“ã¨ã‚’åž‹ã«ã‚ˆã£ã¦å¼·åˆ¶ã™ã‚‹ä¾‹ï¼ˆå®Ÿç”¨æ€§ã¯ãªã„） data O // æ•°å—ã®0を表ã™ãƒ‡ãƒ¼ã‚¿åž‹ data S(A) forall { A } // +1を表ã™ãƒ‡ãƒ¼ã‚¿åž‹ // 型エイリアス type Nat = O | S[Nat] // éžåŠ¹çŽ‡ã™ãŽã‚‹ä»–å€é•·æ•´æ•° type Even = O | S[Odd] type Odd = S[Even] // å¶æ•°ã‚’引数ã«ã¨ã£ã¦2ã§å‰²ã£ãŸçµæžœã‚’言語組込ã¿ã®æ•´æ•°ã¨ã—ã¦è¿”ã™é–¢æ•° div2 : Even -> I64 = // 網羅性ãƒã‚§ãƒƒã‚¯ã¤ãã®ãƒ‘ターンマッム| O => 0 | S(S(n)) => 1 + n.div2 TL;DR ユニオン型ã¯ç›´å’Œåž‹ã®ä¸Šä½äº’æ›ã§ã‚る（追記ã‚り）。関数型言語を作るã¨ãã¯ç›´å’Œåž‹ã®ä»£ã‚ã‚Šã«ãƒ¦ãƒ‹ã‚ªãƒ³åž‹ã‚’採用ã™ã‚‹ã®ã‚‚ã‚り。 ã¯ã˜ã‚ã« Cottonã¨ã„ã†ãƒ—ãƒã‚°ãƒ©ãƒŸãƒ³ã‚°è¨€èªžã‚’2021å¹´ã®å¤é ƒã‹ã‚‰ä½œ
{{#tags}}- {{label}}
{{/tags}}