@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.
Try Ollama with deepseek r1 8b. It works but a little bit slow.
Using MRA 2021 version.
Using MRA 2021 version.
February 4, 2025 at 5:46 PM
Try Ollama with deepseek r1 8b. It works but a little bit slow.
Using MRA 2021 version.
Using MRA 2021 version.
Using #racket Rosette with macro system seems a challenge.
However, it allows a more flexible manipulation of constraints.
The refinement type can be done by combing rosette and macro-based type checking algorithm.
The mentioned code will be available soon.
However, it allows a more flexible manipulation of constraints.
The refinement type can be done by combing rosette and macro-based type checking algorithm.
The mentioned code will be available soon.
December 13, 2024 at 12:24 AM
Using #racket Rosette with macro system seems a challenge.
However, it allows a more flexible manipulation of constraints.
The refinement type can be done by combing rosette and macro-based type checking algorithm.
The mentioned code will be available soon.
However, it allows a more flexible manipulation of constraints.
The refinement type can be done by combing rosette and macro-based type checking algorithm.
The mentioned code will be available soon.
December 11, 2024 at 1:30 PM
Reposted
Qi: An Embeddable Flow-Oriented Language
"An embeddable, general-purpose language to allow convenient framing of programming logic in terms of functional flows. A flow is a function from inputs to outputs, and Qi provides compact notation for describing complex flows."
https://github.com/drym-org/qi
"An embeddable, general-purpose language to allow convenient framing of programming logic in terms of functional flows. A flow is a function from inputs to outputs, and Qi provides compact notation for describing complex flows."
https://github.com/drym-org/qi
November 26, 2024 at 6:00 PM
Qi: An Embeddable Flow-Oriented Language
"An embeddable, general-purpose language to allow convenient framing of programming logic in terms of functional flows. A flow is a function from inputs to outputs, and Qi provides compact notation for describing complex flows."
https://github.com/drym-org/qi
"An embeddable, general-purpose language to allow convenient framing of programming logic in terms of functional flows. A flow is a function from inputs to outputs, and Qi provides compact notation for describing complex flows."
https://github.com/drym-org/qi
