読書メモ
Haskellの型プログラミング 2.型と種(カインド)

読書メモ Thinking with Types この記事は,「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので,数学や情報工学上の適切な訳語ではない可能性 […]

続きを読む
読書メモ
Haskellの型プログラミング 1.型と代数

読書メモ Thinking with Types この記事は,「Thinking with Types」を読んで自分なりに作成したメモです。プログラミングは趣味でやっているので,数学や情報工学上の適切な訳語ではない可能性 […]

続きを読む
ITの活用
Haskellで作ったアプリのアイコンをラズパイのデスクトップにおく

自分のための覚書。 <application-name>.desktopにいろいろ書くのだが,Exec=lxterminal -e “<application-path>”. Terminal=f […]

続きを読む
ITの活用
ようやくラズパイで稼働

Rover Mini 1.3i の車載コンピュータ(ECU)のモニタ,Haskell プログラムの ラズパイでのコンパイルに手間取っていましたが,ようやく,稼働しました。

続きを読む
ITの活用
Haskell メモ 2021

Tools Haskell に IDE はないのか?──独断と偏見による Haskell の IDE 十年史に,HaskellのIDE,開発環境史と2021年初頭時点の状況が掲載されている。 ghcup ghc, cab […]

続きを読む
魚野メモ
論文抄訳:Haskellを使ってソフトウエア・設計を教える

以下は,ユトレヒト大学情報・計算科学学科に在籍していた Alejandro Serrano 氏が発表した論文を個人的に抄訳したものである。原論文は2014年に発表されている。 Haskellのライブラリにはさまざまな種類 […]

続きを読む
ITの活用
Rover Mini ECU モニタの Web アプリ版がある

Rover Mini の ECU リーダー,Web App として提供されているサイトがありました。 ケーブル と Mac/PC と Google Chrome さえあれば,簡易モニターが出来上がりです。パソコンの処理能 […]

続きを読む
魚野メモ
Haskell Memo - Misoライブラリ

HaskellのGUIをどうするか。Haskell公式サイトやライブラリ集を時々逍遥しているのだが,本日は miso なるライブラリを発見(気づくのがおそすぎだが,Haskell関係は完全独学でやっているので界隈の動きを […]

続きを読む
魚野メモ
HaskellでつくるRover Mini ECUモニタ

暫く進捗がなかった「Haskell でつくる Rover Mini ECU (MEMS) モニタ on ラズパイ」プロジェクト(長い!)ですが,最近ようやくちょっと前進しました。 何が進捗したかというと,ラズパイで実際に […]

続きを読む
ITの活用
MEMS(ECU)モニタ開発状況 GHCのバグ?環境整備の問題?

インジェクション・ローバーミニの車載コンピュータのモニタリング,Macではstack環境下で順調に開発・運用していますが,ラズパイでの運用は未完。stackでのコンパイルがまだできないので,ghcで直接コンパイルをしてみ […]

続きを読む