そもそもの動機が「Union Typeが欲しい」じゃなくて「Unboxed Sumが欲しい」ってところだろうからなー。kindが食い違っちゃうのよね…。でも少なくとも構文の問題は報告したら直してもらえるんじゃないかしら

igrepigrep のブックマーク 2018/02/15 23:12

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

HaskellのUnion TypeみたいなUnboxedSumsの使い方とハマりどころ - Qiita

    はじめに HaskellにUnion typeが欲しいです。残念ながら、僕の思うUnion typeがHaskellにはありません。 (TypeScriptのUnion TypesやDottyのUnion Typesみたいなシステムです。) GHC 8.2.1から利用できるように...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう