Ryota Kameokaryota-ka
リードエンジニア
京都大学経済学部在学中より、京都のIT系学生コミュニティCAMPHOR-で活動する傍ら、複数のスタートアップの立ち上げに関わり、フロントエンドからインフラストラクチャまでの開発・運用をおおよそ一人で支える。2017年5月より現職。好きなエディタはNeovim。好きな言語はHaskell。
...
Nix でのビルド時に Puppeteer を使う場合には $FONTCONFIG_FILE を設定しよう
TL; DR FONTCONFIG_FILE = "${pkgs.fontconfig.out}/etc/fonts/fonts.conf";
...
Storybook の中から別の Storybook を参照できる Storybook composition を試してみる
Storybook 6.0 から,ある Storybook の中から別の Storybook を参照することができる "Storybook composition" という機能が導入された. これは目玉機能として挙げられているものの,2021年1月現在この機能についてのドキュメンテーションが十分になされていない.そのため,不足している情報を補完することを目的としてこの記事を書くことにした.
...
ユースケース層が投げうるエラーの型を「量化した open union」にしておけば複数のユースケースを合成したときに上の層でエラーハンドリングが楽にできて最高です!
この記事は Haskell Advent Calendar 2020 20日目の記事です. TL; DR タイトル
...
引数で受け取った値を通じてのみ値を構築することを強制するランク2多相を使ったテクニック
Dhall の Prelude を眺めていて見付けた,ランク2多相を使ったテクニックを紹介する.
...
Netlify でホスティングしている Gatsby 製静的サイトを定期的にビルドして情報を更新する
TL; DR Netlify の build hook URL を発行する 上記の URL に対して定期的にリクエストが送られるように設定する
...
『形式意味論入門』を Haskell に書き下す (後編)
前編はこちら https://ryota-ka.hatenablog.com/entry/2019/08/15/213000
...
『形式意味論入門』を Haskell に書き下す (前編)
一昨年のゴールデンウィークに池袋のジュンク堂を訪れた際,『形式意味論入門』という表題の本に目が止まり,数学や論理学を用いて自然言語表現の意味を形式的に考察する学問分野があることを知った*1.また,その
...
Nix で Haskell IDE Engine をシュッと入れる
みなさん,Haskell やってますか? 普通に Haskell IDE Engine を入れようとするとビルドにメッチャ時間がかかって「地獄か?」という感じがするので,Nix でシュッと入れていきまししょう.
...
effect system 勉強会で Cycle.js の話をしてきた
もう1ヶ月ちょっと前の話になるが,effect system 勉強会 で Cycle.js の話をしてきた.
...
cycle-ink-driver をリリースした
cycle-ink-driver というライブラリをリリースした.このライブラリを用いると,Cycle.js と Ink を用いてインタラクティヴなコマンドライン・アプリケーションを作ることができる.
...
Nix Expression Language で遅延リストを作ってみる
この記事は CAMPHOR- Advent Calendar 2018 15日目の記事です.14日目の記事は @Rtm6Lgo の とある研究室の運営のエモいお話 でした. Nix Expressi
...
Dhall v3.0.0 がリリースされた
Dhall v3.0.0 がリリースされた.メイジャーバージョンの更新ということで,いくつかの破壊的変更を含む. Version 3.0.0 of the Dhall standard is out
...
Russell のパラドクスと λx.xx (または自己言及がもたらす豊かさと危うさについて)
お盆に数日の休みがあったので,Ludwig Wittgenstein の『論理哲学論考 (Tractatus Logico-Philosophicus)』を読み始めた.Wittgenstein の著作
...
Dhall で Kubernetes の YAML 管理をスマートにやっていく
こんにちは.Kubernetes 班の ryota-ka です。皆さん Kubernetes やっていますか?Kubernetes をやっていこうとすると,大量の YAML を書くことになって大変である.大量の YAML を書くことは大変なので,大抵コピペする.コピペをするが,コピペは怖い.
...
@cycle/react を触ってみる
数日前,@staltz 氏から Cycle React のリリースがアナウンスされた.@cycle/react を含む一連のライブラリ群は,React component を Cycle.js の中で用いることを可能にし,Cycle.js の component を React の中で用いることを可能にする.
...
代数的データ型と初等代数学
「関数プログラミングとはなんですか?」と問われたときには「デ,データファースト……(震え声)」と答えることが多いのだが,実際 Haskell や OCaml などの言語を特徴付けるものとして,代数的データ型 (Algebraic Data Type; ADT) の存在は無視できないだろう.
...
Coyoneda って…… お前 functor がデータ構造になっただけやんけ!!
operational (あるいは freer) と呼ばれているものの説明として, a) Coyoneda を使うと,kind が * -> * であるような任意の型から functor を作り出せる 任意の型 f :: * -> * について Coyoneda f は Functor のインスタンスになる
...
Template Haskell でいい感じに時間の長さを書けるライブラリ duration を作った
Template Haskell を使って,時間の長さをいい感じに(人間が読みやすい形で)記述できるライブラリを作った.
...
Maybe と IO を一緒に使いたくなったら
たまには初学者向けにライトな話題を.対象読者 すごいH本を12章か13章ぐらいまで読んだ do 構文を使って IO などの処理が書ける Haskell のプログラムはなんとなく書けるが,あまり綺麗に書けている気がしない
...
TypeFamilyDependencies の実用的な例を考える
FunctionalDependencies という GHC 言語拡張がある.Haskell Wiki によると,Functional dependencies are used to constrain the parameters of type classes. と書かれているが,これはどういうことか.