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. Learn more →
Aith Alternatives
Similar projects and alternatives to aith
-
coalton
Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
-
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.
-
SaaSHub
SaaSHub - Software Alternatives and Reviews. SaaSHub helps you find the best software and product alternatives
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better aith alternative or higher similarity.
aith reviews and mentions
Posts with mentions or reviews of aith.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2023-02-10.
-
Kinds and Higher order types use cases?
As for uses of kinds in general, I'm using them a lot in Aith. Except that, instead of using higher kinds I'm parameterizing my Type to allow for fancier classification then just "this is a type". I'm using kinds for
-
Why is there no simple C-like functional programming language?
Aith is another new one.
-
Resources to build an interpreter or PL in Haskell?
https://github.com/Superstar64/aith is also an interesting language, with substructural typing. The creator is also in the discord server if you have any questions
-
Type Annotation Decoration and Avoiding Regeneralization
In Aith after doing hindley milner type checking, I want to annotate my ast with type annotations for several reasons:
-
How do you typecheck a macro?
It depends on how powerful you want your macros to be. In aith, my macros are just a compile time lambda calculus. My macros can only generate values or other macros, this limits them to being no more powerful then what you can normally do with functions but it (will when my language is usable) let me write code that I know will be inlined and edsls that compile into fast code. With these limitations I can completely type check macros ahead of time (because they are just like funcitons) and I can also use my kind system to prevent macro types from leaking out into normal ones.
-
A note from our sponsor - InfluxDB
www.influxdata.com | 5 May 2024
Stats
Basic aith repo stats
5
60
6.8
3 months ago
Superstar64/aith is an open source project licensed under GNU General Public License v3.0 only which is an OSI approved license.
The primary programming language of aith is Haskell.
Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com