Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 08:42:32 JST きゅーけー

   Coalton があんまり求めてるものじゃなかったんだよな。あれは正格評価する Haskell であって Common Lisp じゃなかった。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 08:43:27 JST きゅーけー

     in reply to

     やっぱ Typed Racket は丁度いいんだよな。だってちゃんと Lisp に型を付けてみました感あるし。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 08:48:04 JST きゅーけー

     in reply to

     しかし car に (-> (Listof a) a) とかいうやばめな型をつけてて (-> (Pairof a b) a) だけじゃないのが Typed Racket の選択であったところはなんか自分の求めてるものとTyped Racket 陣営の求めているものに若干の差を感じるんだよな。

     結構考えたんだけど null? かどうかの (-> (Listof a) a) の型やっぱ要らないんだよな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 08:48:26 JST きゅーけー

     in reply to

     それを必要とする状況ってなんかプログラム壊れてるでしょって思う。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Tuesday, 22-Mar-2022 08:51:04 JST きゅーけー

     in reply to

     Racket の Slack で質問しちゃってなんか微妙な感じになっちゃったし。誰もこのことについて考えてないわけがないと思って聞いてみたんだけど勇み足だったかな……。