Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 01-May-2021 14:32:53 JST きゅーけー

   一日何もしない日を設けたことで冷静になれたな。Guile Scheme を使って何をしたいのかを改めて考えられた。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 01-May-2021 14:34:09 JST きゅーけー

     in reply to

     ACL2 のコードを Guile で読めるようにしようと考えたんだけどそれほど苦労の割にそれほどが利益なさそうなのでやめようと思う。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 01-May-2021 14:37:17 JST きゅーけー

     in reply to

     Guile Scheme は「汎用 Emacs Lisp」だと考えるとわかりやすい。GNU が公式の拡張言語として Guile Scheme を開発しているのは、Emacs 以外のソフトウェアでもユーザーが気軽にプログラムを書いてソフトウェアを拡張できるようにするためだ。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 01-May-2021 14:39:52 JST きゅーけー

     in reply to

     Emacs のようにユーザーサイドでプログラミングができて挙動を自由にカスタマイズできるアプリケーションを作ってみたい。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 01-May-2021 14:45:38 JST きゅーけー

     in reply to

     この背景を知っていると何故 GNU Make に Guile Scheme が入ったのか、何故 GNU Guix や GNU Shepherd に Guile Scheme が使われているのかがよくわかる。