Pricefield | Lemmy
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
bugsmith
cake
to [email protected] • 2 years ago

Introducing Numbat: A programming language with physical units as types

numbat.dev

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

Introducing Numbat: A programming language with physical units as types

numbat.dev

bugsmith
cake
to [email protected] • 2 years ago
message-square
23
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
  • @[email protected]
    link
    fedilink
    9•2 years ago

    I’ve always thought Frink (frinklang.org) looked pretty cool. It’s been around forever. I’ve never used it though.

[email protected]

[email protected]
Create a post
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]

Welcome to the main community in programming.dev! Feel free to post anything relating to programming here!

Cross posting is strongly encouraged in the instance. If you feel your post or another person’s post makes sense in another community cross post into it.

Hope you enjoy the instance!

Rules

Rules

  • Follow the programming.dev instance rules
  • Keep content related to programming in some way
  • If you’re posting long videos try to add in some form of tldr for those who don’t want to watch videos

Wormhole

Follow the wormhole through a path of communities [email protected]



  • 28 users / day
  • 71 users / week
  • 421 users / month
  • 1.78K users / 6 months
  • 3 subscribers
  • 2.31K Posts
  • 34.6K Comments
  • Modlog
  • mods:
  • snowe
  • Ategon
  • @[email protected]
  • @[email protected]
  • UI: 0.18.4
  • BE: 0.18.2
  • Modlog
  • Instances
  • Docs
  • Code
  • join-lemmy.org