Conversation

Notices

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

   趣味の開発で Typed Racket か Coalton を使いたいということでめちゃくちゃ悩んだ結果、自分は Coalton を使っていくことに決めた。
   理由は現時点で Typed Racket にもいいところはめっちゃあるのだけど、自分のなかでは Racket のメモリ使用量と実行速度が sbcl と比べてあまりよくなく Coalton で開発した方が性能がよくなるというのが肝になった。

   しょぼいサーバーで動かしたいので、メモリを食うのは結構つらく、じゃあ素晴らしい性能を発揮する sbcl で動く Coalton の方がいいやとなった。

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

     in reply to

     Typed Racket の型システムにはいいところもあり、特に普通の数値の型として Natural 型が利用できてしかもそれが安全であるというのには感動していて本当にいいと思う。これが一番好きなところで、数値塔をいい感じの型の階層として構築できているのでよい。絶対に負の値がくることがなくアンダーフローで実行時例外が発生することがないというのは心地がいい。

     あと Racket から Typed Racket の関数を使ったり Typed Racket から Racket の関数を使うときに Racket にもともとあるコントラクトの仕組みがうまく使えていていい感じであるというも結構いい。

     あと型の記述も直感的でわかりやすくていい。

     あと Racket は標準ライブラリがだいぶ充実していて、何か困ったらとりあえず標準のやつを学習して使うことでわりとうまくいくというのも嬉しい。