Newest at the top
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 |
2025-03-17 05:09:27 +0100 | tavare | (~tavare@user/tavare) tavare |
2025-03-17 05:08:24 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-03-17 05:04:15 +0100 | alfiee | (~alfiee@user/alfiee) (Ping timeout: 246 seconds) |
2025-03-17 05:00:00 +0100 | alfiee | (~alfiee@user/alfiee) alfiee |
2025-03-17 04:58:55 +0100 | bilegeek__ | (~bilegeek@2600:1008:b042:764a:da27:cd1a:86b4:69a4) (Quit: Leaving) |
2025-03-17 04:42:45 +0100 | poscat | (~poscat@user/poscat) (Ping timeout: 248 seconds) |
2025-03-17 04:42:33 +0100 | werneta | (~werneta@syn-071-083-160-242.res.spectrum.com) (Quit: Lost terminal) |
2025-03-17 04:42:14 +0100 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-03-17 04:41:45 +0100 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 276 seconds) |
2025-03-17 04:17:59 +0100 | alfiee | (~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 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-03-17 04:14:28 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
2025-03-17 04:14:08 +0100 | Guest23 | (~Guest23@2601:45:500:5c10:39d7:6224:4126:8f39) (Quit: Client closed) |