1,168 followers
https://t.co/vNuzskVQ69 2022年の論文だけど、Prolog 向けの型システムが今も研究開発されてたりするんだな。 論理プログラミングの学会とか見てればいいんだな。関数型言語界隈見ててもそんな出てこないよなw
https://t.co/vNuzskVQ69 2022年の論文だけど、Prolog 向けの型システムが今も研究開発されてたりするんだな。 論理プログラミングの学会とか見てればいいんだな。関数型言語界隈見ててもそんな出てこないよなw