Tech, Science, Math and more...
Articles
Tags
Juan Royo Sales's Blog
Rust, Programming, Engineering, FP, Haskell, Tech, Math and Computer Science Blog
Articles
Part 2: Optimizing the Directory Entry Stream in Rust
2024-11-05
6 minute read
#rust
Â
#async
Â
#stream
Â
#filesystem
Â
#tutorial
Â
Part 1: Implementing a Directory Entry Stream in Rust
2024-10-29
6 minute read
#rust
Â
#async
Â
#stream
Â
#filesystem
Â
#tutorial
Â
Building Diesel Macro for generating FromSql and ToSql derivation on Enum Postgresql types.
2023-09-06
5 minute read
#rust
Â
#macros
Â
#proc-macro
Â
#diesel
Â
#orm
Â
#tutorial
Â
Encoding Effects using freer-simple
2021-03-17
15 minute read
#haskell
Â
#fp
Â
#functional
Â
#type
Â
#level
Â
#programming
Â
#effects
Â
#effects system
Â
#effects encoding
Â
#effect
Â
#encoding
Â
#type level programming
Â
#types
Â
Tagless Final Encoding in Haskell
2019-03-17
9 minute read
#haskell
Â
#fp
Â
#functional
Â
#tagless
Â
#final
Â
#encoding
Â
#type
Â
#level
Â
#programming
Â
Tagless Final in Scala: A Practical example
2019-02-07
19 minute read
#scala
Â
#fp
Â
#functional
Â
#programming
Â
#tagless
Â
#final
Â