Binding Application in Idris | André Videla

The new binding application in Idris helps write programs with dependent pairs and other structures with lambda as the trailing argument. This post is a small collection of uses I have for it.

PHP 8.5 Adds Pipe Operator: What it means

The PHP Foundation — Supporting, Advancing, and Developing the PHP Language

Best keywords to use for case-matching syntax? #ProgrammingLanguages
case ... of
0%
case ... match
0%
match ... case
88.9%
Something else (comment)
11.1%
Poll ended at .
jank programming language - Clojure/LLVM/C++

jank is a Clojure dialect on LLVM with a native runtime and C++ interop.

Tree Borrows

Programming Language Foundations Lab

Today I realized #Go and #Rust both have panics instead of exceptions and both originate from the second half of the 2000s.

These facts are now mentioned in https://gato-lang.dev/

If you have experience with Go or Rust, I'm interested in your thoughts on the lack of exceptions in these languages. It looks to me like an attempt to simplify things that eventually backfired, as evidenced for example by https://www.crowdstrike.com/en-us/blog/dealing-with-out-of-memory-conditions-in-rust/

#ProgrammingLanguages

Gato Programming Language

10 features of D that I love

New syntax just dropped in my toy programming language. ☺️

Not sure if I like it or hate it yet (especially the post-arguments form seen with the NEXT binding on the second picture), but I feels it's a lot easier to understand than the LET magic from before.

https://codeberg.org/bojidar-bg/project-world/commit/82b214e5757293fe32e0a11c03bb56820fc765d1

#programminglanguages