When I first got truly comfortable with TypeScript, there was no turning back. It quickly became such a crucial part of my workflow that now, whenever I'm stuck using plain JavaScript, there's always that nagging worry—did I overlook something important? TypeScript offers a level... 

#Development #advancedcode #advanceddevelopers #bitstips #code #programming #programminglanguages #typescript
https://bitskingdom.com/?p=22805

It turns out that sum types/discriminated unions were already invented in 1966 by Tony Hoare. We could have them all along if Bjarne Stroustrup decided to include it in C++, but he didn't to encourage use of virtual functions.

https://youtu.be/wo84LFzx5nI?t=2901

#programminglanguages #plhistory

Watermelon compilation: https://youtu.be/Vy6zpVFMiBI

#tic80 #p5js #rive #desmos #watermelon #watermelons #animation #animation2d #animated #art #artist #artistsonmastodon #pixel #pixelart #pixelartist #pixelartanimation #pixelanimation #vector #vectorart #vectorgraphics #vectoranimation #compilation #youtube #youtuber #youtubechannel #nerd #geek #math #maths #mathematics #code #coding #creativecoding #creativecodingart #programming #program #programminglanguages #scripting #2d #2danimation

I'm posting this mostly for my own benefit; this is discussing a language feature I'm unfamiliar with.

What I find interesting is that just like some ideas are in the air and find their landing point, so too do some ideas just fail to find the right implementation.

So time to look up sum types (or disjoint unions or...).

#ProgrammingLanguages

"...language features are easily broken, mis-copied, forgotten or intentionally omitted due to the designer's pet beliefs."

https://graydon2.dreamwidth.org/318788.html

Binding Application in Idris

https://andrevidela.com/blog/2025/binding-application/

#HackerNews #BindingApplication #Idris #FunctionalProgramming #Haskell #ProgrammingLanguages #TypeSystems

All about the new pipe operator in PHP 8.5:

https://thephp.foundation/blog/2025/07/11/php-85-adds-pipe-operator/

#PHP #programming #programminglanguages

Jank Programming Language

https://jank-lang.org/

#HackerNews #JankProgrammingLanguage #JankLang #ProgrammingLanguages #TechNews #CodingCommunity

Tree Borrows

https://plf.inf.ethz.ch/research/pldi25-tree-borrows.html

#HackerNews #TreeBorrows #Research #PLDI25 #ProgrammingLanguages #HackerNews #Innovation

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