unseemly
Macros have types! (by paulstansifer)
aith
[Early Stages] Low level functional programming language with linear types, first class inline functions, levity polymorphism and regions. (by Superstar64)
Our great sponsors
| unseemly | aith | |
|---|---|---|
| 4 | 5 | |
| 128 | 60 | |
| - | - | |
| 0.0 | 6.8 | |
| about 1 year ago | 3 months ago | |
| Rust | Haskell | |
| MIT License | GNU General Public License v3.0 only |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
unseemly
Posts with mentions or reviews of unseemly.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-05-10.
-
Peridot: A functional language based on two-level type theory
Did you take a look at paul stansifer's unseemly? https://github.com/paulstansifer/unseemly cc /u/paul_stansifer
-
How do you typecheck a macro?
You could look at how https://github.com/paulstansifer/unseemly/ does it
-
Are there composable compilers?
Other projects not mentioned yet in this area are GraalVM and unseemly by Paul Stansifer https://github.com/paulstansifer/unseemly
- Thoughts on "Kirby" languages, a lang that can execute any other lang?
aith
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.
What are some alternatives?
When comparing unseemly and aith you can also consider the following projects:
coalton - Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.
klister - an implementation of stuck macros
bitflags - A macro to generate structures which behave like bitflags
besm - Resurrecting PP-BESM
bril - an educational compiler intermediate representation
hackett - WIP implementation of a Haskell-like Lisp in Racket
mal - mal - Make a Lisp
dit-cli - The interface for dit, a universal container file.
LinearML - Functional language for parallel programming
rakudo - 🦋 Rakudo – Raku on MoarVM, JVM, and JS