haskell, to haskell
@haskell@fosstodon.org avatar

Haddock now lives in the GHC repository! 🎉

Shorter feedback cycles for contributors and higher quality of releases, these are a few of our favourite things about the Haddock documentation generation tool coming home to the GHC repository.

https://discourse.haskell.org/t/haddock-now-lives-in-the-ghc-repository/9576

mangoiv, to haskell
@mangoiv@functional.cafe avatar

https://bin.mangoiv.com/note?id=d98221a5-bc33-4ff9-b55f-a8011dd389a1

For #haskell ers using neovim I have a little treat to make their code lenses less ugly :ablobcatreachreverse:

(Thing is in nix, if you don’t use nix, then you will know how to patch your neovim, I guess 😁)

Jose_A_Alonso, to haskell
@Jose_A_Alonso@mathstodon.xyz avatar

The Haskell Unfolder Episode 25: from Java to Haskell. ~ Edsko de Vries (@EdskoDeVries), Andres Löh (@kosmikus). https://www.youtube.com/live/YwshlQXKO80

kosmikus, to haskell
@kosmikus@functional.cafe avatar

Later today, 2024-05-15, at 1830 UTC, join Edsko and me for the 25th episode of the #Haskell #Unfolder "from #Java to Haskell" live on #youtube.

https://well-typed.com/blog/2024/05/haskell-unfolder-episode-25-from-java-to-haskell/

kosmikus,
@kosmikus@functional.cafe avatar

@mangoiv @maralorn Yes, I agree with this view. I don't think Maybe is the right analogy. The MVar being empty is not a case you have to explicitly deal with, it already has a behaviour attached to it (blocking). Regarding the missing entry in the square, isn't that just an IORef?

maralorn,
@maralorn@chaos.social avatar

@kosmikus

@mangoiv

Yeah, It's kinda IORef but I thought that doesn't count because it has less concurrency guarantees.

But I think I get now why MVars are much more useful. I have even used TMVars myself as locks when the action I wanted to do with it contained effects.

maralorn, to haskell
@maralorn@chaos.social avatar

execState, runState or evalState? 🤔

#haskell

crmsnbleyd, to haskell
@crmsnbleyd@emacs.ch avatar

how the hell do you add dependencies in Haskell stack, I add yesod to the build-depends in the cabal file like shown in the stack example but on running stack build it fails saying it couldn't find yesod, and then the line is removed from the cabal file. Haskell ecosystem is hell.

#haskell

crmsnbleyd,
@crmsnbleyd@emacs.ch avatar

@hungryjoe @6d03 thanks for the help, I'd been looking at old documentation, silly me

hungryjoe,
@hungryjoe@functional.cafe avatar

@crmsnbleyd @6d03 NP

I personally really like how Haskell Stack works (package sets are amazing), but the interactions between it and the Cabal file are definitely confusing

lily, to rust
@lily@glaceon.social avatar

the rust "impl" keywork is kinda weird.

usually, it is used to define methods, but in function arguments, it serves as syntactic sugar so you don't have to name generic types... but in a return type, it has a meaning that is slightly different, and actually expresses a semantic not even vanilla haskell can represent!

basically, instead of being able to return any type implementing a trait, it states that it can return at least one type that implements a trait.

in haskell terminology, specifying a generic type parameter is "forall a", while returning an "impl" is "exists a".

6d03, to haskell
@6d03@mathstodon.xyz avatar

This is a super cool idea: parsing SQL during compile time using #Haskell quasi-quotation.

Doing something like this had been on my todo list, when it turns out someone already thought of it 🤷

https://github.com/nikita-volkov/hasql-th

haskell, to haskell
@haskell@fosstodon.org avatar

"We don’t have too many String types" – The ultimate guide to #Haskell Strings by Julian Ospald

https://discourse.haskell.org/t/the-ultimate-guide-to-haskell-strings/9538

Jose_A_Alonso, to FunctionalProgramming
@Jose_A_Alonso@mathstodon.xyz avatar
biscuitauth, (edited ) to random French
@biscuitauth@hachyderm.io avatar

biscuit-haskell-0.3.0.1 and biscuit-servant-0.3.0.1 have been released, bringing support for newer GHCs (9.4, 9.6, 9.8), as well as a couple datalog improvements.

biscuit-haskell changelog
biscuit-servant changelog

haskell, to haskell
@haskell@fosstodon.org avatar

The GHC developers are very pleased to announce the release of GHC 9.10.1! 🎉

On the menu:
→ GHC2024 language edition
→ Linear let and where
bindings
→ Annotation of exceptions with backtraces
→ Required type arguments for functions
→ Javascript FFI support in the WebAssembly backend
… and many more!

https://discourse.haskell.org/t/ghc-9-10-1-is-now-available/9523

mangoiv, (edited ) to random
@mangoiv@functional.cafe avatar

Who’s coming to ZuriHac?! I’m so excited!

#haskell

jesper,
@jesper@agda.club avatar

@mangoiv
Where is the "I'm giving an Agda tutorial at ZuriHac" option?

mangoiv,
@mangoiv@functional.cafe avatar

@jesper I was guessing this option would be rather unpopular but here we go! (Looking forward to your talk ;))

bgamari, to haskell
@bgamari@mastodon.social avatar

GHC 9.10.1 is at long last released!

Between the continued iteration on the GHC20xx meta-extension mechanisms, further improvements in the JS/wasm backends, and (my favorite) the availability of exception backtraces in base, there is lots in this release to be excited about.

See the Haskell Discourse thread for the full announcement:

https://discourse.haskell.org/t/ghc-9-10-1-is-now-available/9523

simonmic, to gamedev
@simonmic@fosstodon.org avatar

This talk on indie video game design is very good, and not just for game dev..
https://www.youtube.com/watch?v=o5K0uqhxgsE

flowchainsenseifoss,

@simonmic Also applies to searching for the best way for the work to work. (Some people might call this , or , or methodology discovery).

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