Island Life - 型論争

About 南の島のプログラマ。 たまに役者。 Practical Schemeの主。 WiLiKi:Shiro 最近のエントリ 無限cxr高校受験Defense振り返ってみると2019年は色々学んで楽...覚えるより忘れる方が難しい(こともある)眼鏡のつると3DプリンタIris Klein Acting ClassSAG-AFTRA conservatory: Voice Acting創作活動って自分を晒け出さねばならないと...ループを使わずに1から100までMore... 最近のコメント shiro on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/14)1357 on 歳を取ると時間が速く過ぎるのは、新しいことに挑戦しないから? (2023/03/01)ベアトリーチェ on ハイポハイポハイポのシューリンガン (2022/04/02)ベアトリーチ

[terazzo]

高階関数使うときは確かに型欲しくなる。サンプルを読むときに型推論で省略されてる時はとりあえず型を補うところから始める。

[ruicc]

trivialでない問題を型でエンコードするケースを提示すればいいのだろうか..

[kits]

「この手の問題で困るでしょ」vs「わざわざやろうとは思わないし、やる必然性も無いし、慣習にしたがっていたらそもそも思いつきもしない」

[tsucchi1022]

面白かった

[knjname]

俺も性格テストはCだった。確かにCommon Lisp、Haskell見てるとそれらワンセットでしか成り立たない便利さ、っていうのがあって、要素ごとに分けられなくて、文化の違いとしか言いようのないものがある。