Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 06-Apr-2022 05:14:58 JST きゅーけー

   気になって Lisp と型付きラムダ計算のどっちが先に生まれたのか調べてたんだけど分からなかった。諦めて寝ることにした。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 06-Apr-2022 05:17:31 JST きゅーけー

     in reply to

     もしも Lisp よりも先に型付きラムダ計算が先に生まれてたとしてもまあ実際にプログラミング言語を使う人にとっての「型」は今のようなものではなかったろうしな。なんか「型安全」とかが一般のプログラマに広まった（？）のも最近の話だし。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Wednesday, 06-Apr-2022 05:19:21 JST きゅーけー

     in reply to

     C 言語とか実質的にはタグなし動的言語みたいなところあるし……。