egison
kesh
Our great sponsors
egison | kesh | |
---|---|---|
11 | 11 | |
900 | 19 | |
0.7% | - | |
0.0 | 6.0 | |
over 1 year ago | 5 months ago | |
Haskell | JavaScript | |
MIT License | 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.
egison
- The Egison Programming Language
-
Languages with interesting pattern matching design ?
Look into egison, a "Pattern-Match-Oriented language": https://www.egison.org/
-
Regex-Like Pattern Matching on Arrays/Lists [Question]
Have a look at Egison. It should be a source of inspiration to anyone doing generalised pattern matching. [_,_/2] ~= [2,1]|[6,3] in particular is even clearer in Egison: $p :: #(p / 2).
-
What are some pros and cons of languages that force particular casings for identifiers of a specific purpose?
I think this is a bad idea. In fact, Egison offers a precedent with a better approach. The offered alternative is strictly more powerful as it allows you to refer to a single subpattern multiple times in a greater pattern, and even marks a computable expression you can use in patterns, allowing code like
-
Let's talk about interesting language features.
Egison language. Research language that does some really neat stuff with pattern matching.
-
I want to know about some weird non esoteric programming languages
Egison is weird https://www.egison.org -- it takes a single concept (pattern matching) and pushes it as far as it will go.
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).
What are some alternatives?
dhall - Maintainable configuration files
ric-script - A modern scripting language; implemented in old school C, yacc & flex
idris - A Dependently Typed Functional Programming Language
cubiml-demo - A simple ML-like programming language with subtyping and full type inference.
egison-tutorial - The Egison tutorial
ghc-proposals - Proposed compiler and language changes for GHC and GHC/Haskell
haskelm - Haskell to Elm translation using Template Haskell. Contains both a library and executable.
na - a minimal data notation format
hyper-haskell-server - The strongly hyped Haskell interpreter.
durin - the Dependent Unboxed higher-oRder Intermediate Notation
llvm-hs-pretty - Pretty printer for LLVM AST to Textual IR
bluebird - A work-in-progess programming language modeled after Ada and C++