#Exercitium: Mayor producto de n dígitos consecutivos de un número. https://jaalonso.github.io/exercitium/posts/2015/02/12-mayor_producto_de_n_digitos_consecutivos_de_un_numero/ #Haskell #FunctionalProgramming #Math

#nixos is observable manually as in i don't need to write tests to check if it is behaving as intended i can manually use it and figure it out it is written in nix what are similar things written in #rust #wasm and #haskell such that behavior of the programs can be observed manually without writing tests what other such #functionalprogramming languages re out there

[TypeScript로 이해하는 펑터, 어플리케이티브 펑터, 모나드

TypeScript를 사용하여 펑터, 어플리케이티브 펑터, 모나드의 개념과 그 한계를 설명하며, 모나드의 수학적 배경과 실용적인 적용 사례를 다룬 기사입니다.

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

#typescript #functionalprogramming #monad #functors #applicativefunctors

I'm exploring a possibility to define an #isomorphism between #FunctionalProgramming and #ObjectOrientedProgramming #OOP based on prev. defined dimensions of simplicity. We've possibly "established" and isolated an inverse relation between deviating memory behavior in FP and OOP based on calling in-place updates an optimization that can be undone for base-case.

Grok is now calling FP "historical" programming and OOP "present-oriented".

I'm liking this AI. 😋

I think I'm not that into #functionalprogramming actually. It's hard to be efficient with it.

The evolution of a Lean programmer. https://unnamed.website/posts/evolution-lean-programmer/ #ITP #LeanProver #FunctionalProgramming

Hello, Haskell: Getting started in 2026. ~ Lukasz Tymoszczuk. https://lukastymo.com/posts/025-hello-haskell-a-hands-on-lab-for-2026/ #Haskell #FunctionalProgramming

"Five-Point Haskell": Total depravity (and defensive typing). ~ Justin Le. https://blog.jle.im/entry/five-point-haskell-part-1-total-depravity.html #Haskell #FunctionalProgramming

#Exercitium: Diagonales principales de una matriz. https://jaalonso.github.io/exercitium/posts/2015/02/11-diagonales_principales/ #Haskell #FunctionalProgramming #Math

#furry #javascript #functionalprogramming

#Exercitium: Segmentos de longitud dada. https://jaalonso.github.io/exercitium/posts/2015/02/10-segmentos_de_longitud_dada/ #Haskell #FunctionalProgramming

I added parallel builds to my #OCaml build system.

https://www.alicecaml.org/blog/parallel-alice/

#FunctionalProgramming

#Exercitium: Reconocimiento de potencias de 2. https://jaalonso.github.io/exercitium/posts/2015/02/09-reconocimiento_de_grandes_potencias_de_2/ #Haskell #FunctionalProgramming #Math

#Exercitium: Menor número triangular con más de n divisores. https://jaalonso.github.io/exercitium/posts/2015/02/06-menor_numero_triangular_con_mas_de_n_divisores/ #Haskell #FunctionalProgramming #Math

https://arbuh.medium.com/why-i-am-moving-away-from-scala-7a9d3dca17b9

#scala #jvm #functionalprogramming

A GenServer encapsulates state and logic inside a process. It exists to reduce errors in concurrent systems.

#FunctionalProgramming #ElixirLang

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