philip_schwarz, to programming
@philip_schwarz@fosstodon.org avatar

just uploaded to https://fpilluminated.com 🚀🆕 : "A Sighting of filterA in Typelevel Rite of Passage" - based on a short extract from Rock the JVM's great video course

direct link: https://fpilluminated.com/deck/220

abcdw, to haskell
@abcdw@fosstodon.org avatar
vascorsd, to programming
@vascorsd@mastodon.social avatar
mostlycheap, to random
@mostlycheap@penfount.social avatar

New #FountainPen day #NPD Jinhao 75. Inked it with R&K Scabiosa, and it is instant love.

faizalr,
@faizalr@mstdn.social avatar

@mostlycheap I can see some gap on the nib. Does it write well? #fp

vascorsd, to programming
@vascorsd@mastodon.social avatar
vascorsd, to programming
@vascorsd@mastodon.social avatar

Sophie Collard CONTRAVARIANCE: INTUITION BUILDING AND EXAMPLES Scalar Conference 2024
https://www.youtube.com/watch?v=YSpkToittJY

#scala #programming #fp

vascorsd, to programming
@vascorsd@mastodon.social avatar

Nicolas Rinaudo THE DEBATABLY FREE MONAD Scalar Conference 2024
https://www.youtube.com/watch?v=Yci07bMTcsM

#fp #scala #freemonad #programming

alexelcu, to programming
@alexelcu@social.alexn.org avatar
vascorsd, to FunctionalProgramming
@vascorsd@mastodon.social avatar

Flatmaps and do-notation, but different >.>


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

jnpn, to random
@jnpn@mastodon.social avatar
vascorsd, to haskell
@vascorsd@mastodon.social avatar
vascorsd,
@vascorsd@mastodon.social avatar

Effectful - An easy to use, fast extensible effects library with seamless integration with the existing Haskell ecosystem.

https://flora.pm/packages/@hackage/effectful

#haskell #effectSystems #fp #functionalprogramming

techtalksweekly, to Java
@techtalksweekly@mastodon.social avatar
techtalksweekly,
@techtalksweekly@mastodon.social avatar

1/7 ""Moving IO to the edges of your app: Functional Core, Imperative Shell - Scott Wlaschin" ⸱ +8k views ⸱ 12 Apr 2024 ⸱ 01h 00m 35s
https://youtube.com/watch?v=P1vES9AgfC4

lovelylovely, to random
@lovelylovely@masto.ai avatar

Friends I have absolutely had enough of the far-left Pro-Gaza Protesters that is masquerading as pro-Palestinians activist who continue to follow the of the United States across the country just to scream lie disrespect and attack his character and encouraging voters not to vote, HOW DARE YOU" My family here in the US are Even more important then the narrative you're selling about the Palestinian ppl when it's just a movement to hurt Biden and elect Trump. these groups are frauds

vascorsd, to FunctionalProgramming
@vascorsd@mastodon.social avatar

The Flix Programming Language - https://flix.dev

PSA: New Type Inference Engine

«merging in a completely new type inference engine

  • Associated types and effects
  • begin to use associated types and effects in the standard library
  • new, simpler, and faster Boolean unification solver
  • A path towards a set based Boolean unification solver
  • A path towards significantly improved interoperability
    »

https://github.com/flix/flix/discussions/7482

vascorsd, to programming
@vascorsd@mastodon.social avatar

Eio 1.0 Release: Introducing a new Effects-Based I/O Library for OCaml | Tarides - https://tarides.com/blog/2024-03-20-eio-1-0-release-introducing-a-new-effects-based-i-o-library-for-ocaml/

"to craft a modern, direct-style I/O stack that seamlessly interfaces with the latest kernel I/O advancements, such as io_uring. This is where Eio comes in."

#programming #ocaml #fp #functionalProgramming #scala

jbzfn, to FunctionalProgramming
@jbzfn@mastodon.social avatar

🤝 Ending the war or continuing it? Let's bring functional programming to OOP codebases | Cherry Ramatis

https://dev.to/cherryramatis/ending-the-war-or-continuing-it-lets-bring-functional-programming-to-oop-codebases-3mhd

worldsendless, to FunctionalProgramming
@worldsendless@qoto.org avatar

I'm looking for recent books or up-to-date text on with PHP. is changing rapidly and all the books I see are nearly a decade old. Any good recommendations?

alexelcu, to programming
@alexelcu@social.alexn.org avatar

The series of articles titled “My Scala Story” is pretty cool, worth a read 🥰
Interesting to see how many came to #Scala for mostly the same reasons — having fun with #FP 💪👾

https://softwaremill.com/blog/?tag=myscalastory

ross, to programming
@ross@rossabaker.com avatar

Some bidirectional programming with profunctors to start the day. Keep your parser next to your printer.

https://paste.rossabaker.com/ross/b62d58bd66504ed5ae523705c938538e

Inspired by https://poisson.chat/mfbp/abstract.pdf

#Scala #FP

vascorsd, to ML
@vascorsd@mastodon.social avatar
vascorsd, to programming
@vascorsd@mastodon.social avatar

Comonadic builders

"we want to implement the Builder programming pattern"

https://chshersh.com/posts/2019-03-25-comonadic-builders

#programming #functionalprogramming #fp #monads #haskell

vascorsd, to random
@vascorsd@mastodon.social avatar

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones) - YouTube - https://www.youtube.com/watch?v=UBgam9XUHs0

#FP #PLT

krisajenkins, to haskell
@krisajenkins@mastodon.social avatar

Simon Peyton Jones is smartest, nicest and most infectiously-enthusiastic people in the whole of computing. So I'm thrilled to be learning from him this week as he joins me to talk about his long history of pushing #FP & #Haskell to the state of the art; his present work for Epic Games, formalizing Functional Logic Programming with #Verse; and his vision for the future, raising the bar for computing education right from primary schools. ❤️

📺 https://youtu.be/UBgam9XUHs0
🎧 https://open.spotify.com/episode/6SZjeryW56NfMjpgId7ZTD?si=6006e295e50c46cd

vascorsd, to programming
@vascorsd@mastodon.social avatar

Announcing the Saber Virtual Machine - Ryan Brewer

"SaberVM is a compiler backend for functional languages."

https://ryanbrewer.dev/posts/announcing-svm.html

#plt #programming #fp #FunctionalProgramming

  • All
  • Subscribed
  • Moderated
  • Favorites
  • megavids
  • thenastyranch
  • rosin
  • GTA5RPClips
  • osvaldo12
  • love
  • Youngstown
  • slotface
  • khanakhh
  • everett
  • kavyap
  • mdbf
  • DreamBathrooms
  • ngwrru68w68
  • provamag3
  • magazineikmin
  • InstantRegret
  • normalnudes
  • tacticalgear
  • cubers
  • ethstaker
  • modclub
  • cisconetworking
  • Durango
  • anitta
  • Leos
  • tester
  • JUstTest
  • All magazines