ryota-ka's blog

プロフィール

id:ryota-ka

@ryotakameokaをフォロー

リンク

https://ryota-ka.me/

ブログ投稿数

49 記事

読者

72 人

著者紹介

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

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

検索

リンク

ryota-ka.me
Twitter (@ryotakameoka)
Facebook

人気記事

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 をシュッと入れる
2019-07-09
effect system 勉強会で Cycle.js の話をしてきた
2019-05-13
cycle-ink-driver をリリースした
2018-12-15
Nix Expression Language で遅延リストを作ってみる
2018-10-17
Dhall v3.0.0 がリリースされた

もっと見る

カテゴリー

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

月別アーカイブ

ryota-ka's blog

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

スターをつけました

引用をストックしました

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

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

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

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