The presentation recordings from DYNA Fall 2025 are now being published. Watch (or rewatch!) "The Data Science Journey" by Josh David at https://www.youtube.com/watch?v=KGxWpFHbINY
#FunctionalProgramming
Readings shared December 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/15-readings_shared_12-14-25 #AI #FunctionalProgramming #Haskell #ITP #LeanProver #Math #Rocq
The Haskell Unfolder Episode 52: Bidirectional parsing and printing (of JSON). ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/z9V59Y0VDcg #Haskell #FunctionalProgramming
A Code Centric Journey Into the Gleam Language by Giacomo Cavalieri
Now I’m really curious. Also, every introduction to a programming language should be modeled on Giacomo’s layout. Just enough information to not bore seasoned programmers but not too much to lose the overall understanding of the system. Brilliant.
Practical FP in Scala + Functional event-driven architecture https://leanpub.com/b/pfp-feda-scala by Gabriel Volpe is the featured bundle on the Leanpub homepage! https://leanpub.com #FunctionalProgramming #Scala #Software
The following 2 books are included in this bundle...
Functional Event-Driven Architecture and Practical FP in Scala
Practical FP in Scala (A hands-on approach) & Functional event-driven architecture, aka FEDA, (Powered by Scala 3), together as a bundle!
Find it on Leanpub!
Readings shared December 10, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/11-readings_shared_12-10-25 #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math
The new Focus DSL in Higher-Kinded-J makes working with deeply nested records a breeze.
check it out: https://higher-kinded-j.github.io/latest/optics/focus_dsl.html
![- Simple record definitions with @GenerateFocus annotation
- Fluent method chaining: .hq().city().set(...)
- Immutable updates that return new objects
- Collection traversal with .each().getAll()
- Bulk transformations with .modifyAll()
// Define your immutable data
@GenerateFocus
record Company(String name, Address hq) {}
@GenerateFocus
record Address(String city, List<String> phones) {}
Company acme = new Company("Acme", new Address("London", List.of("555-1234", "444-4321")));
// Navigate & modify deep nested data with a fluent DSL
Company updated = CompanyFocus.hq() // Focus on headquarters
.city() // Then the city
.set("Newcastle", acme); // Immutably update
// Traverse collections effortlessly
List<String> allPhones = CompanyFocus.hq()
.phones()
.each() // Focus on each phone
.getAll(acme); // → ["555-1234","444-4321"]
// Transform all elements at once
Company withAreaCode = CompanyFocus.hq()
.phones()
.each()
.modifyAll(p -> "+44-" + p, acme); // → phones: ["+44-555-1234", "+44-444-4321"]](https://files.mastodon.social/cache/media_attachments/files/115/697/364/749/248/314/original/0e94425d2567ccb4.png)
International Conference on Functional Programming (ICFP) 2026, August 24-29, 2026 Indiana University, Indianapolis, US @icfp_conference #FunctionalProgramming
Readings shared December 9, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/10-readings_shared_12-09-25 #AI #FunctionalProgramming #HOL4 #HOL-Light #Haskell #ITP #IsabelleHOL #LeanProver #Math
🎯 New in Higher-Kinded-J: Focus DSL for Optics!
Easily navigate and transform deeply nested data with fluent, type-safe paths:
Company updated = CompanyFocus
.headquarters()
.city()
.modify(String::toUpperCase, company);
✨ Auto-generated from @GenerateFocus
✨ IDE autocomplete at every step
✨ Works with Optional, List, Map fields
https://higher-kinded-j.github.io/latest/optics/focus_dsl.html
The presentation recordings from DYNA Fall 2025 are now being published. Watch (or rewatch!) "Static Analysis of APL for Tooling and Compliance" by Aaron Hsu and Brandon Wilson at https://www.youtube.com/watch?v=d4pRvKMcp_g
Readings shared December 8, 2025. https://jaalonso.github.io/vestigium/posts/2025/12/09-readings_shared_12-08-25 #FunctionalProgramming #Haskell #ITP #LeanProver #Math
Didn't know that functional programming is such important before
X-mas comes early this year: the ICFP 2025 talks are now on YouTube.
You can catch my talk on "Domain-specific tensor languages" below. We explore implementing tensor calculus in #Haskell, supporting both Einstein notation and Penrose diagrams to model things like General Relativity and black holes. 🕳️🚀
My talk: https://www.youtube.com/watch?v=04cxfddDwuI
Full Playlists:
🔗 ICFP papers: https://www.youtube.com/watch?v=COD4tnVtHoQ&list=PLyrlk8Xaylp4WyLpPH40RBw-kZSdkpkVs
🔗 JFP First papers: https://www.youtube.com/watch?v=oZLSDFfpHp0&list=PLyrlk8Xaylp68qJ-kEeXEPne0ePPwNGFi
https://mastodon.acm.org/@sigplanav/115667300324636252
cc @sigplanav (https://sigplan.org)
#icfpsplash25 #ProgLang #TensorCalculus #Physics #FunctionalProgramming
Functional Python programming in introductory computer science courses. ~ Rajshekhar Sunderraman. https://arxiv.org/abs/2512.03492v1 #Python #FunctionalProgramming
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst