Conversation

Notices

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

   昨日のよるこれを読んでしまったせいで、「本当に私に型いるんか？」という問いを生じてまった。まあ仕事なら要る一択なんだけど、趣味で書くなら要らないような気がしてきて心が Typed Racket から離れそう。

   本のまえがき | 本の購入サイトhttp://ontolonomy.co.jp/books/preface/

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

     in reply to

     まあ SICP の後半の苦しみは型を書いていればほぼなかったのではないかという記憶は消えていないけど。。。

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

     in reply to

     Scheme を書いているときの、なぞの `#f` の襲来が避けられることは大切な気がする。

     動的型の Scheme なら `#f` Comon Lisp なら `nil` の唐突な襲来を回避せんといけないからな……。

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

     in reply to

     たとえば string->number が失敗したときに `#f` になるの、型がないと隠れし `#f` になりがちなんだよな。

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

     in reply to

     Common Lisp で関数を使う前に必ず describe 関数で挙動を確認する人生を送ればいいのだろうか。

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

     in reply to

     Contract があればだいぶ軽減されるよな。やっぱ Racket はよくできてる。

     どこから `\#f` もしくは `nil` が発生したのかを追跡できるのが重要だ。

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

     in reply to

     Common Lisp に契約プログラミングを導入するやつあるじゃん。これ全部 CLOS になるんか。それはそれでちょっとやだな。

     GitHub - sellout/quid-pro-quo: A contract programming library for Common Lisp in the style of Eiffel’s Design by Contract ™.https://github.com/sellout/quid-pro-quo

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

     in reply to

     そんな大袈裟なことしなくても Common Lisp なら check-type とか assert を勝手に挿入する関数定義のマクロを書いちゃえばいい気がするな。

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

     in reply to

     そんで、スピード重視するときにはなんかコンパイル時の変数で挙動を制御できるような感じにしておけばよくね。

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

     in reply to

     やっぱ静的型ないなら契約はいる気がするわ。どこで生まれたのかよく分からん nil を探すの嫌だし。

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

     in reply to

     あー、でもこれ Scheme で安易に実装すると tail call じゃならなくなるのか。

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

     in reply to

     戻り値の検査はいいから入力の検査を徹底すればいいような気もする。

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

     in reply to

     じゃあ、Common Lisp でちゃんと check-type とか assert を書けばいいじゃんって話になるな。

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

     in reply to

     動的型付けの99.9%程度の問題は隠されし nil であってそれ以外はそんな問題ではないような気がしてる。

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

     in reply to

     その 99.9% の問題であるどこかで生まれた謎の nil が最大かつ深刻な問題なんだよな。

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

     in reply to

     やはり型はいるのか。Common Lisp なら check-type をちゃんと書くようにすればちょっと安全になる気がしてる。