2025/03/17

Newest at the top

2025-03-17 06:17:36 +0100fris(sid7259@id-7259.helmsley.irccloud.com) ()
2025-03-17 06:12:49 +0100raym(~ray@user/raym) raym
2025-03-17 06:12:09 +0100peterbecich(~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich
2025-03-17 06:09:30 +0100jcarpenter2(~lol@2603:3016:1e01:b960:ac5c:b821:dffb:b6c1) (Ping timeout: 276 seconds)
2025-03-17 06:07:17 +0100lol_(~lol@96.78.87.197)
2025-03-17 06:03:33 +0100 <haskellbridge> <dmjio> You gotta just trust the laws, lots of things are Monads, that are seemingly different ("Maybe", "[]", "((->) a"), "State s") but they all have this one thing in common, they obey the monad laws. L/R identity and associativity
2025-03-17 06:03:08 +0100 <haskellbridge> <dmjio> there's a good blog post on this https://byorgey.wordpress.com/2009/01/12/abstraction-intuition-and-the-monad-tutorial-fallacy/
2025-03-17 06:02:45 +0100 <haskellbridge> <dmjio> the intuition comes when you manually write out each instance, that's the "proof" of the law, that's not enforced by the compiler
2025-03-17 06:02:20 +0100 <haskellbridge> <dmjio> You gotta just trust the laws, lots of things are Monads, that are seemingly different ("Maybe", "[]", "((->) a"), "State") but they all have this one thing in common, they obey the monad laws. L/R identity and associativity
2025-03-17 05:59:56 +0100 <NewtonTrendy> .
2025-03-17 05:58:10 +0100 <haskellbridge> <dmjio> NewtonTrendy: Anything that can be made a law-abiding instance of Monad, is a Monad 🤷
2025-03-17 05:56:34 +0100pavonia(~user@user/siracusa) (Quit: Bye!)
2025-03-17 05:55:19 +0100 <EvanR> an abstraction. Alternatively the type (env ->) is a monad. So if you know what that is you know what "a monad" is
2025-03-17 05:54:40 +0100michalz(~michalz@185.246.207.201)
2025-03-17 05:52:31 +0100bilegeek__(~bilegeek@2600:1008:b08e:bb9c:6d7d:2bd8:d779:bc6e) bilegeek
2025-03-17 05:51:07 +0100 <NewtonTrendy> who am i kidding i dont know what a monad is
2025-03-17 05:51:05 +0100MyNetAz(~MyNetAz@user/MyNetAz) (Remote host closed the connection)
2025-03-17 05:50:54 +0100jmcantrell(~weechat@user/jmcantrell) (Quit: WeeChat 4.5.2)
2025-03-17 05:50:40 +0100 <NewtonTrendy> cue moan ad
2025-03-17 05:50:20 +0100 <monochrom> Yeah, ghc-mod.
2025-03-17 05:49:45 +0100 <haskellbridge> <dmjio> this guy
2025-03-17 05:49:42 +0100 <haskellbridge> <dmjio> https://hackage.haskell.org/package/ghc-mod
2025-03-17 05:49:28 +0100 <haskellbridge> <dmjio> EvanR: could have been this too tbh
2025-03-17 05:49:26 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-17 05:49:16 +0100 <haskellbridge> <dmjio> right
2025-03-17 05:49:11 +0100 <haskellbridge> <dmjio> "ghc-mod" !
2025-03-17 05:49:02 +0100 <haskellbridge> <dmjio> Axman6: pretty sure it was older than that
2025-03-17 05:48:22 +0100 <Axman6> ghcide?
2025-03-17 05:47:58 +0100 <EvanR> atom
2025-03-17 05:46:20 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr)
2025-03-17 05:45:24 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-17 05:40:18 +0100sabathan(~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer)
2025-03-17 05:31:08 +0100 <haskellbridge> <dmjio> Does anybody remember the name of that package, the precursor to HLS, except it was a major RAM hog and would lock up your system.
2025-03-17 05:27:39 +0100tabaqui(~tabaqui@167.71.80.236) (Ping timeout: 252 seconds)
2025-03-17 05:22:29 +0100 <jackdk> I think they're easier to define canonical formats for than significant whitespace, and you tend to get better parse errors when you mess up. But I like Haskell enough to put up with significant whitespace.
2025-03-17 05:18:30 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod
2025-03-17 05:09:27 +0100tavare(~tavare@user/tavare) tavare
2025-03-17 05:08:24 +0100Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection)
2025-03-17 05:04:15 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 246 seconds)
2025-03-17 05:00:00 +0100alfiee(~alfiee@user/alfiee) alfiee
2025-03-17 04:58:55 +0100bilegeek__(~bilegeek@2600:1008:b042:764a:da27:cd1a:86b4:69a4) (Quit: Leaving)
2025-03-17 04:42:45 +0100poscat(~poscat@user/poscat) (Ping timeout: 248 seconds)
2025-03-17 04:42:33 +0100werneta(~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal)
2025-03-17 04:42:14 +0100poscat0x04(~poscat@user/poscat) poscat
2025-03-17 04:41:45 +0100machinedgod(~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds)
2025-03-17 04:17:59 +0100alfiee(~alfiee@user/alfiee) (Ping timeout: 244 seconds)
2025-03-17 04:16:30 +0100 <ski> "I seem to recall an account that they have an accessibility benefit in connection with screen readers" -- yes, there was a blind user here, years ago, who used curly brackets for Haskell
2025-03-17 04:14:52 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) bitdex
2025-03-17 04:14:28 +0100bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2025-03-17 04:14:08 +0100Guest23(~Guest23@2601:45:500:5c10:39d7:6224:4126:8f39) (Quit: Client closed)