Skip Navigation

Programming @programming.dev bugsmith @programming.dev 2y ago

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

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

Hacker News @lemmy.smeargle.fans bot @lemmy.smeargle.fans

2y ago

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

numbat.dev /articles/intro.html

Hacker News @derp.foo haxor @derp.foo

2y ago

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

numbat.dev /articles/intro.html

You're viewing a single thread.

23 comments

This looks like a lot of fun to use, I loved the example from What If, so many units!

23 comments