Packed Data support in Haskell

Packed Data x Haskell = Portable(Type-safety + performance)

Arthi-chaud

For those familiar on the matter…

What's your preferred syntax for the pipeline operator?

#FunctionalProgramming #PipelineOperator #FSharp #HackLanguage #Hack #Facebook #Microsoft #ProgrammingLanguages #Programming #Coding

F# style
Hack style
Poll ends at .
Woo-hoo, my final FREE video training course is now available: “An Introduction to ZIO Kafka.” 🚀 This course features 14 short videos to help you get up and running with the ZIO Kafka library. 👉 www.learnscala.dev #scala #functionalprogramming
Learn Scala with Alvin Alexander

Learn Scala, functional programming, and ZIO with Alvin Alexander.

LearnScala.dev

Graphics livecoding in Common Lisp | Kevin Galligan

「 Some Lisps, like Common Lisp, have a powerful feature that tends to go underappreciated amidst all the talk about macros: the ability to recompile your program while it's running, without restarting it. For the purposes of this post, and because it sounds cool, let's call this ability livecoding 」

https://kevingal.com/blog/cl-livecoding.html

#lisp #livecoding #functionalprogramming

Graphics livecoding in Common Lisp

Developing a Boids program from scratch without restarting it.

A Functor is one of the basic structures in functional programming. Think of it like a container that allows transforming its contents with a function, while preserving the container's overall structure. #scala #functionalprogramming
Haskelling my Python (Reimplementing Haskell lazy infinite lists using Python generators). ~ Unnamed Website. https://unnamed.website/posts/haskelling-my-python/ #Python #Haskell #FunctionalProgramming #Math
Haskelling My Python

Reimplementing Haskell lazy infinite lists using Python generators

Functional Programming for the Object-Oriented Programmer by Brian Marick is free with a Leanpub Reader membership! Or you can buy it for $7.99! http://leanpub.com/fp-oo #Software #FunctionalProgramming
Functional Programming for the Object-Oriented Programmer

null

Leanpub

Bin gerade mindblown wie elegant #Arrow meinen einzigen Kritikppunkt an #Kotlin: Keine Checked #Exceptions, auf elegante weise, mit Typed Errors löst

https://arrow-kt.io/learn/summary/

#Programming #functionalprogramming

Summary | Arrow

Summary

Readings shared April 25, 2025

The readings shared in Bluesky on 25 April 2025 are Lean 4 formalization of the logic textbook "Logic Notes" by Lou van den Dries. ~ Will Bradley. #ITP #LeanProver #Logic #Math Neural theorem proving

Vestigium