@cc0xin.bsky.social
Formal Logic and PL Theory.
Post stuff about algorithm and fancy techniques.
Favourite langs: Racket, Haskell and Rust.
Currently focus on substructural logics.
Post stuff about algorithm and fancy techniques.
Favourite langs: Racket, Haskell and Rust.
Currently focus on substructural logics.
Yes, indeed. To refine it, need to read lots of papers, lol
July 4, 2025 at 11:45 AM
Yes, indeed. To refine it, need to read lots of papers, lol
Seems scala's trait is more like an interface in OO style, not ADT in Haskell.
Maybe there is a way to do it.
Maybe there is a way to do it.
July 4, 2025 at 11:24 AM
Seems scala's trait is more like an interface in OO style, not ADT in Haskell.
Maybe there is a way to do it.
Maybe there is a way to do it.
Seems we are focusing on the same field😀
November 26, 2024 at 3:54 PM
Seems we are focusing on the same field😀
Indeed of writing his book? 😂😂😂
November 18, 2024 at 11:56 PM
Indeed of writing his book? 😂😂😂