happysl.app
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
haxor@derp.fooMB to Hacker News@derp.fooEnglish · 2 years ago

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

numbat.dev

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

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

numbat.dev

haxor@derp.fooMB to Hacker News@derp.fooEnglish · 2 years ago
message-square
0
link
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 # to comment.
  • Zip2@feddit.uk
    link
    fedilink
    English
    arrow-up
    1
    ·
    edit-2
    2 months ago

    deleted by creator

Hacker News@derp.foo

hackernews@derp.foo

Subscribe from Remote Instance

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]
lock
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
  1. Keep it legal
  2. Keep it civil and SFW
  3. Keep it safe for members of marginalised groups
Visibility: Public
globe

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
  • 1 user / 6 months
  • 0 local subscribers
  • 4.11K subscribers
  • 15.9K Posts
  • 10.1K Comments
  • Modlog
  • mods:
  • haxor@derp.foo
  • BE: 0.19.12
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org