ブログを移転しました

移転先はこちら blog.ryota-ka.me

dotfiles を Nix + Home Manager に移行した

Nix Home Manager dotfiles Git Zsh Neovim

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

Nix でのビルド時に Puppeteer を使う場合には $FONTCONFIG_FILE を設定しよう

Nix Puppeteer CI Storybook

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

Storybook の中から別の Storybook を参照できる Storybook composition を試してみる

Storybook Storybook composition

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

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

Haskell Open union extensible extensible-skeleton

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

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

Today I Learned Dhall Haskell ランク2多相

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

Netlify でホスティングしている Gatsby 製静的サイトを定期的にビルドして情報を更新する

Netlify GitHub Actions Gatsby Today I Learned

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

effect system 勉強会で Cycle.js の話をしてきた

Cycle.js 勉強会 JavaScript effect system

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

cycle-ink-driver をリリースした

Cycle.js React Ink JavaScript TypeScript リリース Cycle React

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

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

Type-level TypeScript

TypeScript 型レベルプログラミング

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

開発効率向上 tips vol.1 -ターミナル・シェル編-

ターミナル tips Zsh

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

エンジニアのためのTwitter クライアント、twterm v2 をリリースした

twterm Twitter リリース

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

Terraform の module で2重ループしたい ― GitHub の issue labels を例に

Terraform GitHub GitHub provider github_issue_label

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

Swift 3 でジェネレータを作ったり、遅延評価してみる

Swift イテレータ IteratorProtocol Sequence 遅延評価 Swift 3 LazySequence ジェネレータ

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