vascorsd, to programming
@vascorsd@mastodon.social avatar

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

vascorsd, to programming
@vascorsd@mastodon.social avatar

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

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

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."

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 for mostly the same reasons — having fun with 💪👾

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

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

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

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 & to the state of the art; his present work for Epic Games, formalizing Functional Logic Programming with ; 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

__sharky__, to FunctionalProgramming
@__sharky__@mastodon.social avatar

First time I need to use destructuring in . Takes some time to get my head around the syntax , but it works !

vascorsd, to programming
@vascorsd@mastodon.social avatar

How many people out there have changed from to successfully?

The language seems interesting enough, being helps, and there seems to be some interesting opportunities out there to work on it.

So, what's the experience changing from one ecosystem to the other, successful stories, failures, recommended reading or learning resources?

🙂

vascorsd, to FunctionalProgramming
@vascorsd@mastodon.social avatar

The new language tour for Gleam looks nice - https://tour.gleam.run

is a language statically typed on top of the BEAM virtual machine (the thing powering erlang).

It plays in the ecosystem together with .

I've never touched tech but always been curious and being a developer, gleam talks to me.

Patiently watching it grow 😌

vascorsd,
@vascorsd@mastodon.social avatar

The focus may not be totally the side of things, but it feels mostly right or good enough for it. I don't believe we will ever see monoids and semirings in it, but more as a practical language with the simple patterns that the style enables.

Its site description:

"The power of a type system, the expressiveness of functional programming, and the reliability of the highly concurrent, fault tolerant Erlang runtime, with a familiar and modern syntax."

vascorsd, to random
@vascorsd@mastodon.social avatar

I just got a sudden enlightenment of a proper analogy to explain and I need to write this somewhere soon.

It's all about putting poop in a toilet and never grabbing it again.

If you want to do something with it just bring another toilet and replace the previous one without leaking any poop from the first one 😂

I think I may be close to something huge here :KEKW:

will never be the same again :owi:

deadblackclover, to FunctionalProgramming
@deadblackclover@functional.cafe avatar

Coalton is an efficient, statically typed functional programming language that supercharges Common Lisp.

https://github.com/coalton-lang/coalton

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