>>42
Haskellとかじゃね？
学者さんの論理実証のためのものってイメージで実用でない言語って他にもありそう。