lawvere
kitten
| lawvere | kitten | |
|---|---|---|
| 6 | 13 | |
| 262 | 1,074 | |
| - | - | |
| 0.0 | 1.2 | |
| about 1 year ago | about 1 year ago | |
| Haskell | Haskell | |
| MIT License | GNU General Public License v3.0 or later |
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
- 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.
kitten
-
Retro: A Modern, Pragmatic Forth
While not quite a Forth, Kitten is a stack language:
https://kittenlang.org/
- Atunci când cauți de muncă și nu te mai angajează nimeni
-
Stack-based array-friendly static-typed proof of concept
Since you're making a statically-typed concatenative language, I'll point you to a joy reference, kitten, notes to motivate type checking stack languages, and a paper that formalizes type checking for stack languages. Since this looks like a relatively high-level stack language (given the presence of ADTs), you may find that you want to add quotes to your language, specifically opaque quotes since your language is typed. In that case, you'll realize that you'll need a better way to formulate polymorphism over stacks, and the paper on type checking will provide that to you.
-
A Forth Apologia
Well, there is Kitten, although it hasn't seen an update in two years and was moving quite slowly before that too.
https://kittenlang.org/
- main repo
-
Why Concatenative Programming Matters
Author ended up doing a lot of work on Kitten https://github.com/evincarofautumn/kitten
- The Kitten Programming Language
-
my cat is installing debian 10
Kitten lang
-
I much prefer `data.action()` to `action(data). Is it an r/unpopularopinion?
You may like https://kittenlang.org/
What are some alternatives?
unison - A friendly programming language from the future
JDK - JDK main-line development https://openjdk.org/projects/jdk
fp - A small, weird and unpractical programming language.
jvm-parser - A Haskell parser for JVM bytecode files
discokitty - An educational implementation of some aspects of the DisCoCat framework
mlatu - A declarative concatenative programming language
hint - Runtime Haskell interpreter [Moved to: https://github.com/haskell-hint/hint]
haskell-exp-parser - Simple parser parser from Haskell to TemplateHaskell expressions
brainbreak - BrainFuck REPL, Interpreter and compiler.
resin - Vector space search engine. Available as a HTTP service or as an embedded library.
rfcs - RFCs for changes to Rust
egison-quote - Quasi quotes for Egison expression