Posts

This profile is from a federated server and may be incomplete. Browse more on the original instance.

mangoiv, to haskell
@mangoiv@functional.cafe avatar

MemoTrie is the coolest library what the HEEEEEEECK 😳😻 #haskell

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

My favourite row polymorphism package is aeson

aeveltstra,
@aeveltstra@mastodon.social avatar

@mangoiv Why aeson?

mangoiv, to random
@mangoiv@functional.cafe avatar

AI (derogatory)

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

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

For 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 😁)

mangoiv, to random
@mangoiv@functional.cafe avatar

Hey guys, I made a thing:

https://git.mangoiv.com/mangoiv/haskell-note

It is a (somewhat wip) pastebin microblogging style written in Haskell using fused-effects, servant, one-time-password, lucid2, htmx, styled with bulma v1.

There’s a nixos module you can use to get it running on your machine.

My instance is hosted at https://bin.mangoiv.com/

mangoiv,
@mangoiv@functional.cafe avatar

@aka_dude i like it. I will perhaps rewrite in bluefin if I feel like it. Proper typed persistance abstraction would be first though, what I have now sucks.

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

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

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 ;))

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

Out:
(A -> D) -> B -> C -> D

In:
(A -> (D, B, C) ) -> D

mangoiv,
@mangoiv@functional.cafe avatar

I just realised in my real life example it is worse because d is an unconstrained type variable

BoydStephenSmithJr,
@BoydStephenSmithJr@hachyderm.io avatar

@mangoiv Higher ranked types, FTW?

mangoiv, to haskell
@mangoiv@functional.cafe avatar

Shoutout to @hecate for https://flora.pm/.

It’s just so awesome to have a fast, modern UI for hackage that really suits all your needs!

flora_pm,
@flora_pm@functional.cafe avatar

@mangoiv cheers 👍

mangoiv, to random
@mangoiv@functional.cafe avatar

https://git.mangoiv.com/mangoiv/haskell-note

Making good progress but there’s so much boilerplate. I should write a framework.

Also quite tva pity you have to do everything yourself. Spent an hour just to be able to use TOTP with servant-auth

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

Aha just had a realization; Type parameters in Haskell, if they decide something that is in some Quote m has to be provided before splicing. This seems pretty obvious if you think about it for more than two seconds but I was puzzled as my normal assumption is always “well this information is available at compile time” so I guess what you wanna do is to have an argument that consists of something that carries the type for what needs it in the Quote m and then you pass your other “runtime” argument quoted… this is unfortunate because it means that there’s so much syntactic overhead involved :(

mangoiv, to NixOS
@mangoiv@functional.cafe avatar
kosmikus,
@kosmikus@functional.cafe avatar

@mangoiv Well, I hope you're right. But all this statement makes me feel is sadness. I'm afraid I'm not very optimistic.

mangoiv,
@mangoiv@functional.cafe avatar

@kosmikus in what way? You have a lot more experience in such things so I’d be glad to know why you think this is bad/ makes you feel sadness? I saw that delroth also didn’t have much good to say…

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