A very practical page of Elm guides: Types as Sets. By using well-tailored types we can protect ourselves from different kinds of invalid states in our programs. So why not just use this approach?
#type #programming #math
#type #programming #math
guide.elm-lang.org
Types as Sets · An Introduction to Elm
Check out this post on building a type safe
#bundle #type
bundleOf function. The bundleOf part here looks to me like we're trying to solve an imaginary problem, but the trick itself is kind of nice.#bundle #type
Medium
Building a type safe bundleOf
You may be aware of the bundleOf utility provided by the androidx.core:core-ktx artifact, however you may not be aware of the fact that…
Talk about designing library API in Rust. Author shows how to implement something like Python's
#talk #rust #type
tqdm for CLI progress bars but in a more logical, restricting, and type-safe fashion. I've enjoyed it, hope you will as well.#talk #rust #type
YouTube
"Type-Driven API Design in Rust" by Will Crichton
Rust is a unique programming language that blends imperative and functional concepts to make low-level systems safer. However, compared to other modern languages, designing APIs in Rust requires a fundamentally different mindset -- for example, designing…
Check out this brave attempt to emulate union types in Java via checked exceptions.
#java #exception #type
#java #exception #type
Java, SQL and jOOQ.
Java’s Checked Exceptions Are Just Weird Union Types
This fun fact has been on my mind for a while, and a recent reddit thread about “Smuggling Checked Exceptions with Sealed Interfaces” made me write this post here. Namely, Java had unio…