Pricefield | Lemmy
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
@[email protected]MB to Hacker [email protected]English • 2 years ago

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

numbat.dev

external-link
message-square
1
fedilink
  • cross-posted to:
  • [email protected]
  • [email protected]
  • [email protected]
1
external-link

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

numbat.dev

@[email protected]MB to Hacker [email protected]English • 2 years ago
message-square
1
fedilink
  • cross-posted to:
  • [email protected]
  • [email protected]
  • [email protected]
Introducing Numbat: The type system
numbat.dev
external-link
Introduces the programming language Numbat and its type system

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

alert-triangle
You must log in or register to comment.
  • @[email protected]
    link
    fedilink
    English
    1•2 years ago

    But can it do cups, cubits, Olympic sized swimming pools, and double decker buses?

Hacker [email protected]

[email protected]
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: [email protected]

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

Rules
  1. Keep it legal
  2. Keep it civil and SFW
  3. Keep it safe for members of marginalised groups
  • 1 user / day
  • 1 user / week
  • 1 user / month
  • 1 user / 6 months
  • 1 subscriber
  • 16K Posts
  • 10.3K Comments
  • Modlog
  • mods:
  • @[email protected]
  • UI: 0.18.4
  • BE: 0.18.2
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org