jbzfn, 23 hours ago to python

🐍 Statically Typed Functional Programming with Python 3.12

https://wickstrom.tech/2024-05-23-statically-typed-functional-programming-python-312.html

#Python #FunctionalProgramming

aeveltstra, 1 day ago (edited 10 hours ago) to javascript

Hey there, #javascript folks and #functionalprogramming people! Would you argue javascript is, or isn’t a functional programming language? And: why?

jbzfn, 1 day ago to FunctionalProgramming

⚡Try Clojure

https://tryclojure.org/

#Clojure #REPL #FunctionalProgramming

jbzfn, 1 day ago to typescript

🦾 Functional TypeScript #1: Algebraic Data Types | Injuly

"In functional programming, algebraic types are so ubiquitous that you would be hard pressed to find a language that doesn't support them. Strangely though, nothing about them demands that a language be functional by paradigm. That imperative languages have avoided ADTs for decades seems almost an accident."

https://injuly.in/blog/ts-adt/

#TypeScript #FunctionalProgramming #ADT

Jose_A_Alonso, 2 days 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, 6 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, 9 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, 11 days ago to FunctionalProgramming

Frunk, #FunctionalProgramming toolbelt in #Rust

https://github.com/lloydmeta/frunk

Jose_A_Alonso, 13 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, 14 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, 18 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, 23 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, 25 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, 26 days ago to FunctionalProgramming

Flatmaps and do-notation, but different >.>

---

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

#fp #roclang #functionalProgramming

jbzfn, 29 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, 1 month 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, 1 month 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, 1 month 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

Jose_A_Alonso, 1 month ago to FunctionalProgramming

Benefits of functional programming. ~ Ada Beat. https://adabeat.com/fp/benefits-of-functional-programming/ #FunctionalProgramming

Jose_A_Alonso, 1 month ago to FunctionalProgramming

Getting your Haskell executable statically linked with Nix. ~ Tom Sydney Kerckhove. https://cs-syd.eu/posts/2024-04-20-static-linking-haskell-nix #FunctionalProgramming #Haskell #Nix

bart, 1 month ago to FunctionalProgramming

fp-ts brought advanced #FunctionalProgramming to #TypeScript. Now a related project implementing an effect system for TypeScript (effect-ts) seems to have gotten a lot of VC money. Interesting... Docs look very polished, not sure how they will make money though.

https://effect.website/

Jose_A_Alonso, 1 month ago to haskell

Core inspection. ~ Oleg Grenrus. https://oleg.fi/gists/posts/2024-04-12-core-inspection.html #Haskell #FunctionalProgramming

techtalksweekly, 1 month ago to Java

Tech Talks Weekly #10 is out now! See the featured talks in the 🧵👇
https://techtalksweekly.substack.com/p/tech-talks-weekly-10
#java #javascript #python #rust #elixir #rabbitmq #wasm #goto #ndc #kubecon #rustnation

Jose_A_Alonso, 1 month ago to haskell

The Haskell Unfolder Episode 23: specialisation. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/ksW04Cl2dgo #Haskell #FunctionalProgramming