Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 08-Oct-2021 08:04:56 JST きゅーけー

   そもそも私の関心領域が ACL2 がターゲットにしてるような範囲なんで、その範囲外の話をされてもぶっちゃけそんな興味がないという問題があるわけで、まあ ACL2 で全てを置き換えられるとは思ってない。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 08-Oct-2021 08:06:14 JST きゅーけー

     in reply to

     そういうやつは動的型付きな Guile 使って書いちゃうだろうし、まあなんというか極端だというのは認めざるを得ない。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 08-Oct-2021 08:08:02 JST きゅーけー

     in reply to

     ACL2 はなんか実用したい野望があってやっているわけではなくて、純粋に面白いからやってる感じだしな。でも結果として何かしら実用できたらいいなーとは思っている。