Jose_A_Alonso, 2 hours ago to haskell

The Haskell Unfolder Episode 26: Variable-arity functions. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/5wbgRlzJYUU #Haskell #FunctionalProgramming

leanpub, 3 days ago to php

Thinking Functionally in PHP by Larry Garfield is free with a Leanpub Reader membership! Or you can buy it for $25.00! http://leanpub.com/thinking-functionally-in-php #Php #FunctionalProgramming

Jose_A_Alonso, 7 days ago to haskell

The Haskell Unfolder Episode 25: from Java to Haskell. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/YwshlQXKO80 #Haskell #FunctionalProgramming

frankel, 8 days ago to FunctionalProgramming

Frunk, #FunctionalProgramming toolbelt in #Rust

https://github.com/lloydmeta/frunk

Jose_A_Alonso, 11 days ago to FunctionalProgramming

The ultimate guide to Haskell Strings. ~ Julian Ospald. https://hasufell.github.io/posts/2024-05-07-ultimate-string-guide.html #FunctionalProgramming #Haskell

haskell, 12 days ago to haskell

The GHC developers are very pleased to announce the release of GHC 9.10.1! 🎉

On the menu:
→ GHC2024 language edition
→ Linear let and where
bindings
→ Annotation of exceptions with backtraces
→ Required type arguments for functions
→ Javascript FFI support in the WebAssembly backend
… and many more!

https://discourse.haskell.org/t/ghc-9-10-1-is-now-available/9523

#Haskell #FunctionalProgramming #LinearTypes #DependentTypes

jbzfn, 16 days ago to FunctionalProgramming

🐫 Pretty Printing in OCaml: A Format Primer
➥ Vladimir Keleshev

https://keleshev.com/pretty-printing-in-ocaml-a-format-primer

#ocaml #functionalprogramming

Jose_A_Alonso, 21 days ago to haskell

The Haskell Unfolder Episode 24: generic (un)folds. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/QTgRKWGDVr0 #Haskell #FunctionalProgramming

haskman, 22 days ago to javascript

Since the #Moonbit #JavaScript backend post (https://www.moonbitlang.com/blog/js-support) is trending, I thought I'd compare #PureScript backend optimizer (https://github.com/aristanetworks/purescript-backend-optimizer) output to see how it fares. The results were pretty good!

With basically this PureScript code -

run = fromArray  
 >>> flatMapF (fromArray <<< _.members)  
 >>> filterF _.gender  
 >>> mapF (\x -> min 100 (x.score + 5))  
 >>> mapF grade  
 >>> filterF (_ == 'A')  
 >>> foldF (\_ x -> x+1) 0  

the benchmark results are as follows. PureScript is roughly 6x faster than plain JS, and 6x slower than Moonbit output ( -

┌─────────┬──────────────┬─────────────┬────────────────────┬──────────┬─────────┐  
│ (index) │ Task Name │ ops/sec │ Average Time (ns) │ Margin │ Samples │  
├─────────┼──────────────┼─────────────┼────────────────────┼──────────┼─────────┤  
│ 0 │ 'Moonbit' │ '34,67,542' │ 288.38869989829305 │ '±0.06%' │ 1733772 │  
│ 1 │ 'Plain Js' │ '74,816' │ 13365.983827421464 │ '±0.54%' │ 37409 │  
│ 2 │ 'Kotlin Js' │ '1,90,241' │ 5256.474017304151 │ '±0.38%' │ 95121 │  
│ 3 │ 'PureScript' │ '4,99,456' │ 2002.1768597161156 │ '±0.70%' │ 249729 │  
└─────────┴──────────────┴─────────────┴────────────────────┴──────────┴─────────┘  

#FunctionalProgramming #Frontend #Benchmarks

vascorsd, 23 days ago to FunctionalProgramming

Flatmaps and do-notation, but different >.>

---

Functional Semantics in Imperative Clothing - https://rtfeldman.com/imperative-clothing

#fp #roclang #functionalProgramming

jbzfn, 27 days ago to FunctionalProgramming

「 CakeML is a functional programming language and an ecosystem of proofs and tools built around the language. The ecosystem includes a proven-correct compiler that can bootstrap itself 」

https://cakeml.org

#CakeML #FunctionalProgramming #PLT #CompSci

vascorsd, 27 days ago to haskell

Bluefin is a Haskell effect system with a new style of API.

https://hackage.haskell.org/package/bluefin-0.0.4.3/docs/Bluefin.html

#haskell #fp #functionalprogramming #programming #effectSystems

furmans, 28 days ago to FunctionalProgramming

We are super glad to inform you that LAMBDA WORLD CADIZ is BACK...

🗓️2-4 October 2024
📌Palacio de Congresos de Cadiz
🎟️Early Camarón at €150
🪩lambda.world

#functionalprogramming #Scala #Erlang #Haskell #Clojure #Kotlin #fsharp

Should the best Rock-Funky-Hard SolYNaranjaS band make a noise there...? Should not ?

leanpub, 29 days ago to FunctionalProgramming

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