Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 04:44:46 JST きゅーけー

   Typed Racket が微妙に型安全じゃないのが不満なんで、ライブラリ書いた。まだ `cadr` とかに対応してないんで、そこら辺は徐々に対応する。`/` は諦めてる。`quotient` と `modulo` はゼロ除算を弾けるんで弾いた方いいっしょとか思ってる。

   https://git.tojo.tokyo/more-type-safe.git/tree/more-type-safe.rkt

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 04:46:23 JST きゅーけー

     in reply to

     `(car '())` が許されるのやめて欲しいと本気で思う。こういうライブラリを書かなくてもいいんだったら書きたくないんだけど……。

     これ Racket の Slack で質問した方がいいかもしれない……。明日やるか。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:18:22 JST きゅーけー

     in reply to

     Racket の Slack で Typed Racket の手続きってもっと安全にできるよね？既に安全にした手続きのライブラリとかってありませんか？

     とかいう質問をしてきた。めっちゃ緊張している。英語が母国語だったらどれだけ楽だったか。

     そして、簡潔に説明しすぎて誰も理解してくれない可能性があって怖い。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:19:14 JST きゅーけー

     in reply to

     理想は`#lang typed/racket/safe` みたいにできることなんだよなー。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:22:17 JST きゅーけー

     in reply to

     日本語だったらいくらでも Typed Racket の `car‘ に `(All (a) (-> (Listof a) a)` が存在することのデメリットを語り尽せるんだけど……。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:24:03 JST きゅーけー

     in reply to

     やはり自分で作るしかない可能性はあるんだけど、これくらいのことは既に考えた人がいるという方向にかけたい。

     私が始めてこれに気づいて提案しているとかありえないでしょ。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:26:23 JST きゅーけー

     in reply to

     だって、`car` から (All (a) (-> (Listof a) a)` を取りのぞくだけで、list が null? の場合とそうでない場合の場合分けを忘れた場合に動的に死ぬ自己を型レベルで予防できるんやで？

     これ絶対いるでしょ。Haskell とかにある safe ライブラリとは次元が違うレベルで必要だと思うんだよなー。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:26:33 JST きゅーけー

     in reply to

     s/自己/事故/

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 12:27:20 JST きゅーけー

     in reply to

     やはり言語の壁は厚く心理的安全性が低い。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 14:38:59 JST きゅーけー

     in reply to

     ただたんに私が神経質すぎるという結論で終わりそうな気がしてならない。

     実は潜在的に Typed Racket は他の強い静的型付き言語よりも凄いところがあるっていうのは実は Typed Racket 界隈でも知られてないのかもしれない。だとしたら結構な発見をしている可能性があるんだけど、さすがにそんなわけないんだよな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 14:41:12 JST きゅーけー

     in reply to

     Racket の文化に従って GitHub でコードを公開することにした。そんな流され方してええんかって感じはするけど。

     tojoqk/more-type-safehttps://github.com/tojoqk/more-type-safe

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 14:42:07 JST きゅーけー

     in reply to

     まぎらわしいし、git.tojo.tokyo の方は消します……。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 14:43:48 JST きゅーけー

     in reply to

     これでもしも Safe Typed Racket 的なのが認知されて広まって Typed Racket スゲーって流れが社会に生まれて Typed Racket 祭りになったら最高なんだけど……。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 14:45:43 JST きゅーけー

     in reply to

     なんか失礼な喋りかたしちゃってるかもしれなくてすごく不安なんだよな。これだから英語はつらい……。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 14:50:58 JST きゅーけー

     in reply to

     返信がなかなかなくて不安だけど冷静になろう。そうタイムゾーンが違うのだ。専門家な人はいま寝てる時間かもしれないのだ。無駄に不安を作りだすのはやめるのだ。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 15:04:15 JST きゅーけー

     in reply to

     専門家っぽい人の現地時間は 02:00 頃だったわ。私の心に平穏が訪ずれた。あー、海外の人とのやりとりになれてないないとこうなる。Slack の現地時間確認機能マジでありがたい。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 19-Mar-2022 19:45:51 JST きゅーけー

     in reply to

     そろそろアクティブになったかと思ったら向こうは 06:00 みたい。足し算に失敗してる。