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 😳😻

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

haskell, to haskell
@haskell@fosstodon.org avatar
kosmikus, to haskell
@kosmikus@functional.cafe avatar

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

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

kosmikus, to haskell
@kosmikus@functional.cafe avatar

Tomorrow, 2024-05-22, at 1830 UTC, we'll be back for the 26th episode of the #Haskell #Unfolder 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

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

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.

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.

mangoiv, to haskell
@mangoiv@functional.cafe avatar

My favourite row polymorphism package is aeson

maralorn, to haskell
@maralorn@chaos.social avatar

I have real trouble developing an intuition for NoDeepSubsumption.

I always only notice by sheer luck that changing

a . b $ c

to

a $ b $ c

fixes my type error.

mikwee, to haskell

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

neloj, to haskell

I've been trying to make this work for a few days and finally I achieved it, the most basic form of a wayland client using unix sockets, and well in other languages it was not difficult at all, I did it in hare, c, typescript (deno), and in the end I wanted to try with a language that I had never used, Haskell, and I learned many things but I still don't know what a monod is, anyway, here I leave a link to the code for those who are interested: https://gitlab.com/-/snippets/3711372
#haskell #programming #wayland

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

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

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