jbzfn, 1 day 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 20 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, 2 days ago to FunctionalProgramming

⚡Try Clojure

https://tryclojure.org/

#Clojure #REPL #FunctionalProgramming

jbzfn, 2 days 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, 19 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, 1 month 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