January 2021 monthly "What are you working on?" thread

• The-Spiral-Language

  33 903 9.6 Python

  Functional language with intensional polymorphism and first-class staging.

Spiral v2 is out on the VS Code marketplace. Installing the language is as simple as installing the plugin from the extensions tab. It is still in testing phase, and it should have been for a few months more, but I decided to not be timid, and pushed forward the release. My plan right now is to keep fixing the bugs while I do the docs.

• bluebird

  11 25 0.0 C++

  A work-in-progess programming language modeled after Ada and C++ (by csb6)

I made a lot of progress on my Ada-like programming language bluebird. Some of the highlights include:

• 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.

  

• yasl

  2 64 4.7 C

  Bytecode Interpreter for Yet Another Scripting Language (YASL).

  

Lot of progress on YASL (my embeddable scripting language) over the holidays.

• Jasper

  4 56 6.4 C++

  A programming language. Static types. Full type inference. Garbage collection. --- not stable

The main thing I implemented in Jasper over the last month was sum types and switching over them.

• exp-flow

  1 13 8.9 JavaScript

  Discontinued experimental rule-based programming formalism under construction [Moved to: https://github.com/contrast-zone/canon]

If someone would be interested in in my ramblings, here is a fresh link explaining the whole idea. It is some 20 minutes read if anyone has that much patience.

• ric-script

  8 32 7.5 C

  A modern scripting language; implemented in old school C, yacc & flex

I am building my first programming language. I call it ric-script. It is an interpreted dynamically typed and lazy evaluated language. It is like a merge of python and javascript. I build the syntax tree using yacc. Here is a code sample where I build an RPN calculator in it.

• typesandinference

  1 - -

I've got a few reference implementations of type inference algorithms that support principle types. They're all extensions of the Hindley-Milner type system, and so far I haven't tried to combine any of the extensions with other extensions. But I implemented them as similarly as possible so that the eventual attempt at joining them would not get hung up on implementation differences.

• 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.

  

• kay

  1 19 0.0

  A hypothetical message-based programming language inspired by Smalltalk, Self, Erlang, Clojure and sci-fi and biology.

Suggest a related project