Wednesday, 27 May 2020

Haskell

ソフトウェア工学では Haskell やってるんですが、だいぶ慣れたとはいえ、まぁ、いろいろなぁ。

  学生たちも苦労しているみたい

でも、そういうことができるのは学生のうちだとも思う。

メインが Agda だったりするのもあって、Haskell 力は、なかなか上がらんな。

特に、わからんエラーメッセージなんとかならんの? 努力しているようではあるのだが。

  *Main> tama = Cat "Tama" "白"
  *Main> pochi = Dog "Pochi" "茶"
  *Main> pochi
  Dog {name = "Pochi", color = "\33590"}
  *Main> color tama
  "\30333"

おお、微妙に残念。そろそろ UTF8 default でお願いします。

No comments: