Announcing the Hare programming language

• C-headers

  3 6 6.4 C

• exotracker-cpp

  7 - -

Tagged unions of free-floating types (polymorphic variants, C++ std::variant) and enum holding cases namespaced within themselves (Rust/Haskell) are two alternative designs. I personally prefer having both in a language. But if only one is available in a language, I prefer free-floating types, since it's more flexible and allows using the same type in multiple tagged unions, and you can somewhat emulate enums using tagged unions and namespaces (like I've done in C++ at https://gitlab.com/exotracker/exotracker-cpp/-/blob/eb8458b2...). If you take that approach, to prevent collapsing in the generic case when two type parameters are the same, you'd have to define newtypes for each type stored in a union.

• WorkOS

  workos.com sponsored

  The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.

  

• rust

  2,681 92,831 10.0 Rust

  Empowering everyone to build reliable and efficient software.

  

There is nothing wrong with being a bad developer, we are all bad developers if we don't understand what we are doing

We have the tools to eliminate memory bugs already

Forcing people to use a language with a buitin sanitizer/babysitter that runs everytime you compile your code and as a result makes you wait 10+ minutes between each line of change is dumb

Expecting your code to be bug free because the code written by someone else told you so is also dumb

https://github.com/rust-lang/rust/issues/38899

who to trust in that case?

--

educate and trust developers, use tools to audit your code when needed

• order-pp

  5 102 0.0 C

  order-pp preprocessor library (standalone part of chaos-pp)

• CSP

  5 135 0.0 C++

  Compile-time LISP interpreter on C macro preprocessor

• Vale

  64 1,660 6.8 Scala

  Compiler for the Vale programming language - http://vale.dev/ (by ValeLang)

  

> while Rust does bring significant advances in this field, it's a very large and complicated language.

The gist of Rust on this fairly easy, is the heritage/chasing of C++ that makes Rust complicated.

A "Rust simple like pascal/c" have potential and I bet 1 billon the borrow checker will not make it hard to use (check https://vale.dev)

• zig_comptime_lisp

  3 18 3.2 Zig

If it's at compilation time, you have the full zig language so you certainly could implement your very own functional programming language https://github.com/igmanthony/zig_comptime_lisp in regular zig rather in an external preprocessor.

• InfluxDB

  www.influxdata.com sponsored

  Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.

  

• http_server

  5 28 8.1 Pony

  Pony library for building HTTP server applications.

  

I use pony https://ponylang.io/ as a language - it's an Actor based language with GC where every actor has its own memory and is responsible for its own GC.

The main feature is its ability to safely share or move data around between actors in a way that is data-race and deadlock free. Pony doesn't use locks anyways :-)

A high level as to how it achieves this:

• hare-color

  1 3 0.0

  Color package for Hare (harelang.org)

A big part of any new language taking off is a rich ecosystem. If you're looking for a lib to color your terminal output, consider mine? [0]

0. https://github.com/tristanisham/color

Suggest a related project