The Haskell Unfolder Episode 47: Pure parallelism. ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/trDqqZldxQA #Haskell #FunctionalProgramming
The Haskell Unfolder Episode 47: Pure parallelism. ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/trDqqZldxQA #Haskell #FunctionalProgramming
Type-level programming for safer resource management. ~ Fraser Tweedale. https://frasertweedale.github.io/blog-fp/posts/2025-07-19-type-nats-and-constraints.html #Haskell #FunctionalProgramming
Cabal 3.16 is released with numerous quality-of-life improvements! https://blog.haskell.org/cabal-3-16-0-0-release/
Inlining in the Glasgow Haskell Compiler: empirical investigation and improvement. ~ Celeste Hollenbeck. https://era.ed.ac.uk/bitstream/handle/1842/43690/Hollenbeck2025.pdf #Haskell #FunctionalProgramming
Four ways of declaring interfaces in Haskell. ~ Marco Perone. https://marcosh.github.io/post/2025/07/22/four-ways-of-declaring-interfaces-in-haskell.html #FunctionalProgramming #haskell
Competitive programming in Haskell: sparse tables. ~ Brent Yorgey. https://byorgey.github.io/blog/posts/2025/07/18/sparse-table.html #Haskell #FunctionalProgramming
Readings shared July 23, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/24-readings_shared_07-23-25 #AI #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Math
Update deeply nested data structures immutably in Java without drowning in boilerplate using higher-kinded-j and functional Optics.
Traverse complex records with Lenses, Traversals, and Prisms, all type-safe, compile-time generated, and fully immutable.
Full example: https://higher-kinded-j.github.io/optics/auditing_complex_data_example.html
Explore more: https://higher-kinded-j.github.io/
Readings shared July 22, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/23-readings_shared_07-22-25 #FunctionalProgramming #Haskell #IMO #ITP #LLMs #Math #Rocq #Rust
New in PHP 8.5: The Pipe Operator
One of the most exciting additions in PHP 8.5 is the pipe operator. It enables more readable and expressive code when working with nested function calls.https://chrastecky.dev/programming/new-in-php-8-5-the-pipe-operator
Comparing codes: Image rotation (Mutable arrays in Haskell). ~ James Bowen. https://mmhaskell.com/blog/2025/7/21/image-rotation-mutable-arrays-in-haskell #Haskell #FunctionalProgramming #Rust
Readings shared July 21, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/22-readings_shared_07-21-25 #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #Rocq
Using new Optics support in #higher-kinded-j is easy, just add a simple annotation to automatically generate Lenses, Prisms, and Isomorphisms then compose lenses for incredibly readable, deep updates:
// Create a "shortcut" lens by composing others
var userToStreetName = UserLenses.address()
.andThen(AddressLenses.street())
.andThen(StreetLenses.name());
// Perform the deep update in a single line
User updatedUser = userToStreetName.set("New Street", user);
You can perform effectful operations (failable, async, stateful). The library is also fully extensible, allowing you to define custom Traversal instances for any data structure.
Check out the docs, with loads of examples to get you started!
https://higher-kinded-j.github.io/
Power up your functional programming in Java!
The new Optics support in #higher-kinded-j is here, built directly on our powerful Higher-Kinded Types simulation. This brings a new level of abstraction and power to your code, not just cleaner data access.
Add a simple annotation, and get automatically generated Lenses, Prisms, Isomorphisms and Traversals.
Why it's a game-changer:
- Built on HKT: Unlocks powerful, abstract, and effectful operations.
- Zero-Boilerplate: Annotation-based generation of powerful tools.
- Extensible & Composable: A flexible foundation for your data manipulation needs.
Check out the docs, with loads of examples to get you started!
https://higher-kinded-j.github.io/
#Exercitium: Problemas de programación con Haskell de mayo de 2020. https://jaalonso.github.io/exercitium/2020/05 #Haskell #FunctionalProgramming #Math
#Exercitium: Problemas de programación con Haskell de junio de 2020. https://jaalonso.github.io/exercitium/2020/06 #Haskell #FunctionalProgramming
The calculated typer (Functional Pearl). ~ Zac Garby, Patrick Bahr, Graham Hutton. https://people.cs.nott.ac.uk/pszgmh/typer.pdf #Haskell #FunctionalProgramming
Readings shared July 18, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/19-readings_shared_07-18-25 #ACL2 #CompSci #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Rocq #Rust #Teaching
I’m occasionally forced to work in #Excel at work. Having done some #FunctionalProgramming, I am both frightened and frightening when wielding the formula bar.