@ChShersh @serpent7776 This all seems so much easier in #scala, with the same expressive power. See https://t.co/MUSTu92so9 for details on the corresponding calculus
6,952 followers
1,684 followers
@tangled_zans @starsandspirals Graded determinism/non-determinism monad (p.11) https://t.co/wVfxi5V5sp Graded non-determinism: https://t.co/zuXWqtVp3u Graded list monad (example 22) https://t.co/bGsXxfZYMn (also: https://t.co/5h8FndA1t9) Hope it helps!
3,400 followers
https://t.co/BgLf29lXJ3 というかConor McBrideファンを自称しておきながら、この依存型を線形型を組み合わせたら実行時には一切使わないというのも含めた {0,1,ω} にしたくなるだろという話読んでなかった。反省している
388 followers
@fbrasisil @deusaquilus Have you seen this paper exploring another abstraction that does get closer to expressing relational algebra: https://t.co/u3bacdDZDo