fp
A small, weird and unpractical programming language. (by japiirainen)
lawvere
A categorical programming language with effects (by jameshaydon)
| fp | lawvere | |
|---|---|---|
| 4 | 6 | |
| 102 | 262 | |
| - | - | |
| 1.5 | 0.0 | |
| 7 days ago | about 1 year ago | |
| Haskell | Haskell | |
| MIT License | MIT License |
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.
fp
Posts with mentions or reviews of fp.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-10-31.
-
Show HN: A small, weird and unpractical programming language
Did you click on the link to the github repo?
https://github.com/japiirainen/fp
-
A small, weird and unpractical programming language.
I've been spending some time coding fp. It is a programming language heavily inspired by the language John Backus described in his 1977 Turing Award lecture.
lawvere
Posts with mentions or reviews of lawvere.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-04-26.
- Lawvere: A categorical programming language with effects
-
Red and blue functions are a good thing
I don't really know much about this area, but there's a language literally called Lawvere.
https://github.com/jameshaydon/lawvere
- Lawvere: a new member of the categorical branch of the concatenative family
-
Lawvere - a categorical programming language with effects
Yes that is absolutely the idea. Even for pure-programming, the idea is to define categories via sketches, to define functors between the generated theories, and to use this to somewhat solve the extension problem. This is somewhat explained here: https://github.com/jameshaydon/lawvere/blob/master/examples/presentation.law.md but I'll pad it out soon.
What are some alternatives?
When comparing fp and lawvere you can also consider the following projects:
mikrokosmos - (λ) Educational lambda calculus interpreter
unison - A friendly programming language from the future
hint - Runtime Haskell interpreter [Moved to: https://github.com/haskell-hint/hint]
discokitty - An educational implementation of some aspects of the DisCoCat framework
winter - Haskell port of the WebAssembly OCaml reference interpreter
kitten - A statically typed concatenative systems programming language.
hruby - Embed Ruby in your Haskell program.