Open-source CQL and its integrated development environment (IDE) performs data-related tasks — such as querying, combining, migrating, and evolving databases — using category theory, a branch of mathematics that has revolutionized several areas of computer science.

A great tutorial from ratfactor about the editing semantics of sam

Curry is a declarative multi-paradigm programming language which combines in a seamless way features from functional programming (nested expressions, higher-order functions, strong typing, lazy evaluation) and logic programming (non-determinism, built-in search, free variables, partial data structures). Compared to the single programming paradigms, Curry provides additional features, like optimal evaluation for logic-oriented computations and flexible, non-deterministic pattern matching with user-defined functions.

Let’s explore the most unusual lexical syntax of popular programming languages.

Very neat programming linguistics article.

Interesting principle:

Normally when code is simpler for a computer to decode, it’s more difficult for a human to understand, and FORTH is proof of that.

Use the right tool for the job.

via: https://buttondown.com/hillelwayne/archive/the-angels-and-demons-of-nondeterminism/

Do we care about the best case or the worst case?

because: https://fexpr.blogspot.com/2013/07/explicit-evaluation.html

Ever since I started this blog, I’ve had in mind to devote a post to the relationship between the strong theory of vau-calculus and the no-go theorem of Mitchell Wand’s 1998 paper The Theory of Fexprs is Trivial.

Not super invested in use case, but this is a nice demonstration of circumventing a no-go theorem and operational semantics.

In computer science, Scott encoding is a way to represent (recursive) data types in the lambda calculus. Church encoding performs a similar function. The data and operators form a mathematical structure which is embedded in the lambda calculus.

because: https://fexpr.blogspot.com/2013/07/explicit-evaluation.html

Programs should be valid as they are typed.

via: https://lobste.rs/s/ik0pjv/left_right_programming

There are endless debates online about Rust vs. Zig, this post explores a side of the argument I don’t think is mentioned enough.

The whole point of Rust is to use the borrow checker, but when you frequently need to do something the borrow checker doesn’t like… should you really be using the language?

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

A detailed explanation of why I chose OCaml as the ‘default’ programming language for every project.