The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language. - wren-lang/wren

A Necessary Evil

Today we’re excited to announce the first alpha release of CatColab 0.2: Wren. CatColab is software for making models of the world together.

Novel developments in theoretical and applied category theory enable users to design database schemas, create casual flows, and construct manifold PDEs using a single fluid syntax, and migrate between these different modes using functors.

Today we’re excited to announce the first pre-alpha release of our new software CatColab 0.1: Hummingbird. CatColab is software for making models of the world together.

In computer science, coinduction is a technique for defining and proving properties of systems of concurrent interacting objects.

Coinduction is the mathematical dual to structural induction. Coinductively defined data types are known as codata and are typically infinite data structures, such as streams.

As a definition or specification, coinduction describes how an object may be “observed”, “broken down” or “destructed” into simpler objects. As a proof technique, it may be used to show that an equation is satisfied by all possible implementations of such a specification.

language features are easily broken, mis-copied, forgotten or intentionally omitted due to the designer’s pet beliefs. Progress is very circuitous, if it exists at all!

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language. - wren-lang/wren

The Wren Programming Language. Wren is a small, fast, class-based concurrent scripting language. - wren-lang/wren

A document explaining efforts by Google to add a compile time borrow checker to C++, and how the language’s semantics get in the way of that.

In which the author explicitly says “I am ignoring wrapping errors here to focus on the point I am trying to make” and the top comments are all “you idiot, you should be wrapping your errors.”

Reading comprehension is not strong.

One interface to rule them all One interface to find them One interface to bring them all And in the darkness bind them In the land of the ABI where the shadows lie

A good meditation on explicitness in languages and in Rust specifically.