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

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

Abstracting denotational interpreters. ~ Sebastian Graf, Simon Peyton Jones, Sven Keidel. https://arxiv.org/abs/2403.02778

leanpub, to FunctionalProgramming
@leanpub@mastodon.social avatar

Certainty by Construction by Sandy Maguire is on sale on Leanpub! Its suggested price is $80.00; get it for $28.00 with this coupon: https://leanpub.com/sh/KFU8DB89

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?

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

Extending destination-passing style programming to arbitrary data types in Linear Haskell. ~ Thomas Bagrel. https://www.tweag.io/blog/2024-03-07-dps-haskell

jbzfn, to FunctionalProgramming
@jbzfn@mastodon.social avatar

:patcat: Why I love Elm.
➥ Sufiyan Yusuf

「 The biggest reason I love Elm is that it changed my perspective on programming.

As someone who aspires to be a code craftsman, this is the biggest reason to learn Elm. Crazy story - I tried really hard to bring the Elm architecture with me when I started a project in Rust. It really makes you think about what goes into building deterministic systems 」
https://sufiyan.substack.com/p/why-i-love-elm?r=aaxsb&s=w

jbzfn, to FunctionalProgramming
@jbzfn@mastodon.social avatar

:thinkerguns: Why is Elm such a delightful programming language?
➥ Marcio Frayze

「 Elm is a pure functional programming language with immutable data structure, soundness type system, currying, and blah blah blah. But instead, the author preferred to highlight his real intention: to create a safe language that web developers feel pleasure in using it. The rest is a consequence of that! 」
https://dev.to/marciofrayze/why-is-elm-such-a-delightful-programming-language-2em8

abnv, to FunctionalProgramming
@abnv@fantastic.earth avatar

I learned to escape the imperative programming languages, which in turn got me interested into and . Turns out, most of the real-world compilers are written in C and C++, so here I am back at square one.

After years of avoiding it for decades, I taught myself in the last couple of weeks. So anyway, does anyone want me to write a series of posts about making a interpreter (https://github.com/kanaka/mal) in C++?

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

The Haskell Unfolder Episode 20: Dijkstra's shortest paths. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/WHVMjMIJnB4

mavnn, to FunctionalProgramming
@mavnn@mastodon.sdf.org avatar

I may have got a bit carried away writing a blog post presenting both a really practical way with a nice developer experience of handling asynchronous operations that might fail in TypeScript... and a "write your own monad in TypeScript" tutorial.

If you're interested in , , or both - please share. I think the techniques in this post can really make writing TS a lot more enjoyable, and the results more reliable.

https://blog.mavnn.co.uk/2024/02/19/do-notation-for-typescript.html

haskman, to FunctionalProgramming
@haskman@functional.cafe avatar

people on : I am now moderating the and communities on Programming.dev.

The best part is that you can also (sort of) follow them from . Search for the following URLs in your mastodon client

https://programming.dev/c/purescript, and https://programming.dev/c/haskell

See you there!

leanpub, to devops
@leanpub@mastodon.social avatar

NixOS in Production: The NixOS handbook for professional use ONLY https://leanpub.com/nixos-in-production by Gabriella Gonzalez is the featured book on the Leanpub homepage! https://leanpub.com

shakthimaan, to FunctionalProgramming
@shakthimaan@mastodon.social avatar

Introduction for OCaml, a blog post for developers that want to dig into OCaml by @emil_priver https://priver.dev/blog/ocaml/ocaml-introduction/

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

Exploring Verse, Haskell, Language Design and Teaching (with Simon Peyton Jones). https://youtu.be/UBgam9XUHs0

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

toxi, to opensource
@toxi@mastodon.thi.ng avatar

‼️ Announcing the thi.ng user survey 2024 📋

https://forms.gle/XacbSDEmQMPZg8197

To achieve a better sample size, I'd highly appreciate if you could circulate the link to this survey in your own networks.

It's already been almost 9 years since the last user survey for these projects. Please help me/us to get more insights into your own experiences, your interests, hopes and pain points — allowing the projects and everyone involved to move forward more intentionally.

There're 15 questions here, with ~10 of them marked as mandatory. The main focal points are the matrices in the middle of the survey. Please also do use the final freeform comments box to share any further feedback you might have. Thank you very much for your interest, trust & taking the time to provide some much needed answers! 🙏

The survey is anonymous and will remain open until 23:59 (CET) on February 29, 2024. I will then share a public summary of the results on my Mastodon in the days following (do keep an eye on the hashtag)...

leanpub, to FunctionalProgramming
@leanpub@mastodon.social avatar

Certainty by Construction by Sandy Maguire is on sale on Leanpub! Its suggested price is $80.00; get it for $28.00 with this coupon: https://leanpub.com/sh/SSHwSr86

leanpub, to FunctionalProgramming
@leanpub@mastodon.social avatar

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, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

The Haskell Unfolder Episode 19: A new perspective on foldl'. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/pQThkisvsVs

leanpub, to FunctionalProgramming
@leanpub@mastodon.social avatar

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

leanpub, to FunctionalProgramming
@leanpub@mastodon.social avatar

The Art of Functional Programming by Minh Quang Tran, PhD is on sale on Leanpub! Its suggested price is $29.99; get it for $21.24 with this coupon: https://leanpub.com/sh/ClsbXsfS

__sharky__, to FunctionalProgramming
@__sharky__@mastodon.social avatar

This chapter took me a while and I need to reimplement it again. I think translate-codon should use a map . Having to wrap codons with codon-strings does not feel right , but I don't understand what partition returns.

Not sure about throw-away maybe a recursion is too much for this ? Maybe there are other built-ins I can use.

Using map more than once does not feel right. I think processing one rna a time would make it more simple.

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

ramin_hal9001, to opengl
@ramin_hal9001@emacs.ch avatar

Question:

Does anyone know of an APL compiler or transpiler that can generated Vulkan or OpenGL shader scripts? (Free/libre would be most appreciated.) I think Aaron Hsu might have engineered something like this at some point, but I can't find anything about it at all right now, probably thanks to our amazing new "AI-enhanced" search engines.

__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 !

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