S式の Haskell が Common Lisp の中で使えて S 式の Haskell の中で書いた関数が外で使えるし、Common Lisp の関数が S 式の Haskell の中で使えるってことなんでやばい。
Conversation
Notices
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 03:23:31 JST
きゅーけー
-
きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Friday, 31-Dec-2021 03:24:15 JST
きゅーけー
ACL2 (目的は全く異なる言語だけど)で似たようなことができないことに苦しんでいたので凄すぎて泣ける。
-