Newest at the top
2025-03-17 06:42:02 +0100 | bilegeek__ | (~bilegeek@2600:1008:b08e:bb9c:6d7d:2bd8:d779:bc6e) (Quit: Leaving) |
2025-03-17 06:40:19 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) MyNetAz |
2025-03-17 06:35:25 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 244 seconds) |
2025-03-17 06:35:04 +0100 | wildsalander | (~wildsalan@37-136-163-100.rev.dnainternet.fi) |
2025-03-17 06:34:54 +0100 | wildsalander | (~wildsalan@37-136-163-100.rev.dnainternet.fi) (Remote host closed the connection) |
2025-03-17 06:34:31 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
2025-03-17 06:33:08 +0100 | lol_ | (~lol@96.78.87.197) (Ping timeout: 244 seconds) |
2025-03-17 06:32:45 +0100 | dtman34_ | (~dtman34@2601:447:d000:1f5e:5ed:4e8c:420f:e376) dtman34 |
2025-03-17 06:32:37 +0100 | dtman34 | (~dtman34@c-75-72-179-251.hsd1.mn.comcast.net) (Ping timeout: 244 seconds) |
2025-03-17 06:32:22 +0100 | harveypwca | (~harveypwc@2601:246:d080:f6e0:34b5:bbb2:c6c:1ef6) HarveyPwca |
2025-03-17 06:32:22 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b960:c0f1:1eb8:93b0:299a) |
2025-03-17 06:31:09 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-17 06:31:08 +0100 | wildsalander | (~wildsalan@37-136-163-100.rev.dnainternet.fi) |
2025-03-17 06:25:32 +0100 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-03-17 06:17:36 +0100 | fris | (sid7259@id-7259.helmsley.irccloud.com) () |
2025-03-17 06:12:49 +0100 | raym | (~ray@user/raym) raym |
2025-03-17 06:12:09 +0100 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-03-17 06:09:30 +0100 | jcarpenter2 | (~lol@2603:3016:1e01:b960:ac5c:b821:dffb:b6c1) (Ping timeout: 276 seconds) |
2025-03-17 06:07:17 +0100 | lol_ | (~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 +0100 | pavonia | (~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 +0100 | michalz | (~michalz@185.246.207.201) |
2025-03-17 05:52:31 +0100 | bilegeek__ | (~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 +0100 | MyNetAz | (~MyNetAz@user/MyNetAz) (Remote host closed the connection) |
2025-03-17 05:50:54 +0100 | jmcantrell | (~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 +0100 | alfiee | (~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 +0100 | sabathan | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-03-17 05:45:24 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-17 05:40:18 +0100 | sabathan | (~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 +0100 | tabaqui | (~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 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |