Skip Navigation

Programming Languages @programming.dev jeffhykin @lemm.ee 12mo ago

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

numbat.dev Introducing Numbat: The type system

Introduces the programming language Numbat and its type system

Introducing Numbat: The type system

Programming @programming.dev bugsmith @programming.dev 12mo ago

Introducing Numbat: A programming language with physical units as types

numbat.dev /articles/intro.html

Introducing Numbat: A programming language with physical units as types

147 18

Hacker News @derp.foo haxor @derp.foo

12mo ago

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

numbat.dev /articles/intro.html

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

0 1

1 comments

Really cool.