型レベルでのプログラミングをする際、よく「値」が存在しない型 ( i.e. EmptyDataDecls な型。 DataKinds で Promoted されたデータコンストラクタとか。 ) を「型レベルでの値」として扱うけれど、これはつまり実体を持っていないということだから、まるで雲を掴むような話になってしまいわけがわからなくなる。 これに対して、 GHC 7.6.1 では、「型レベルの値」を「ランタイムレベルの値」にマップして、便利に使えるように、 Singleton types という型クラス群が用意されたようだ。 そこで、前回の 型レベルで FizzBuzz で定義した Nat, Result 型を題材に、実際にそれぞれのインスタンスを宣言して、「型レベルの値」を「ランタイムレベルの値」にマップしてみた。 参考にしたサイト https://github.com/ghc/packa
C++17: I See a Monad in Your Future! Posted by Bartosz Milewski under C++, Concurrency, Functional Programming, Monads, Multicore, Multithreading, Programming [36] Comments [If you prefer, you may watch the video of my talk on this topic (here are the slides).] If you thought you were safe from functional programming in your cozy C++ niche, think again! First the lambdas and function objects and n
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く