Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 10-Apr-2024 02:14:37 JST きゅーけー

   Typed Racket や Coalton という静的型付きの Lisp ばかり使っているので本当に Lisper を名乗っていいのか複雑な気持ちになっている。
   特に Coalton は元の Lisp の意味論を捨てて ML の型システムを得ているというのがあり。。。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 10-Apr-2024 02:17:52 JST きゅーけー

     in reply to

     Typed Racket は Racket の意味論を変えずに型を付けるものなのでちゃんと cons がある。Coalton の Cons は見かけが同じなだけで、この Cons では S 式を表現できないから同じものではない。