actually, you could totally do this in haskell lol - ThreadSky | a Reddit-style client for Bluesky

About ThreadSky

welltypedwit.ch • 12 days ago

actually, you could totally do this in haskell lol

Comments

Log in with your Bluesky account to leave a comment

welltypedwit.ch•12 days ago

this actually works way too well omg

Comment image

wffl.ihatereality.space•12 days ago

I feel like fold example is a bit convoluted since you need to handle the last element specially

but otherwise v cool, thanks for sharing

boarders.bsky.social•12 days ago

Was quite taken by this and wondered if there were other instances of the trick. Wouldn't describe it as working well...

Comment image

welltypedwit.ch•12 days ago

and because this is haskell, you can generalize it to

(<) :: (LessThan result, Ord a, Bounded a) => a -> a -> result

without any further code changes

bnuuy.bsky.social•12 days ago

nice :3

morj-lecteur.bsky.social•12 days ago

Pretty cool! The only problem is that Integer is not Bounded.. I wonder if we can employ some more instance fuckery there, like returning Maybe Integer and making the class accept two different types, so that we can compare Maybe Integer with Integer

Posting Rules

Be respectful to others
No spam or self-promotion
Stay on topic
Follow Bluesky's terms of service

Fullsize image

×

Reply

© 2024 ThreadSky. All rights reserved. Built for the Bluesky community. Privacy • Terms