Logs: freenode/#haskell
| 2021-03-19 16:01:37 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-19 16:03:13 | → | malumore joins (~malumore@151.62.118.248) |
| 2021-03-19 16:04:14 | × | molehillish quits (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) (Ping timeout: 264 seconds) |
| 2021-03-19 16:07:59 | × | raoulb quits (~weechat@2a02:169:5:a:d2fd:102:bea8:9895) (Quit: raoulb) |
| 2021-03-19 16:08:37 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 2021-03-19 16:09:06 | → | LKoen joins (~LKoen@194.250.88.92.rev.sfr.net) |
| 2021-03-19 16:10:49 | <mikoto-chan> | Is debugging the only use of Maybe? I never understood Maybe, Just and Nothing tbh |
| 2021-03-19 16:12:01 | <hololeap> | mikoto-chan: Maybe encodes the concept of partial functions |
| 2021-03-19 16:12:27 | → | tsaka__ joins (~torstein@athedsl-4491541.home.otenet.gr) |
| 2021-03-19 16:12:27 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 16:12:36 | <hololeap> | (a -> Maybe b) means that for any 'a', there is _possibly_ a corresponding 'b' |
| 2021-03-19 16:12:50 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 16:13:11 | <hololeap> | that's it |
| 2021-03-19 16:14:21 | → | raoulb joins (~weechat@2a02:169:5:a:d2fd:102:bea8:9895) |
| 2021-03-19 16:14:25 | <mikoto-chan> | hololeap: Any language with a similar "wrapper"? |
| 2021-03-19 16:14:37 | <mikoto-chan> | functionality or whatever you want to call it |
| 2021-03-19 16:14:45 | <hololeap> | lots of languages have null or nil |
| 2021-03-19 16:14:56 | <hololeap> | so every type in those languages has an implicit Maybe |
| 2021-03-19 16:15:10 | × | ezrakilty quits (~ezrakilty@97-113-58-224.tukw.qwest.net) (Remote host closed the connection) |
| 2021-03-19 16:15:12 | <yushyin> | mikoto-chan: https://en.wikipedia.org/wiki/Option_type |
| 2021-03-19 16:15:47 | <yushyin> | ocaml,f#,rust etc. |
| 2021-03-19 16:16:00 | × | kuribas quits (~user@ptr-25vy0iagi80mnljuo8k.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 2021-03-19 16:16:43 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 2021-03-19 16:16:53 | <hololeap> | honestly, i wouldn't consider Maybe to be any good for debugging. it tells you literally Nothing |
| 2021-03-19 16:18:26 | <yushyin> | pun intended? :) |
| 2021-03-19 16:18:36 | <hololeap> | very much so :) |
| 2021-03-19 16:19:14 | <mikoto-chan> | yushyin: ah thanks |
| 2021-03-19 16:19:14 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 16:19:26 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 16:19:26 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-19 16:19:56 | × | Franciman quits (~francesco@host-79-53-62-46.retail.telecomitalia.it) (Remote host closed the connection) |
| 2021-03-19 16:20:11 | → | Franciman joins (~francesco@host-79-53-62-46.retail.telecomitalia.it) |
| 2021-03-19 16:20:23 | hackage | hexpat-streamparser 0.1.1 - https://hackage.haskell.org/package/hexpat-streamparser-0.1.1 (KristofBastiaensen) |
| 2021-03-19 16:21:44 | × | raoulb quits (~weechat@2a02:169:5:a:d2fd:102:bea8:9895) (Quit: raoulb) |
| 2021-03-19 16:23:06 | <hololeap> | it might be worth pointing out that (Maybe a) encodes the exact same amount of information as (Either () a). you can see that it has the worst error type for encoding information: () aka unit |
| 2021-03-19 16:23:41 | → | molehillish joins (~molehilli@2600:8800:8d06:1800:e0d0:506b:db48:8ec8) |
| 2021-03-19 16:24:34 | <hololeap> | point is, Either will be much better for debugging than Maybe |
| 2021-03-19 16:24:47 | <hololeap> | if you give it some error type that can relay information |
| 2021-03-19 16:25:48 | → | raoulb joins (~weechat@2a02:169:5:a:d2fd:102:bea8:9895) |
| 2021-03-19 16:25:48 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 16:26:01 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 16:26:59 | <hololeap> | although i wouldn't really call that debugging, either... |
| 2021-03-19 16:27:02 | → | dcbdnl joins (~dcbdnl@2601:2c6:4e00:2d20::2) |
| 2021-03-19 16:27:55 | × | raoulb quits (~weechat@2a02:169:5:a:d2fd:102:bea8:9895) (Client Quit) |
| 2021-03-19 16:28:52 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2021-03-19 16:29:44 | × | jrqc quits (~rofl@96.78.87.197) (Ping timeout: 240 seconds) |
| 2021-03-19 16:30:06 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-03-19 16:30:26 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) |
| 2021-03-19 16:30:30 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-03-19 16:32:32 | <tapas> | ocharles: very close to approving your HPC pr :) |
| 2021-03-19 16:32:57 | → | jrqc joins (~rofl@96.78.87.197) |
| 2021-03-19 16:33:48 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 2021-03-19 16:35:08 | × | kashima quits (~sphone@2001:ee0:24f:df22:e960:97a1:5090:8209) (Read error: Connection reset by peer) |
| 2021-03-19 16:35:20 | × | jespada quits (~jespada@90.254.243.187) (Ping timeout: 240 seconds) |
| 2021-03-19 16:37:11 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-19 16:38:46 | × | marek quits (~mmahut@209.250.249.245) (Changing host) |
| 2021-03-19 16:38:46 | → | marek joins (~mmahut@fedora/pyxel) |
| 2021-03-19 16:45:20 | × | xff0x_ quits (~xff0x@2001:1a81:5242:1600:dd4:8333:b767:2ed3) (Ping timeout: 240 seconds) |
| 2021-03-19 16:45:34 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-03-19 16:45:56 | → | shad0w_ joins (a0ca254d@160.202.37.77) |
| 2021-03-19 16:45:56 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 16:46:07 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 16:46:20 | → | xff0x_ joins (~xff0x@2001:1a81:5242:1600:b747:f946:5a4c:2c3e) |
| 2021-03-19 16:46:54 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-03-19 16:48:06 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-03-19 16:49:07 | ← | jakalx parts (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-03-19 16:51:15 | × | ixian quits (~mgold@2002:4a74:ba78:1701:0:ff:fe78:6269) (Ping timeout: 244 seconds) |
| 2021-03-19 16:52:48 | <dexterfoo> | How can I add "HasCallStack" constraint to a lambda expression? |
| 2021-03-19 16:52:48 | × | emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer) |
| 2021-03-19 16:53:12 | → | emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) |
| 2021-03-19 16:54:25 | × | coot quits (~coot@37.30.58.223.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-03-19 16:54:53 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-19 16:56:07 | × | MrMobius quits (~MrMobius@208.58.206.154) (Ping timeout: 265 seconds) |
| 2021-03-19 16:56:12 | → | [1]MrMobius joins (~MrMobius@208.58.206.154) |
| 2021-03-19 16:56:27 | [1]MrMobius | is now known as MrMobius |
| 2021-03-19 16:57:21 | × | stevenxl1 quits (uid133530@gateway/web/irccloud.com/x-vvjdltsewdnohvlv) (Quit: Connection closed for inactivity) |
| 2021-03-19 16:57:56 | <geekosaur> | -XScopedTypeVariables and \(a :: HasCallStack => whateverTypeHere) -> ? (may not work if it has multiple parameters) |
| 2021-03-19 16:58:10 | <geekosaur> | probably easier to use let to name it instead of using a lambda |
| 2021-03-19 16:59:40 | <geekosaur> | hm, actually I'm not sure lambdas even support implicit variables which HasCallStack uses behind the scenes |
| 2021-03-19 17:00:22 | → | jkrollin joins (~riddle@59.88.28.190) |
| 2021-03-19 17:00:25 | <geekosaur> | even if they do you probably have to pass it explicitly which means digging through the implementation of CallStack. again, probably easier to just use a let |
| 2021-03-19 17:00:41 | ← | shad0w_ parts (a0ca254d@160.202.37.77) () |
| 2021-03-19 17:02:46 | → | __minoru__shirae joins (~shiraeesh@77.94.25.145) |
| 2021-03-19 17:05:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-03-19 17:05:59 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-03-19 17:06:14 | × | asheshambasta quits (~user@ptr-e1lysauzes00g1c9qcl.18120a2.ip6.access.telenet.be) (Ping timeout: 244 seconds) |
| 2021-03-19 17:06:32 | × | ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 240 seconds) |
| 2021-03-19 17:06:51 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-19 17:07:21 | → | kilolympus joins (~kilolympu@5.151.5.181) |
| 2021-03-19 17:07:46 | → | nfd joins (~nfd9001@2601:602:77f:1820:c4f6:78b5:4d5b:872c) |
| 2021-03-19 17:08:54 | ← | jkrollin parts (~riddle@59.88.28.190) () |
| 2021-03-19 17:11:24 | × | ixian quits (~mgold@terra.bitplane.org) (Ping timeout: 244 seconds) |
| 2021-03-19 17:11:59 | × | __minoru__shirae quits (~shiraeesh@77.94.25.145) (Quit: Konversation terminated!) |
| 2021-03-19 17:12:03 | → | ixian joins (~mgold@terra.bitplane.org) |
| 2021-03-19 17:12:30 | → | __minoru__shirae joins (~shiraeesh@77.94.25.145) |
| 2021-03-19 17:14:26 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b5a7:9e26:9598:47de) (Remote host closed the connection) |
| 2021-03-19 17:15:03 | → | idhugo__ joins (~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) |
| 2021-03-19 17:16:56 | × | gitgoood quits (~gitgood@80-44-9-221.dynamic.dsl.as9105.com) (Ping timeout: 240 seconds) |
| 2021-03-19 17:17:37 | × | idhugo_ quits (~idhugo@80-62-117-49-mobile.dk.customer.tdc.net) (Ping timeout: 256 seconds) |
| 2021-03-19 17:18:45 | × | brandly quits (~brandly@c-73-68-15-46.hsd1.ma.comcast.net) (Remote host closed the connection) |
All times are in UTC.