2018-01-01から1年間の記事一覧

Nix Expression Language で遅延リストを作ってみる

Nix Nix Expression Language 遅延リスト 遅延評価

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

Dhall v3.0.0 がリリースされた

Dhall

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

Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて)

ラムダ計算 Russell のパラドクス Curry のパラドクス Ludwig Wittgenstein Gottlob Frege Bertrand Russell 包括原理 型理論 論理学

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

Dhall で Kubernetes の YAML 管理をスマートにやっていく

Dhall Kubernetes

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

@cycle/react を触ってみる

Cycle.js React Hot Module Replacement styled-components Cycle React

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

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

Haskell 代数的データ型

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

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

Haskell Free Coyoneda

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

カラーコードを渡すと色のプレビューをしてくれるコマンドラインツールを作った

Rust リリース

この記事は以下のページに移転しました． 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