lawvere
A categorical programming language with effects (by jameshaydon)
fp
A small, weird and unpractical programming language. (by japiirainen)
lawvere | fp | |
---|---|---|
6 | 4 | |
262 | 102 | |
- | - | |
0.0 | 1.5 | |
about 1 year ago | 5 days 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.
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.
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.
What are some alternatives?
When comparing lawvere and fp you can also consider the following projects:
unison - A friendly programming language from the future
mikrokosmos - (λ) Educational lambda calculus interpreter
discokitty - An educational implementation of some aspects of the DisCoCat framework
hint - Runtime Haskell interpreter [Moved to: https://github.com/haskell-hint/hint]
kitten - A statically typed concatenative systems programming language.
winter - Haskell port of the WebAssembly OCaml reference interpreter
hruby - Embed Ruby in your Haskell program.
brainbreak - BrainFuck REPL, Interpreter and compiler.
hint - Runtime Haskell interpreter
rfcs - RFCs for changes to Rust
enso - Hybrid visual and textual functional programming.