@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.
The #scala #FunctionalProgramming style is great.
The problem maybe the type infer is not very "intelligent".
Just like this case, it can't treat Some(...) as a Option, then you need to provide more information about it.
The problem maybe the type infer is not very "intelligent".
Just like this case, it can't treat Some(...) as a Option, then you need to provide more information about it.
July 3, 2025 at 11:39 AM
The #scala #FunctionalProgramming style is great.
The problem maybe the type infer is not very "intelligent".
Just like this case, it can't treat Some(...) as a Option, then you need to provide more information about it.
The problem maybe the type infer is not very "intelligent".
Just like this case, it can't treat Some(...) as a Option, then you need to provide more information about it.
December 11, 2024 at 1:30 PM
