kesh
cubiml-demo
Our great sponsors
kesh | cubiml-demo | |
---|---|---|
11 | 6 | |
19 | 134 | |
- | - | |
6.0 | 0.0 | |
5 months ago | over 1 year ago | |
JavaScript | Rust | |
Apache License 2.0 | Apache License 2.0 |
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.
kesh
- Have any of you designed a conlang, and then designed a programming language based on the conlang or any fictional culture that would use it?
-
Too many words about Rust's function syntax
I have something similar in kesh, where : is the assignment operator and the type/signature may be "assigned" before the value:
-
Temporal Programming, a new name for an old paradigm
I'm not OP, in case you thought that :) kesh lives here. I tried incorporating some of the ideas discussed here, but posponed it to a later language, which I'm still thinking about.
-
What language features do you "Consider Harmful" and why?
This is a great idea that I've adopted for my PL. I took it a step further and also allow extensions of the core language to be specified, including profiles.
-
Let's talk about interesting language features.
My (non-existing) language kesh, designed to compile to TypeScript, has expression blocks. That was one of my first decisions.
-
October 2021 monthly "What are you working on?" thread
Still no work on a compiler, but more work on the documentation of kesh.
-
What are some simple but powerful compile-to-JS languages I might not know about, or that you are working on (not Elm, Reason, PureScript, or ClojureScript)?
I'm working on kesh, but it's only at the design stage. I have tried to make it simple yet powerful, so I thought I'd mention it even though you can't use it.
-
Why are you building a programming language?
I tried to distill down the most essential features of TS/JS (functional, prototypal) and then come up with new syntax and semantics that was minimal, orthogonal and hopefully easy to learn and use. The result is kesh and na.
-
September 2021 monthly "What are you working on?" thread
I like the way you think. I had the same goal with kesh. A minimal syntax is easier on the eye and lets you focus on the actual code.
-
August 2021 monthly "What are you working on?" thread
I'm only at the drawing board stage of kesh, a simple little PL that one day might possibly transpile to TypeScript. Not a single line of compiler code has been written so far, it's still all about syntax design and exploring ideas. kesh is mostly a pastime activity and something I can ponder over when I'm bored or can't sleep (which may be the reason I can't sleep).
cubiml-demo
-
Recursive type checking
https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html https://github.com/Storyyeller/cubiml-demo
-
Favorite PL paper?
oh and I forgot to mention, there's a minimal implementation of algebraic subtyping for an ML-style language https://github.com/Storyyeller/cubiml-demo
-
Is there a language with structural type constraints for variants and records?
Cubiml might be worth looking at as well.
-
Type checking Erlang
https://github.com/Storyyeller/cubiml-demo https://blog.polybdenum.com/2020/07/04/subtype-inference-by-example-part-1-introducing-cubiml.html
-
What are some simple but powerful compile-to-JS languages I might not know about, or that you are working on (not Elm, Reason, PureScript, or ClojureScript)?
CubiML
-
Is it correct that types are not involved/used in semantics but syntax of a programming language?
My own cubiml has type-independent semantics for example.
What are some alternatives?
ric-script - A modern scripting language; implemented in old school C, yacc & flex
karax - Karax. Single page applications for Nim.
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
IntercalScript - The IntercalScript programming language
durin - the Dependent Unboxed higher-oRder Intermediate Notation
firefly-boot - Bootstrap compiler for Firefly
na - minimal data notation format
coffeescript - Unfancy JavaScript
Cwerg - The best C-like language that can be implemented in 10kLOC.
nile
bluebird - A work-in-progess programming language modeled after Ada and C++
Nim - Nim is a statically typed compiled systems programming language. It combines successful concepts from mature languages like Python, Ada and Modula. Its design focuses on efficiency, expressiveness, and elegance (in that order of priority).