abcdw, to haskell
@abcdw@fosstodon.org avatar
tristanC, to haskell
@tristanC@functional.cafe avatar
DiazCarrete, to haskell
@DiazCarrete@hachyderm.io avatar
6d03, to haskell
@6d03@mathstodon.xyz avatar

Why is there no MonadFail instance for Either String in the prelude?

Jose_A_Alonso, to FunctionalProgramming
@Jose_A_Alonso@mathstodon.xyz avatar

Free foil: Generating efficient and scope-safe abstract syntax. ~ Nikolai Kudasov, Renata Shakirova, Egor Shalagin, Karina Tyulebaeva. https://arxiv.org/abs/2405.16384 #FunctionalProgramming #Haskell

mangoiv, to haskell
@mangoiv@functional.cafe avatar
mangoiv, to haskell
@mangoiv@functional.cafe avatar

Removing the reexports from mtl was, while I really like it conceptually, quite the breaking change, apparently it had become a habit in my team to just import Control.Monad.Except to get access to Control.Monad and Control.Monad.IO.Class… On that note: why’s there no Control.Monad.IO, why do I have to type .Class all the time.

koz, to haskell
@koz@chaos.social avatar

Someone who knows and ML: is there a writeup somewhere explaining how first-class modules (a la ML) can do similar things to Haskell type classes? I'm finding it hard to figure that out.

To give a more concrete case: suppose I wanted to write something like Control.Applicative, which provides an 'interface' Applicative with some methods, as well as functions that work for any Applicative. How would I do this with ML-style first-class modules?

cdelord, to haskell French
@cdelord@piaille.fr avatar

One of the great #lua modules provided by LuaX is F.
F is inspired by some #haskell modules (List and Map) and implements functional programming functions to deal with Lua tables.

https://github.com/CDSoft/luax/blob/master/doc/F.md

#luaxlang

lxsameer, to haskell
@lxsameer@social.lxsameer.com avatar

I recently came across https://simplex.chat. I really liked it just by reading how it works. But I took a look at the source code today, and I was like: “Oh coool it's in . Oh, daaaamn they're using quite heavily. I love it. 😍 “

Kudos folks.

@simplex

ultima12, to MaxMSP German

Hi, I am a sound designer and engineer.

I like programming sounds with #pd, #maxmsp and hardware synths, DAW's, etc. But tools don't matter in the end as you probably know, aesthetics do -- and reverb algorithms. Do you know any?

I spent too much time with #linux and #haskell. I reaaaally don't like commercial ads. After all, is the internet post-modern?

My favorite emoticon is the smiling face with tear.

I toyed around with gabber:
https://susengchannel.bandcamp.com/album/anthem-of-scham

#introduction

leanpub, to haskell
@leanpub@mastodon.social avatar

Pragmatic Type-Level Design: Practical introduction into type-level programming: design principles, design patterns, methodologies, approaches https://leanpub.com/pragmatic-type-level-design by Alexander Granin is the featured book on the Leanpub homepage! https://leanpub.com

haskell, to haskell
@haskell@fosstodon.org avatar

Update n°29 from the GHC team at IOG
https://engineering.iog.io/2024-05-23-ghc-update/

mangoiv, to haskell
@mangoiv@functional.cafe avatar

MemoTrie is the coolest library what the HEEEEEEECK 😳😻

haskell, to haskell
@haskell@fosstodon.org avatar
lxsameer, to haskell
@lxsameer@social.lxsameer.com avatar

I'm really impressed by how the ecosystem improved since the last time I've used it. Kudos to all the people who made it happen.

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

The Haskell Unfolder Episode 26: Variable-arity functions. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/5wbgRlzJYUU

mikwee, to haskell

Shoutout to the @haskell team for making such a cool tutorial available on their home page.

kosmikus, to haskell
@kosmikus@functional.cafe avatar

Getting ready for the episode on variable-arity functions that starts in less than half an hour:

https://www.youtube.com/watch?v=5wbgRlzJYUU&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=26

ocramz, to ShinMegamiTensei
@ocramz@sigmoid.social avatar
ocramz,
@ocramz@sigmoid.social avatar

I'm using sbv with #z3 , It Just Works ! Now for the actually hard part, figuring out my program invariants 🙃#formalmethods #formalverification #haskell

lxsameer, to haskell
@lxsameer@social.lxsameer.com avatar

I'm going to return to #haskell after a very long time. Back then, the #cabal hell was excruciating. But now, thanks to #nix, setting up a project is like two seconds from the time you decide to create it to the point you start coding.

haskell_foundation, to haskell
@haskell_foundation@mastodon.social avatar

🎧Check out the latest interview with David Christiansen, the former ED of on the Type Theory Forall podcast by Pedro Abreu. It’s a must-listen! Have 116 minutes to spare? Dive in here: https://discourse.haskell.org/t/david-christiansen-on-type-theory-forall/9598

kosmikus, to haskell
@kosmikus@functional.cafe avatar

Tomorrow, 2024-05-22, at 1830 UTC, we'll be back for the 26th episode of the live on YouTube. Edsko and I will talk about how to encode Haskell functions with a variable number of arguments.

https://www.youtube.com/watch?v=5wbgRlzJYUU&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=26

ramin_hal9001, to scheme
@ramin_hal9001@emacs.ch avatar

To anyone writing programs in right now, this is just a reminder that you can search through a huge cluster of Scheme libraries indexed by procedure name, including all SRFIs, at the https://index.scheme.org/ website. If you need code to do something, try searching by keyword to see if someone has already written it. Most APIs listed there even have Haskell-like types and are tagged as "pure" if they are pure.

  • 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