ryota-ka's blog

プロフィール

id:ryota-ka

@ryotakameokaをフォロー

リンク

https://ryota-ka.me/

ブログ投稿数

46 記事

読者

70 人

著者紹介

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

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

検索

リンク

ryota-ka.me
Twitter (@ryotakameoka)
Facebook

人気記事

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 がリリースされた
2018-10-13
Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて)
2018-08-27
Dhall で Kubernetes の YAML 管理をスマートにやっていく
2018-07-22
@cycle/react を触ってみる

もっと見る

カテゴリー

Haskell (17)
遅延評価 (6)
リリース (6)
ジェネレータ (5)
Cycle.js (4)

月別アーカイブ

ryota-ka's blog

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

スターをつけました

引用をストックしました

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

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

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

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