Development: Type-level metaprogramming
Compose elm-codec-like tools to give your types superpowers
natural number of an exact value
express natural numbers within a type
describe a number as a difference in a type
supplies bounded-nat with shortened names
types for handling periodic tables.
Anytype hole in Elm.
allow/forbid a state at the type level
both or only one of them
safe, typed bit arrays
natural number in a typed range
one type for emptiable and safe non-empty
array with a typed length range → safe access
Arrays with fixed length using phantom types.
Would you like to use Elm for real-world projects?
📢 My book
Practical Elm
skips the basics and gets straight into the nuts-and-bolts of building non-trivial apps.
🛠 Things like building out the UI, communicating with servers, parsing JSON, structuring the application as it grows, testing, and so on.
