haxor@derp.fooMB to

Hacker News@derp.fooEnglish · 1 year ago

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

1

cross-posted to:
programming@programming.dev

0

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

haxor@derp.fooMB to

Hacker News@derp.fooEnglish · 1 year ago

1

cross-posted to:
programming@programming.dev

Introducing Numbat: The type system

Introduces the programming language Numbat and its type system

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

You must log in or # to comment.

Chat

Zip2@feddit.uk
link
fedilink
English
arrow-up
1·
1 year ago
But can it do cups, cubits, Olympic sized swimming pools, and double decker buses?

Hacker News@derp.foo

hackernews@derp.foo

You are not logged in. However you can subscribe from another Fediverse account, for example Lemmy or Mastodon. To do this, paste the following into the search field of your instance: !hackernews@derp.foo

Community locked: only moderators can create posts. You can still comment on posts.

This community serves to share top posts on Hacker News with the wider fediverse.

Rules

Keep it legal
Keep it civil and SFW
Keep it safe for members of marginalised groups

Visibility: Public

This community can be federated to other instances and be posted/commented in by their users.

1 user / day
1 user / week
1 user / month
6 users / 6 months
8 local subscribers
4.12K subscribers
8.17K Posts
4.62K Comments
Modlog

mods:
haxor@derp.foo