tchncs
  • Communities
  • Create Post
  • Create Community
  • heart
    Support Lemmy
  • search
    Search
  • Login
  • Sign Up
Lemmit.Online bot@lemmit.onlineMB to The Rust Programming Language@lemmit.onlineEnglish · 2 years ago

Numbat – A programming language with physical dimensions as types

numbat.dev

external-link
message-square
0
link
fedilink
  • cross-posted to:
  • programming_languages@programming.dev
  • hackernews@lemmy.smeargle.fans
  • programming@programming.dev
  • hackernews@derp.foo
1
external-link

Numbat – A programming language with physical dimensions as types

numbat.dev

Lemmit.Online bot@lemmit.onlineMB to The Rust Programming Language@lemmit.onlineEnglish · 2 years ago
message-square
0
link
fedilink
  • cross-posted to:
  • programming_languages@programming.dev
  • hackernews@lemmy.smeargle.fans
  • programming@programming.dev
  • hackernews@derp.foo
Introducing Numbat: The type system
numbat.dev
external-link
Introduces the programming language Numbat and its type system
This is an automated archive made by the Lemmit Bot.

The original was posted on /r/rust by /u/chilled_programmer on 2023-11-17 09:34:40.

alert-triangle
You must log in or # to comment.

The Rust Programming Language@lemmit.online

rust@lemmit.online

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: !rust@lemmit.online
lock
Community locked: only moderators can create posts. You can still comment on posts.

A place for all things related to the Rust programming language—an open-source systems language that emphasizes performance, reliability, and…

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
  • 7 users / 6 months
  • 6 local subscribers
  • 13 subscribers
  • 7.34K Posts
  • 4 Comments
  • Modlog
  • mods:
  • Lemmit.Online bot@lemmit.online
  • BE: 0.19.15
  • Modlog
  • Legal
  • Instances
  • Docs
  • Code
  • join-lemmy.org