1,064 followers
RT @Nymphium: algebraic effectsでeffectにsubtypingがあるといろいろな話が湧き上がって楽しいと思ったら最適化の文脈で使われるっぽい? https://t.co/QZMbxSRZSc
RT @Nymphium: algebraic effectsでeffectにsubtypingがあるといろいろな話が湧き上がって楽しいと思ったら最適化の文脈で使われるっぽい? https://t.co/QZMbxSRZSc
RT @Nymphium: algebraic effectsでeffectにsubtypingがあるといろいろな話が湧き上がって楽しいと思ったら最適化の文脈で使われるっぽい? https://t.co/QZMbxSRZSc
algebraic effectsでeffectにsubtypingがあるといろいろな話が湧き上がって楽しいと思ったら最適化の文脈で使われるっぽい? https://t.co/QZMbxSRZSc