Haskellの型プログラミング 2.型と種（カインド）
2021/11/06
読書メモ Thinking with Types この記事は，「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので，数学や情報工学上の適切な訳語ではない可能性 […]
Haskellの型プログラミング 1.型と代数
2021/11/06
読書メモ Thinking with Types この記事は，「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので，数学や情報工学上の適切な訳語ではない可能性 […]
HaskellでつくるRover Mini ECUモニタ
2020/08/16
暫く進捗がなかった「Haskell でつくる Rover Mini ECU (MEMS) モニタ on ラズパイ」プロジェクト（長い!）ですが，最近ようやくちょっと前進しました。 何が進捗したかというと，ラズパイで実際に […]
Haskellメモ Haddock
2017/12/10
この説明は，Haskellの公式サイトの記述を魚野が自分のメモとして部分的に日本語化したもの。詳細は下記サイト参照。http://haskell-haddock.readthedocs.io/en/latest/mark […]
Haskellメモ inkey$を実現する
2017/05/19
難しいことを簡単にし，簡単なことを難しくする，などといわれる純粋関数型言語 Haskell。かつてBasic 言語でプログラミングをしていた際によくつかったinkey$関数の実現方法を調べてみた。 inkey$関数とは実 […]
