トップ > Haskell

Haskell

ユースケース層が投げうるエラーの型を「量化した open union」にしておけば複数のユースケースを合成したときに上の層でエラーハンドリングが楽にできて最高です！

Haskell Open union extensible extensible-skeleton

この記事は以下のページに移転しました． blog.ryota-ka.me

引数で受け取った値を通じてのみ値を構築することを強制するランク2多相を使ったテクニック

Today I Learned Dhall Haskell ランク2多相

この記事は以下のページに移転しました． blog.ryota-ka.me

『形式意味論入門』を Haskell に書き下す (後編)

形式意味論 Haskell Semantics in Generative Grammer effect system extensible effects extensible-skeleton

この記事は以下のページに移転しました． blog.ryota-ka.me

『形式意味論入門』を Haskell に書き下す (前編)

形式意味論 Haskell Semantics in Generative Grammer ラムダ計算 単純型付きラムダ計算

この記事は以下のページに移転しました． blog.ryota-ka.me

Nix で Haskell IDE Engine をシュッと入れる

Nix Haskell Haskell IDE Engine Cachix

この記事は以下のページに移転しました． blog.ryota-ka.me

代数的データ型と初等代数学

Haskell 代数的データ型

この記事は以下のページに移転しました． blog.ryota-ka.me

Coyoneda って…… お前 functor がデータ構造になっただけやんけ！！

Haskell Free Coyoneda

この記事は以下のページに移転しました． blog.ryota-ka.me

Template Haskell でいい感じに時間の長さを書けるライブラリ duration を作った

Haskell Template Haskell リリース

この記事は以下のページに移転しました． blog.ryota-ka.me

Maybe と IO を一緒に使いたくなったら

Haskell モナド モナド変換子

この記事は以下のページに移転しました． blog.ryota-ka.me

TypeFamilyDependencies の実用的な例を考える

Haskell TypeFamilyDependencies

この記事は以下のページに移転しました． blog.ryota-ka.me

Template Haskell でコード中に JSON を埋め込んだりコンパイル時にファイルから型安全に読み込んだりする

Haskell Template Haskell 準クォート

この記事は以下のページに移転しました． blog.ryota-ka.me

Template Haskell でコンパイル時 FizzBuzz

Template Haskell Haskell

この記事は以下のページに移転しました． blog.ryota-ka.me

Rust の turbofish と GHC 8 の Type Application ― または我々は如何にして多相な関数を単相化するか

Rust Haskell turbofish Type Application System F GHC

この記事は以下のページに移転しました． blog.ryota-ka.me

ないんたんのパーザを書いた

Haskell Parsec ないんたん パーザ

Haskell でマルコフ連鎖を用いたツイートの自動生成

Haskell マルコフ連鎖 Twitter bot

キヨシ

Haskell

beautiful people

Haskell

パターンマッチなんか書いたら負け (モナドがあるから)

Haskell パターンマッチ モナド

vty + StateT で画面のスクロールを実装する

Haskell モナド変換子 vty