Our great sponsors
-
-
terra
Terra is a low-level system programming language that is embedded in and meta-programmed by the Lua programming language.
Terra is a language that can also do that, and uses Lua as the metaprogramming language. Types are just Lua values.
But unfortunately, there's a lot of work left kind of half-baked so using the language is a pain... if someone invested a lot of time to make Terra work properly and added some tooling around it, wrote proper docs and so on, it would be a really interesting language.
-
InfluxDB
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.
-
You had a look at Hoogle?
For some type signatures there is (are) only one (or only a few) meaningful implementation(s).