Lmst

#functionalprogramming

Still writing Visitor patterns and manual tree recursion in Java?

Part 4 of Functional Optics for Modern Java shows how the Focus DSL turns this into fluent, composable paths:

.departments().each().employees().each().salary()
No reconstruction boilerplate. Just declare what you want.

We build a complete expression optimiser using the Focus DSL.

https://blog.scottlogic.com/2026/01/30/traversals-rewrites.html

#Java #FunctionalProgramming #Optics #JVM

#Exercitium: Particiones de enteros positivos. https://jaalonso.github.io/exercitium/posts/2015/02/05-particiones_de_enteros_positivos/ #Haskell #FunctionalProgramming #Math

Readings shared January 29, 2026. https://jaalonso.github.io/vestigium/posts/2026/01/30-readings_shared_01-29-26 #AI #AI4Math #FunctionalProgramming #Hakell #ITP #IsabelleHOL #LLMs #LeanProver #Math

Not in Bangalore but want to attend an #FPIndia meetup? No problems! Join us for an online meetup open to all. RSVP at hasgeek.com/fpindia/fpin... #FunctionalProgramming #India #Meetup #Haskell #PureScript #Erlang #Scala #OCaml #TypeScript #Rust #Clojure

FPIndia Online - Feb 2026

Competitive pure functional languages. ~ Sami Badawi. https://blog.samibadawi.com/2026/01/competitive-pure-functional-languages.html #FunctionalProgramming #Hakell #LeanProver

#Exercitium: Mínimo producto escalar. https://jaalonso.github.io/exercitium/posts/2015/02/04-minimo_producto_escalar/ #Haskell #FunctionalProgramming #Math

Rooibos has a website! https://rooibos.run

#MVU #TheElmArchitecture #TEA #RatatuiRuby #TUI #TerminalUI #TerminalApps #Ruby #Programming #FunctionalProgramming #ModelViewUpdate #Software #SoftwareEngineering

$A screenshot of the Rooibos website. The header has a red cup of tea as a logo, with Rooibos and a navigation bar including "Get Started," "The Pattern," "Testing," "Ecosystem," "API ->," "Guides ->," and "Examples ->." The visible part of the webpage says: See it in action ## Hello, MVU The simplest Rooibos app. Press any key to increment the counter. Press Ctrl+C to quit. require "rooibos" module Counter # Init: How do you create the initial model? Init = -> { 0 } # View: What does the user see? View = -> (model, tui) { tui.paragraph(text: <<~END) } Current count: #{model}. Press any key to increment. Press Ctrl+C to quit. END # Update: What happens when things change? Update = -> (message, model) { if message.ctrl_c? Rooibos::Command.exit elsif message.key? model + 1 end } end Rooibos.run(Counter) That's the whole pattern: Model holds state, Init creates it, View renders it, and Update changes it. The runtime handles everything else. #### Get Started * Why Rooibos? * Installation * Ruby Primer * Quickstart * Tutorial: Build a File Browser #### Learn the Essentials * The MVU Pattern * Models & State * Messages * Update Functions * Views * Commands > 60 lines of code Build a Complete File Browser Navigate directories, open files, handle errors, style content, vim keybindings — all working.$

#Exercitium: Mayor capicúa producto de dos números de n cifras. https://jaalonso.github.io/exercitium/posts/2015/02/03-mayor_capicua_producto_de_dos_numeros_de_n_cifras/ #Haskell #FunctionalProgramming #Math

In Part 3 we build an Abstract Syntax Tree for an Expression Language using latest #Java and #Higher-Kinded-J #FunctionalProgramming #DOP
https://blog.scottlogic.com/2026/01/23/ast-basic-optics.html

#Exercitium: Siguiente elemento en una lista. https://jaalonso.github.io/exercitium/posts/2015/02/02-siguiente_elemento_en_una_lista/ #Haskell #FunctionalProgramming

📢 Ready to try Scala 3.8?

Full release notes: https://www.scala-lang.org/news/3.8/
⚠️ Use 3.8.1 (not 3.8.0) — a runtime regression was identified and fixed.
#Scala #Programming #FunctionalProgramming

CFP Yay‑Yay Conf (J On The Beach, Lambda World, Wey Wey Web) mở! Sự kiện 29‑30/10/2026 tại Torremolinos, Malaga, Tây Ban Nha. Đăng bài về dự án open‑source, kinh nghiệm hệ thống phân tán, lập trình hàm hoặc UI. Hạn nộp: 31/3. #CFP #Conference #OpenSource #DistributedSystems #FunctionalProgramming #UI #SựKiện #TinTuc

http://www.confeti.app

#Arrow's #Either: The #Kotlin Chapter of our Scary Words Saga

https://cekrem.github.io/posts/arrow-either-kotlin-functors-monads/

#FunctionalProgramming

[Show GN: Show GN: 팀 실무에서 쓰기 쉬운 Pipe 중심 TypeScript 함수형 유틸 fp-pack

fp-pack은 팀 실무 환경에서 쓰기 쉬운 Pipe 중심 TypeScript 함수형 유틸리티로, 복잡한 추상화 없이 데이터 흐름을 직관적으로 표현할 수 있도록 설계되었습니다. Plain Value 중심의 파이프라인, 낮은 학습 곡선, 타입 안전성 등을 핵심 원칙으로 하며, 함수형 프로그래밍의 장점을 실무에 적용할 수 있도록 지원합니다.

https://news.hada.io/topic?id=25984

#typescript #functionalprogramming #pipe #fppack #utilities

#Exercitium: Números polidivisibles. https://jaalonso.github.io/exercitium/posts/2015/01/30-numeros_polidivisibles/ #Haskell #FunctionalProgramming #Math

Readings shared January 19, 2026. https://jaalonso.github.io/vestigium/posts/2026/01/20-readings_shared_01-19-26 #AI #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #LogicProgramming #Math #Prolog #RocqProver

Some Haskell idioms we like. ~ Jack Kelly. https://exploring-better-ways.bellroy.com/some-haskell-idioms-we-like.html #Haskell #FunctionalProgramming

Logic programming with extensible types. ~ Ivan Perez, Angel Herranz. https://arxiv.org/abs/2601.03836v1 #Haskell #FunctionalProgramming #Prolog #LogicProgramming

Louis Pilfold ha passato sei anni a costruire un linguaggio che non ha l'istruzione if. Niente. Zero. E funziona sulla stessa VM che fa girare WhatsApp, Discord e @RabbitMQ.

Nella Stack Overflow Developer Survey 2025 è risultato il secondo linguaggio più amato dagli sviluppatori, con il 70% che vuole continuare a usarlo.

In questa puntata vi racconto cos'è Gleam ✨, perché la BEAM è frizzantissima, e come mai un linguaggio funzionale type-safe potrebbe essere la vostra prossima salvezza dall'AI slop.

#gleam #erlang #functionalprogramming #typescript #backend

https://youtu.be/fu6u56qpPq0?si=cEQpn6eHjo_n5pBB