cafe-latte
circle
Our great sponsors
cafe-latte | circle | |
---|---|---|
9 | 54 | |
41 | 2,165 | |
- | - | |
0.0 | 5.0 | |
over 2 years ago | 6 months ago | |
Java | C++ | |
GNU Affero General Public License v3.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.
cafe-latte
-
Why does no "Modern Clean Lisp" support Dynamic Redefinition?
Have you already evaluated cafe-latte?
-
How to implement effect handlers in a tree-walking interpreter?
This may interest you: cafe-latte. It's an implementation of CL's condition system (which has restarts) in Java.
-
Understanding the Power of Lisp (2020)
Lack of macros makes nothing impossible, but also makes many things harder. I think of them as code generators, tiny compilers on a micro scale; they are invoked by the proper compiler during compilation phase, as opposed to runtime, allowing you to inject code that you'd otherwise need to inline by hand.
It's possible to write pretty complex things like control flow abstractions using just structures and functions/methods, e.g. a CL-esque condition system in Java which only uses classes, static methods, and Java lambdas[0] for its syntax. Possible, but also IMO ugly when compared to the CL counterpart, because the low-level but irrelevant details (such as instantiation via `new` or generics) are still presented to the programmer.
[0] https://github.com/phoe/cafe-latte
-
Is it possible to check if you are in a loop?
Condition system in Java: https://github.com/phoe/cafe-latte
- Common Lisp Style Conditions for Clojure
-
MS Excel is unpopular due to lots of irritating parentheses.
phoe then said "Notice that no one mentions that this way they also managed to drag a lot of Lisp programmers about halfway back to C++."
- Show HN: An implementation of Common Lisp condition system in plain Java
- Cafe Latte – an implementation of Common Lisp condition system in plain Java
circle
-
How difficult would it be to make a c++ compiler
Sean Baxter created a front end c++ compiler by himself, using llvm for the back end and the gcc or clang stl. I think it took him a couple of years. https://www.circle-lang.org/. Before this happened I heard a couple of different people claiming that there would never be a totally new compiler as it was too much work.
-
Toward a TypeScript for C++"
The real Typescript for C++ is Circle.
https://www.circle-lang.org/
Just like Typescript to JavaScript, the syntax is an evolution of what already exists, not a completely different syntax.
-
A Metaobject Protocol for C++ [pdf]
Sean Baxter's Circle [1] is arguably the spiritual successor to MOP.
[1] https://www.circle-lang.org/
-
Circle Evolves C++ [video]
Context: https://github.com/seanbaxter/circle/blob/master/new-circle/...
Note that Circle is not an F/OSS compiler as someone pointed out before. This however doesn't make Circle less relevant, because it is actually a testament to show that C++ could have been much better without the claimed breakage. If Circle does provide a number of desirable features and its compiler can be built by a single person, then why shouldn't the committee do the same?
-
My (Herb Sutter's) C++ Now 2023 talk is online: “A TypeScript for C++”
From all wannabe C++ replacements candidates, the only language that is really a TypeScript for C++, is Circle.
For whatever reason, Herb Sutter decided to ignore this language on the presentation.
https://www.circle-lang.org/
This is the only one with the syntax based on C++, incrementally changing the features via #pragma settings.
"Circle Fixes Defects, Makes C++ Language Safer & More Productive"
https://www.youtube.com/watch?v=x7fxeNqSK2k
"Circle Evolves C++"
https://www.youtube.com/watch?v=P1ZDOGDMNLM
- File for Divorce from LLVM
-
Making C++ Safe Without Borrow Checking, Reference Counting, or Tracing GC
The second someone makes a successor language that seamlessly/directly interops with C++ _AND_ has the level of build/IDE tooling that C++/Rust have, I'm on board.
The closest thing right now is Sean Baxter's "Circle" compiler in "Carbon" mode IMO:
https://github.com/seanbaxter/circle/blob/master/new-circle/...
Unfortunately, Circle is closed-source and there's no LSP or other tooling to make the authoring experience nice.
- Circle-lang: A feasible, simple, and immediate way for C++ to break out of the rut it's been in. Surprised more people aren't talking about it.
-
Recurrence-expression is a programmable superset of fold-expression
I read through the whole of https://github.com/seanbaxter/circle/blob/master/new-circle/README.md and man, I'm drooling. Awesome work, kudos.
-
Dropping support for old C++ standards
Have a look at Circle from Sean Baxter [0]. It's pretty impressive.
[0]: https://github.com/seanbaxter/circle/blob/master/new-circle/...
What are some alternatives?
whirlisp - A whirlwind Lisp adventure
raspberry-pi-os - Learning operating system development using Linux kernel and Raspberry Pi
sicp - HTML5/EPUB3 version of SICP
dts2hx - Converts TypeScript definition files (d.ts) to haxe externs (.hx) via the TypeScript compiler API
farolero - Thread-safe Common Lisp style conditions and restarts for Clojure(Script) and Babashka.
mdspan - Reference implementation of mdspan targeting C++23
oh - A new Unix shell.
papers - ISO/IEC JTC1 SC22 WG21 paper scheduling and management
clojure - The Clojure programming language
CppCoreGuidelines - The C++ Core Guidelines are a set of tried-and-true guidelines, rules, and best practices about coding in C++
excoptional - A fully typed, zero-dependency implementation of the functional programming Option object for JavaScript and TypeScript
meta