スマートフォン用の表示で見る

ryota-ka's blog

プロフィール
id:ryota-ka
@ryotakameokaをフォロー
リンク
  • https://ryota-ka.me/
ブログ投稿数
45 記事
読者
57 人 omocAll dev_supisula n7shi amagitakayosi igrep pf_siedler omatty198 t_mimori yossan2 phare i000i0 karoyakani kenta7777 tellusium lesguillemets takoeight0821 susisu tell-k suzaku0914 Udomomo ogawa0071 custar sakura_bird1 Hiro_Matsuno gosho-kazuya SWIMATH2 myselfmylife whitech0c0late tsujitaku50 veryblues mohritaroh mrk0219 seiyamaeda cyanpon cav_inet rhymester19 amjusmjggjm4582 sigepon k-oyama19950314 okamurauchino netcraft3 hinail ishideo reida b_kaxa aipacommander meech tanishiking24 aska917 to_tu yasuharu519 mi3kaku4kaku taketo957
著者紹介
id:ryota-ka

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

読者です 読者をやめる 読者になる 読者になる
リンク
  • ryota-ka.me
  • Twitter (@ryotakameoka)
  • Facebook
人気記事
最新記事
  • 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 を触ってみる
  • 2018-07-09
    代数的データ型と初等代数学
もっと見る
カテゴリー
  • Haskell (16)
  • 遅延評価 (6)
  • リリース (6)
  • ジェネレータ (5)
  • Cycle.js (4)
月別アーカイブ
ryota-ka's blog ryota-ka's blog

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

スターをつけました

引用をストックしました

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

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

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

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