metalang99
konna
metalang99 | konna | |
---|---|---|
42 | 6 | |
768 | 11 | |
- | - | |
3.7 | 0.0 | |
26 days ago | about 2 years ago | |
C | Haskell | |
MIT License | Mozilla Public 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.
metalang99
-
How to convert an enum to string in C++
There are also other approaches. Macro variants making use of `__VA_ARGS__` would be probably the best trade-off. If you want a slightly more ergonomic syntax, something like Metalang99 [1] will help (and the author even wrote a post about this exact subject [2]). Codegen is another option which may work better than other options depending on the situation and exact implementation strategy. And there is always the Reflection TS [3], which may or may not be incorporated to C++26...
[1] https://github.com/Hirrolot/metalang99
[2] https://hirrolot.github.io/posts/pretty-printable-enumeratio...
[3] https://en.cppreference.com/w/cpp/experimental/reflect
-
Few lesser known tricks, quirks and features of C
I went down the rabbit hole with C99 metaprogramming after reading through the list. For reference: https://metalang99.readthedocs.io/en/latest/, https://github.com/Hirrolot/metalang99
-
Boost:Unordered_flat_map
Honestly I have to disagree. There is nothing particularly special about what Super Template Tetris(STT) is doing.
At its core, template metaprogramming is just functional programming at compile time. STT is just a template and a runtime function which do the following:
1, take an input via compile time flag (the `-D DIRECTION`)
2. take a type input from an included header file containing the current state (`#include "current_game.h"`)
3. via functional programming, compute the results of a single step of the game.
4. specialise a single function using the results of step 3. this function prints the computed result to the screen and the computed game state to a file (`./current_game.h`).
5. gcc/clang exits. compilation is complete.
6. call the compiled binary.
7. the binary runs the specialised function and prints the outputs.
Sure it's fucky and you shouldn't do that in production but what sane individual is writing a piece of code that at runtime (after compiling) seeks out one of its own source files and modifies that file?
To prevent this from being possible you'd have to remove runtime file IO from the language. The other potential solutions wouldn't work:
1. Remove templates entirely: Still would be possible using https://github.com/Hirrolot/metalang99 which solely uses the preprocessor. Given that the pre-processor is literally just term substitution(a glorified copy/paste engine), if you removed that as well, you'd have to accept no form of metaprogramming at all.
2. Remove the ability to #include other files: Could still be done by doing everything inline. `#include` is just copy-paste anyways so it's more an abstraction than anything else to the compiler and preprocessor, it's basically the same as if all the code was pasted into the same file.
That leaves you with removing file IO. Without IO a programming language is basically useless, particularly as a systems programming language.
- What does the ??!??! operator do in C?
- Metalang99: Full-blown preprocessor metaprogramming for C/C++
-
Learning HTML was too hard so I made a compiler instead
P.S. I wrote Metalang99 BTW.
-
How did you choose the name for your programming language?
Metalang99, a metalanguage for C99. Simple :)
-
Rust is hard, or: The misery of mainstream programming
Just wait until you see some other things by the same author, like https://github.com/Hirrolot/metalang99
-
Conditional preprocessor macro, anyone?
I did get a few great responses there as well, though. One was a link to this impressive piece of work: https://github.com/Hirrolot/metalang99/blob/master/examples/lambda_calculus.c
-
What are the minimal changes required to turn C into a functional programming language?
Some preprocessor nonsense: https://github.com/Hirrolot/metalang99/blob/master/examples/lambda_calculus.c
konna
-
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?
Windows11DragAndDropToTaskbarFix - "Windows 11 Drag & Drop to the Taskbar (Fix)" fixes the missing "Drag & Drop to the Taskbar" support in Windows 11. It works with the new Windows 11 taskbar and does not require nasty changes like UndockingDisabled or restoration of the classic taskbar.
wotpp - A small macro language for producing and manipulating strings.
monkeytype - The most customizable typing website with a minimalistic design and a ton of features. Test yourself in various modes, track your progress and improve your speed.
Cwerg - The best C-like language that can be implemented in 10kLOC.
map-macro - A recursive C preprocessor macro which performs an operation on each element of a list
pen - The parallel, concurrent, and functional programming language for scalable software development
porth
star - An experimental programming language that's made to be powerful, productive, and predictable
libexpat - :herb: Fast streaming XML parser written in C99 with >90% test coverage; moved from SourceForge to GitHub
pika - A WIP little dependently-typed systems language
eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee - eeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeeee
Bilobe - A New Programming Language To Introduce New Way To Code...