引数で受け取った値を通じてのみ値を構築することを強制するランク2多相を使ったテクニック
Dhall の Prelude を眺めていて見付けた，ランク2多相を使ったテクニックを紹介する．
Netlify でホスティングしている Gatsby 製静的サイトを定期的にビルドして情報を更新する
TL; DR
Netlify の build hook URL を発行する
上記の URL に対して定期的にリクエストが送られるように設定する
『形式意味論入門』を Haskell に書き下す (後編)
前編はこちら https://ryota-ka.hatenablog.com/entry/2019/08/15/213000
『形式意味論入門』を Haskell に書き下す (前編)
一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際，『形式意味論入門』という表題の本に目が止まり，数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1．また，その
Nix で Haskell IDE Engine をシュッと入れる
みなさん，Haskell やってますか？ 普通に Haskell IDE Engine を入れようとするとビルドにメッチャ時間がかかって「地獄か？」という感じがするので，Nix でシュッと入れていきまししょう．
effect system 勉強会で Cycle.js の話をしてきた
もう1ヶ月ちょっと前の話になるが，effect system 勉強会 で Cycle.js の話をしてきた．
cycle-ink-driver をリリースした
cycle-ink-driver というライブラリをリリースした．このライブラリを用いると，Cycle.js と Ink を用いてインタラクティヴなコマンドライン・アプリケーションを作ることができる．
Nix Expression Language で遅延リストを作ってみる
この記事は CAMPHOR- Advent Calendar 2018 15日目の記事です．14日目の記事は @Rtm6Lgo の とある研究室の運営のエモいお話 でした．
Nix Expressi
Dhall v3.0.0 がリリースされた
Dhall v3.0.0 がリリースされた．メイジャーバージョンの更新ということで，いくつかの破壊的変更を含む．
Version 3.0.0 of the Dhall standard is out
Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて)
お盆に数日の休みがあったので，Ludwig Wittgenstein の『論理哲学論考 (Tractatus Logico-Philosophicus)』を読み始めた．Wittgenstein の著作
Dhall で Kubernetes の YAML 管理をスマートにやっていく
こんにちは．Kubernetes 班の ryota-ka です。皆さん Kubernetes やっていますか？Kubernetes をやっていこうとすると，大量の YAML を書くことになって大変である．大量の YAML を書くことは大変なので，大抵コピペする．コピペをするが，コピペは怖い．
@cycle/react を触ってみる
数日前，@staltz 氏から Cycle React のリリースがアナウンスされた．@cycle/react を含む一連のライブラリ群は，React component を Cycle.js の中で用いることを可能にし，Cycle.js の component を React の中で用いることを可能にする．
代数的データ型と初等代数学
「関数プログラミングとはなんですか？」と問われたときには「デ，データファースト……(震え声)」と答えることが多いのだが，実際 Haskell や OCaml などの言語を特徴付けるものとして，代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう．
Coyoneda って…… お前 functor がデータ構造になっただけやんけ！！
operational (あるいは freer) と呼ばれているものの説明として，
a) Coyoneda を使うと，kind が * -> * であるような任意の型から functor を作り出せる
任意の型 f :: * -> * について Coyoneda f は Functor のインスタンスになる
Template Haskell でいい感じに時間の長さを書けるライブラリ duration を作った
Template Haskell を使って，時間の長さをいい感じに(人間が読みやすい形で)記述できるライブラリを作った．
Maybe と IO を一緒に使いたくなったら
たまには初学者向けにライトな話題を．対象読者 すごいH本を12章か13章ぐらいまで読んだ do 構文を使って IO などの処理が書ける Haskell のプログラムはなんとなく書けるが，あまり綺麗に書けている気がしない
TypeFamilyDependencies の実用的な例を考える
FunctionalDependencies という GHC 言語拡張がある．Haskell Wiki によると，Functional dependencies are used to constrain the parameters of type classes. と書かれているが，これはどういうことか．
TemplateHaskellでコード中にJSONを埋め込んだりコンパイル時にファイルから型安全に読み込んだりする
前回よりはもう少し実用的な例を．Template Haskell を使って，Haskell のコード中に JSON をそのまま埋め込むことができるようにする．また，あらかじめ用意しておいた JSON ファイルをコンパイル時に読み込み，指定したデータ型の値にする．
Template Haskell でコンパイル時 FizzBuzz
数ヶ月前に Twitter で，コンパイル時に FizzBuzz を計算して，実行時には計算された文字列を出力をするだけ，というコンパイル時 FizzBuzz を何かの言語でやっているのを見かけた．元ネタは江添さんがC++で書いたものらしい．インスピレーションを受けて，Haskell で書いてはみたが，簡単すぎて全然おもしろくなくなってしまった．
Type-level TypeScript
この記事は CAMPHOR- Advent Calendar 2017 の21日目の記事です．@ryota-ka です．普段は HERP という会社でリードエンジニアとして働いています．一昨日19日にサービスのティザーサイトを公開したばかりなので見てください．