Skip Navigation

Hacker News @derp.foo

haxor @derp.foo

2y ago

Show HN: Numbat – A programming language with physical dimensions as types

Introducing Numbat: The type system

There is a discussion on Hacker News, but feel free to comment here as well.

Programming Languages @programming.dev

jeffhykin @lemm.ee

2y ago

Numbat: Real World Units as Types (disclaimer I am not the author)

numbat.dev /articles/intro.html

Programming @programming.dev

bugsmith @programming.dev

2y ago

Introducing Numbat: A programming language with physical units as types

numbat.dev /articles/intro.html

0 comments