hypertypes VS ric-script

For the development of Lamdu I've embarked on a similar quest and ended up creating hypertypes after getting a helpful pointer in SO.

Otherwise I would go for modularity rather than extensibility and use hypertypes or an equivalent mechanism to represent the types.

Indeed, then it is definitely possible. i.e https://github.com/lamdu/hypertypes

Nice. Using this my type inference implementation benchmarked up to 2.5% faster and the switch wasn't difficult to do.

I think https://github.com/lamdu/hypertypes might be related. This is a generic programming API that seems to be based on hyperfunctions, but moved up to the type level?

I wrote an overview for several approaches folks came up with for this problem aka "the expression problem" including my own approach, "hypertypes" - see https://github.com/lamdu/hypertypes/blob/master/README.md

Last month I worked on the language ABI (Application Binary Interface). This is where I have made an effort to make modules buildable and exportable (into dynamic shared libraries) to the language interpreter. I call the build environment for these modules the SDK (software development kit). It is a Meson project that supports not just Unix based platforms but also Windows. Before this month, one could only export functions in modules, but now one can include classes also. For me this felt very good, as I would expect of a language to support as much in the SDK as possible of the original script-language data types. Here is a link to an example module library written in C that can be compiled for export into the language interpreter: https://github.com/Ricardicus/ric-script/blob/master/src/sdk_lib/ext_lib.c

I host the source code here at GitHub. There are links to documentation and even an environment where you can test the interpreter on some samples to be found in the README. If you feel like this is an interesting C-project I'd appreciate the dopamine kick of a star over there at the github platform.

Continued work on my interpreter for [ric-script](https://github.com/Ricardicus/ric-script) which is an interpreted dynamically typed and lazy evaluated language. Imagine Javascript without semicolon and Python without the indentation thing. I build the syntax tree using yacc. Here is a [code sample](https://ric-script-u5ep8.ondigitalocean.app/doc/syntaxwalkthrough.html#class-declarations) where I build an RPN calculator in it. I’d appreciate the dopamine kick of a star if you find the project interesting.

Thank you all! I have made it work now in my project . A sample script can be found here .

I continuing with building my first programming language. It is an interpreted dynamically typed and lazy evaluated language. It is like a merge of python and javascript, imagine Python except the focus on indentation. I build the syntax tree using yacc. Here is a code sample where I build an RPN calculator in it. The source repository is here, I’d appreciate the dopamine kick of a star if you like it.

I am building my first programming language. I call it ric-script. It is an interpreted dynamically typed and lazy evaluated language. It is like a merge of python and javascript. I build the syntax tree using yacc. Here is a code sample where I build an RPN calculator in it.