Functional pearl: How much is in a square? Calculating functional programs with squares. ~ Jose Nuno Oliveira. https://www.cambridge.org/core/services/aop-cambridge-core/content/view/F48258008F47DC9F53AA2E61B4E511A7/S0956796825000012a.pdf/how_much_is_in_a_square_calculating_functional_programs_with_squares.pdf #FunctionalProgramming #Haskell

Readings shared February 28, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/28-readings_shared_02-28-25 #AI #CompSci #DeepLearning #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LLMs #LeanProver #Logic #Math

I wrote a small #PureScript DSL to compute taxes. Why?

1. Tax season is here, and all the online calculators are terrible!

2. The Indian tax code has different "tax regimes" that you can opt for and I wanted to compare how the tax liability changes with your choice. Hence a DSL, and not merely a calculator.

3. Writing a tax calculator is the best way to understand the nuances of the tax code.

4. Writing DSLs is fun!

Code here - https://forge.id1.in/aj/purescript-taxes

#India #Taxes #TaxCalculation #FunctionalProgramming

PPA: Un asistente de demostración para lógica de primer orden con extracción de testigos usando la traducción de Friedman. ~ Manuel Panichelli. https://gestion.dc.uba.ar/media/academic/grade/thesis/tesis-1.0.1.pdf #Haskell #FunctionalProgramming #Logic

So glad to be having @dhinojosa with us @ChicagoJUG @ChicagoKUG tonight. He's giving us a very nice revisit of #java #functionalprogramming #DesignPattern We welcome our friends from around the world for the first time #virtualJUG

Common Lisp

｢ Common Lisp and Smalltalk are some of the last vestiges of a lost culture of programming that was intensely focused on feedback and live systems. I wouldn't claim that those cultures are superior to engineering cultures of today but I would say they prioritized a different set of values and they have much to learn from as a result ｣

https://kingcons.io/notes/common-lisp.html

LISP (1958) introdujo el recolector de basura, funciones como datos de primera clase y muchas otras características "modernas". La mayoría de innovaciones en lenguajes de programación ya existían hace 60+ años.

LISP (1958) introdujo el recolector de basura, funciones como datos de primera clase y muchas otras características "modernas". La mayoría de innovaciones en lenguajes de programación ya existían hace 60+ años.

Over 200 FREE videos — no paywalls, no commercials — in six free Scala, Functional Programming, and ZIO training courses. And more coming soon ... www.learnscala.dev #scala #functionalprogramming

Readings shared February 24, 2025. https://jaalonso.github.io/vestigium/posts/2025/02/24-readings_shared_02-24-25 #AI #CategoryTheory #Clojure #FunctionalProgramming #Haskell #ITP #LLMs #LeanProver #Lisp #Logic #Math

Fastest programming tutorial I know.
#programming #functionalprogramming #clojure #lisp

In the spirit of (not-that-radical, unfortunately) openness (inspired by none other than @TodePond,) let me share a thing I've been quietly working on for the last couple of months: #Lamber, my pure #LambdaCalculus -compiling #FunctionalProgramming language inspired by #Lua and #haskell

https://github.com/aartaka/lamber

I fixed it!

Enemies now move, space and align properly and dynamically based on line length and position, and for good measure I made the whole project follow some #FunctionalProgramming paradigms because the original issue was caused by the pitfalls of mutable data...
Thank you so much everyone for the motivation to overcome this silly issue; my confidence was restored. :>

#gamedev #pico8 #indiedev

Special thanks to @dbat @efi @Joss and @crabbitslater for the hints and motivating words.

The Haskell road to logic, math and programming. ~ Kees Doets, Jan van Eijck (2004). https://fldit-www.cs.tu-dortmund.de/~peter/PS07/HR.pdf #Haskell #FunctionalProgramming #Loggic #Math

Bind and traverse with Kleisli morphisms. ~ Murat Kasimov. https://muratkasimov.art/Ya/Articles/Bind-and-traverse-with-Kleisli-morphisms #CategoryTheory #Haskell #FunctionalProgramming

Elements of Clojure. ~ Zachary Tellman. https://elementsofclojure.com/manuscript/elements_of_clojure.pdf #Clojure #Lisp #FunctionalProgramming

Why Clojure? — https://gaiwan.co/blog/why-clojure/
#HackerNews #Clojure #Programming #FunctionalProgramming #TechCommunity #DeveloperInsights

Sharing my scrappy fiddles after deciding to pick up this project that had a 2 year hiatus.

https://github.com/thgs/functional

Any comments, issues, discussions or even code is welcome.

‪‬ Functional Programming in #Scala part 3 of 3 about to start (9am Pacific), you can watch on Twitch too:

‪twitch.tv/softinio‬

There will be mentions of #Monads and #Effect systems!

To hear about our future online and in person events at Bay Area Scala Subscribe to our Luma:

https://lu.ma/scala