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

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/4bL3m4VO #FunctionalProgramming #Mathematics #ComputerScience

brokenix, to FunctionalProgramming
@brokenix@emacs.ch avatar

Implement web servers using lenses #functionalprogramming
dependent types
https://github.com/ska80/idris2-server?tab=readme-ov-file

Ciantic, to rust
@Ciantic@twit.social avatar

To me, #Rust's biggest fault is the compilation size. It promises to be somewhat functional language, yet it can't do tree shake down to function level.

The reason why I like the idea of compilation that includes only the functions I use is that it makes library writing easy.

For example in Elm which supports perfect pruning, you can make huge libraries, and not need to think about bloat, because the compiler will only compile the parts you use in.

#Elm #FunctionalProgramming

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/MhJWf00i

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

#FunctionalProgramming will make you build better software, regardless of language. Some understated effects:
‣ Prefer params to global state
‣ Prefer data pipelines to fragile state mutation
‣ Prefer clear responsibilities for components
‣ Make dangerous side effects visible.

henrikjernevad, to programming
@henrikjernevad@mastodon.social avatar

Is it possible to get the benefits of functional programming without going all in?

This post presents a set of functional programming concepts that I have found helpful in everyday programming, even for programmers not trained in functional programming.

https://henko.net/blog/functional-foundations/

ncrav, to nature
@ncrav@mas.to avatar

Time for a re- #introduction for newer mastodon souls!

Hello! I'm Nuno and this is Lua :DsaprvingLua: !

I do solution architecture, data processing, statistics, and machine learning for a living.

Lua is a master #bunArtist and a connoisseur of the best gourmet woods.

My interests are:
#bunnies
#floofs
#nature
#hiking
#science
#physics
#history of ideas
#metaphysics
#mythology
#synths
#functionalProgramming
#ocaml
#nim
#cpp
#esperanto
#tokipona
#conlang
#anarchism
#mutualism

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

#fp #oop #functionalprogramming

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 #Haskell #FunctionalProgramming

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 #FunctionalProgramming #Mathematics #ComputerScience

worldsendless, to FunctionalProgramming
@worldsendless@qoto.org avatar

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

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 #Haskell #FunctionalProgramming

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

#elm #elmlang #functionalprogramming

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

#elm #elmlang #functionalprogramming

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 #Haskell #FunctionalProgramming

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 #FunctionalProgramming, #typescript, 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 #Devops #InfrastructureAsCode #FunctionalProgramming

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/ #OCaml #FunctionalProgramming #Community

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 #Haskell #FunctionalProgramming

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

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 #ThingUmbrella hashtag)...

#OpenSource #Community #Feedback #Survey #ComputationalDesign #CreativeCoding #Dataviz #FunctionalProgramming #ReactiveProgramming #GenerativeArt #GenerativeDesign #TypeScript #JavaScript #Clojure #Zig #Workshops

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 #FunctionalProgramming #Mathematics #ComputerScience

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