ryota-ka's blog

読者になる

ryota-ka's blog

プロフィール: id:ryota-ka
@ryotakameokaをフォロー
ウェブサイト: https://ryota-ka.me/
ブログ投稿数: 53 記事
読者

著者紹介

1993年大阪府生れ。2012年、特にあてもなく京都大学経済学部に入学するが次第にプログラムとその背後に広がる理論に惹かれ、2015年、プログラマとして就職。現在、株式会社HERPリードエンジニア。主な記事に『Vim script でジェネレータを作ったり、遅延評価してみる』『Maybe と IO を一緒に使いたくなったら』『Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて)』など。

読者です読者をやめる読者になる読者になる

このブログについて

検索

リンク

ryota-ka.me
Twitter (@ryotakameoka)
Facebook

人気記事

2022-01-01
ブログを移転しました
2021-12-31
dotfiles を Nix + Home Manager に移行した
2021-02-11
Nix でのビルド時に Puppeteer を使う場合には $FONTCONFIG_FILE を設定しよう
2021-01-31
Storybook の中から別の Storybook を参照できる Storybook composition を試してみる
2020-12-20
ユースケース層が投げうるエラーの型を「量化した open union」にしておけば複数のユースケースを合成したときに上の層でエラーハンドリングが楽にできて最高です！
2020-10-21
引数で受け取った値を通じてのみ値を構築することを強制するランク2多相を使ったテクニック
2020-10-07
Netlify でホスティングしている Gatsby 製静的サイトを定期的にビルドして情報を更新する
2020-07-26
『形式意味論入門』を Haskell に書き下す (後編)
2019-08-15
『形式意味論入門』を Haskell に書き下す (前編)
2019-07-15
Nix で Haskell IDE Engine をシュッと入れる

もっと見る

カテゴリー

Haskell (19)
リリース (6)
遅延評価 (6)
ジェネレータ (5)
Nix (4)

月別アーカイブ

▼ ▶
2022
- 2022 / 1
▼ ▶
2021
▼ ▶
2020
▼ ▶
2019
▼ ▶
2018
- 2018 / 12
- 2018 / 10
- 2018 / 8
- 2018 / 7
- 2018 / 6
- 2018 / 5
- 2018 / 3
- 2018 / 2
- 2018 / 1
▼ ▶
2017
- 2017 / 12
- 2017 / 10
- 2017 / 9
- 2017 / 7
- 2017 / 3
- 2017 / 1
▼ ▶
2016
- 2016 / 12
- 2016 / 10
- 2016 / 9
- 2016 / 6
- 2016 / 5
- 2016 / 3
▼ ▶
2015
- 2015 / 12
- 2015 / 11
- 2015 / 5
- 2015 / 4
- 2015 / 3
- 2015 / 1
▼ ▶
2014
- 2014 / 10
- 2014 / 6

ryota-ka's blog

Powered by Hatena Blog | ブログを報告する

引用をストックしました

引用するにはまずログインしてください

引用をストックできませんでした。再度お試しください

限定公開記事のため引用できません。

読者です読者をやめる読者になる読者になる