Forscape
boba
Our great sponsors
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.
Forscape
-
What's the best way to get my language stress tested?
You can use the free GitHub runners to execute regression tests on Linux, Windows, and Mac. I recommend testing with 32bit compilation as well as 64bit- it has a way of smoking out bugs. You could take a look at the GitHub actions on my Forscape repo in the .github folder, although it's probably not the most idiomatic runner scripting, but it is a C++ project like yours.
-
Which phases/stages does your programming language use?
The project is Forscape, although the language part is made a bit complicated because a goal of the project is creating an editor that supports typeset code with IDE interaction
-
[Weekly] What is everybody working on? Share your progress, discoveries, tips and tricks!
Finally adding multi-file support to Forscape. The frontend UI aspects are completed and I'm quite happy with the result. The app is Unicode heavy and QString's UTF-16 encoding is an annoyance; I would much prefer if Qt relied on std::string even. But the signal/slot mechanism lets you achieve some complicated behaviour with minimal complexity, and Qt looks great.
-
Build Qt Project w/GitHub Actions
Here's an example from a project. The first step installs Qt, the second step clones my repo on the runner, then a bit more setup with Conan, then building and running.
-
C++ Show and Tell - November 2022
I've been working on the Key CAS project (Imgur Screenshot), CAS being an acronym for Computer Algebra System, and "Key" a judiciously chosen title. This was my third time attempting CAS- this iteration was a huge improvement, but I still find it to be a damn hard problem. The GUI comes from the open source project Forscape, a scientific computing environment written in C++.
-
What Operators Do You WISH Programming Languages Had? [Discussion]
It gets fun when you go beyond flat symbols and start supporting 2D notation, like fractions and matrices. Probably not worth the hassle for most things, but I think it makes matrix expressions more compact with better readability.
-
Forscape: what features are in your ideal scientific language?
Forscape is a scientific computing language in development. It supports first-class matrices and common matrix operations. The language reached a milestone when it achieved similar performance to other prominent scientific langs on a computationally involved numerical problem from my graduate school years. At this point, I am unsure where the development should go next and I would appreciate advice. What do you find missing in scientific computing languages? What are essential features that you need/enjoy?
-
August 2022 monthly "What are you working on?" thread
Forscape, currently entirely numerical, is only getting minor edits while I start on a standalone CAS project. It's based on an earlier attempt, and I find myself better suited for the work this time. The logic rules are implemented, like (A ∧ B) ∨ (A ∧ ¬B) ⇒ A. The last iteration taught me it's important to do the logic first, because for arithmetic there are conditional rules like x/x ⇒ 1 if x ≠ 0, else undefined. I am worried if a compiler using CAS for optimisations and features will have scaling problems on large programs, but the project will be an interesting experience at the least.
-
Does anyone really like what Mathematica achieves, but hates the syntax?
I have similar goals with Forscape, although it is a traditional desktop app and I hope to implement term rewriting fast enough to run interactively in the editor. Are you developing publicly, or keeping your lang under wraps for now?
boba
-
November 2022 monthly "What are you working on?" thread
The vast majority of October's improvements on Boba were type system and runtime bug fixes. In particular, the effect handler/delimited continuation semantics were hopelessly busted beyond a few simple examples I'd fixated on.
-
October 2022 monthly "What are you working on?" thread
September was another productive month for Boba, which is starting to get more 'quality of life' improvements rather than broad new features. That doesn't make the work less important: one of the bug fixes to the type inference engine last month caught a previously unseen bug in the core Boba libraries!
-
September 2022 monthly "What are you working on?" thread
August was a surprisingly productive month for the Boba compiler. A few highlights:
-
August 2022 monthly "What are you working on?" thread
The next large feature for Boba (a general-purpose concatenative language) is language integrated property tests.
-
Soft-launch Boba: a statically-typed concatenative programming language
That's a good question! I wrote up some of my thoughts on the benefits of Go as a backend, but there's also a historical component here. The first backend I was experimenting with was compile-to-C plus a C-based runtime. Go was closer to C than C# for what I needed at the time and I thought had a nicer concurrency story as a backend.
What are some alternatives?
xvm - Ecstasy and XVM
wort - A core concatenative programming language with variables and first-rank polymorphic type inference
awesome-low-level-programming-languages - A curated list of low level programming languages (i.e. suitable for OS and game programming)
schmu - A WIP programming language inspired by ML and powered by LLVM
butter - A tasty language for building efficient software. WIP
mlscript - The MLscript programming language. Functional and object-oriented; structurally typed and sound; with powerful type inference. Soon to have full interop with TypeScript!
Argon - Argon programming language
MLStyle.jl - Julia functional programming infrastructures and metaprogramming facilities
Vale - Compiler for the Vale programming language - http://vale.dev/
awesome-programming-languages - The list of an awesome programming languages that you might be interested in