Show HN: Numbat – A programming language with physical dimensions as types
1–10 of 122 posts
Re: Show HN: Numbat – A programming language with physical dimensions as types
#2perform computations with physical units.
It has units awareness --- not necessarily only physical units.
For example; light, temperature and time are measured in units but they are not physical units --- aka 3 dimensional.
Re: Show HN: Numbat – A programming language with physical dimensions as types
#3perform computations with physical units. It has units awareness --- not necessarily only physical units. For example; light, temperature and time are measured in units but they are not physical units --- aka 3 dimensional.
All are physical units. In particular in special relativity time is couples with position and you myst use cuadrivectors (t, x, y, z).
Re: Show HN: Numbat – A programming language with physical dimensions as types
#4This is great. I want this as an addon to JS and Python.
Re: Show HN: Numbat – A programming language with physical dimensions as types
#5I can't resist mentioning F# Units of Measure aka UoM :)
https://learn.microsoft.com/en-us/dotnet/fsharp/language-ref...
Re: Show HN: Numbat – A programming language with physical dimensions as types
#6perform computations with physical units. It has units awareness --- not necessarily only physical units. For example; light, temperature and time are measured in units but they are not physical units --- aka 3 dimensional.
All are physical units. In particular in special relativity time is couples with position and you myst use cuadrivectors (t, x, y, z).
Time exists independent of location and can not be visualized in any "physical" way. The same is true for lots of other units of measure.
https://phys.org/news/2012-04-physicists-abolish-fourth-dime...
Re: Show HN: Numbat – A programming language with physical dimensions as types
#7I can't resist mentioning F# Units of Measure aka UoM :) https://learn.microsoft.com/en-us/dotnet/fsharp/language-ref...
Thank you for not resisting. F# is very hard to beat for a tight domain model.
Re: Show HN: Numbat – A programming language with physical dimensions as types
#8So if I try to get the Falcon to do the Kessel run in two Parsecs, Numbat will raise an exception.
Re: Show HN: Numbat – A programming language with physical dimensions as types
#9In theory it can help to compute how many ore belts I need for producing full belt of white sciences in Factorio?
Re: Show HN: Numbat – A programming language with physical dimensions as types
#10You don't need a new programming language for something that C++ templates with integer constants give you for free.