mangoiv, to random
@mangoiv@functional.cafe avatar

Who’s coming to MuniHac 2023?
Next week in - who would’ve guessed it - Munich!

https://munihac.de/2023.html

jaror, to haskell
@jaror@kbin.social avatar
jaror, to haskell
@jaror@kbin.social avatar

The fastest effect system approaches translate operations into a fast concrete monad like IO or State.

https://gist.github.com/noughtmare/cccda38eb7c67c1ea6df6a3377f1da0d

ocramz, to random
@ocramz@sigmoid.social avatar

I've started helping out with the maintenance of the 'scotty', and here's the latest release : https://hackage.haskell.org/package/scotty

In addition to some new features, the overall exception handling system is more predictable, the package is better documented and has more tests. Check it out!

jaror, to haskell
@jaror@kbin.social avatar

DatatypeContexts as implemented today in GHC are much more reasonable than I thought.

https://discourse.haskell.org/t/datatypecontexts-has-something-changed-since-it-was-marked-deprecated/7560/7?u=jaror

#haskell

jaror, to haskell
@jaror@kbin.social avatar

Sometimes ImpredicativeTypes can be a good replacement for DeepSubsumption: https://stackoverflow.com/a/76936438/15207568

kosmikus, to random
@kosmikus@functional.cafe avatar

In the 9th episode of the Unfolder, Edsko and I are going to explain a bit about GHC's intermediate Core language. This is happening tonight, 2023-08-17, at 1830 UTC live on YouTube: https://www.youtube.com/watch?v=vyp8pWW5QQk&list=PLD8gywOEY4HaG5VSrKVnHxCptlJv2GAn7&index=9

brokenix, to random
@brokenix@emacs.ch avatar
rml, to random
@rml@functional.cafe avatar

I could watch Alexis King talk about all day. Theres something about the way she speaks where she shifts her cadence in anticipation of where the content will raise questions, always rounding back to a resumed pace in even syncopation which illustrates the process of reasoning in the course of spoken presentation and is exemplary of the best programming pedagogy.

jaror, to haskell
@jaror@kbin.social avatar

Lenses are not always better:

fresh :: FDState s c -> (Int, FDState s c)
fresh = id &&& id
  >>> first (^. nextId)
  >>> ((i, s) -> (i, s & alive %~ Set.insert i))
  >>> second (nextId %~ (+ 1))

fresh :: FDState s c -> (Int, FDState s c)
fresh s@FDState {_nextId = i, _alive = as} =
  (i, s {_nextId = i + 1, _alive = Set.insert i as})

  • All
  • Subscribed
  • Moderated
  • Favorites
  • random
  • uselessserver093
  • Food
  • aaaaaaacccccccce
  • test
  • CafeMeta
  • testmag
  • MUD
  • RhythmGameZone
  • RSS
  • dabs
  • KamenRider
  • Ask_kbincafe
  • TheResearchGuardian
  • KbinCafe
  • Socialism
  • oklahoma
  • SuperSentai
  • feritale
  • All magazines