star
An experimental programming language that's made to be powerful, productive, and predictable (by ALANVF)
konna
A fast functional language based on two level type theory (by eashanhatti)
star | konna | |
---|---|---|
24 | 6 | |
116 | 11 | |
- | - | |
5.1 | 0.0 | |
6 months ago | about 2 years ago | |
Haxe | Haskell | |
Apache License 2.0 | Mozilla Public License 2.0 |
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.
star
Posts with mentions or reviews of star.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-06-05.
-
The 3 languages question
my own language Star! enjoyability is one of my main goals with the language, along with the "powerful, productive, and predictable" line
-
Language Design: Against Mixed-cased Type Names
This is actually done by several bootstrapped languages, such as Crystal, Nim, Raku, and even my own language Star
-
Your language's favorite MINOR feature?
In Star, commas and newlines are analogous everywhere, even inside array literals. This actually solves the issue of trailing commas by not needing commas at all
-
Building a new .NET language, doing to C# what Kotlin did to Java
I really like Nemerle's OOP+FP hybrid model, and I've taken a lot of it to heart while designing my language Star, which is similar in spirit.
-
extending enums
Most languages are afraid to for some reason, most likely because it "breaks tradition" or whatever. The only languages I'm aware of that allow this are Hack (for C-like enums) and my language Star (for both C-like and OCaml-like enums)
-
Is there a language with structural type constraints for variants and records?
It's currently a work-in-progress, mainly due to subtyping issues with generics (which I'm honestly too lazy to fix rn, focusing on other stuff first). the code is located here, although be aware that it's a bit messy lol
-
November 2021 monthly "What are you working on?" thread
Making lots of progress on Star's typechecker, which has been very difficult due to its expansive type system. Although still not completely finished or useable, it does at least work a bit. Currently need to implement type variable expansion/substitution, "lazy" type refinement (because I have no clue what else to call it), and some basic support for existentials
-
Initially-nullable types
I think this is referred to as partial or lazy initialization. I have this feature in my own language Star (which us null-safe), but I don't have an actual null literal for this purpose
-
Programming Language Checklist
Sure I guess, here's one for Star: ``` You appear to be advocating a new: [X] functional [X] imperative [X] object-oriented [ ] procedural [ ] stack-based [X] "multi-paradigm" [ ] lazy [ ] eager [X] statically-typed [ ] dynamically-typed [ ] pure [X] impure [ ] non-hygienic [ ] visual [X] beginner-friendly [ ] non-programmer-friendly [ ] completely incomprehensible programming language. Your language will not work. Here is why it will not work.
-
Typechecking new type system features
Hello, I'm the developer of the Star programming language, and I have some questions about how to typecheck several new/uncommon features that it has, and looking for feedback on it in general.
konna
Posts with mentions or reviews of konna.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-06-06.
-
How did you choose the name for your programming language?
The second was called Konna. AFAIK it’s Finnish for “frog”, but sources seem to disagree? I don’t speak Finnish, I got the word from a Finnish video game. My third and current language is called Peridot. I’m pretty proud of this name, although it’s less searchable than the previous ones. The origin is pretty simple, I was just looking around at gemstones and thought peridot looked neat.
-
January 2022 monthly "What are you working on?" thread
Continuing work on Konna. I recently finished implementing dependent pattern matching, a pretty big feature! I figured now is the time to do some refactoring and rewriting - the elaborator is the first thing on my list. Once all this maintenance work is done I'll be implementing features like implicit arguments, overloading, and pattern matching on code values.
-
Konna, my programming language
Github repo: https://github.com/eashanhatti/konna
-
December 2021 monthly "What are you working on?" thread
Continuing work on my functional language Konna. The structured editor has progressed a whole lot recently - the most glaring bugs have been fixed and you can work with the entire language in it. The language itself is going well too, I'm currently thinking through:
-
September 2021 monthly "What are you working on?" thread
Working on a rewrite of Konna (formerly Clamn). After using Rust for a little over a year in the original implementation, I decided I wasn't enjoying it. I'm using Haskell for the rewrite - I'd always wanted to write a big project in Haskell anyway haha. Definitely enjoying the higher-level conveniences it offers. The rewrite has been underway for about two weeks now, and so far I've got basic dependent types and partial evaluation implemented.
-
March 2021 monthly "What are you working on?" thread
Continuing work on my functional systems language Clamn. I'd taken the last few weeks to fix a bunch of performance issues, but now it's finally back to implementing features: record types. I've got dependent types in my lang, which means I can get a bunch of more exciting features for free by implementing records, ADTs for instance.
What are some alternatives?
When comparing star and konna you can also consider the following projects:
gaiman - Gaiman: Text based game engine and programming language
wotpp - A small macro language for producing and manipulating strings.
starlight - JS engine in Rust
Cwerg - The best C-like language that can be implemented in 10kLOC.
xvm - Ecstasy and XVM
pen - The parallel, concurrent, and functional programming language for scalable software development
Yoakke - A collection of libraries for implementing compilers in .NET.
pika - A WIP little dependently-typed systems language
aulang - simple and fast scripting language
Bilobe - A New Programming Language To Introduce New Way To Code...
smalltalk - GNU Smalltalk is an implementation of the Smalltalk language
firefly-boot - Bootstrap compiler for Firefly