Introducing Numbat: A programming language with physical units as types
Introducing Numbat: A programming language with physical units as types
numbat.dev Introducing Numbat: The type system
Introduces the programming language Numbat and its type system
![Introducing Numbat: The type system](https://lemmy.blahaj.zone/pictrs/image/587ea769-1ece-486b-be8e-3e8716c41787.png?format=webp&thumbnail=256)
You're viewing a single thread.
All comments
23
comments
This looks like a lot of fun to use, I loved the example from What If, so many units!
1 0 Reply
23
comments
Scroll to top