Logs: freenode/#haskell
| 2021-03-04 07:27:31 | denisse_ | is now known as denisse |
| 2021-03-04 07:28:35 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 240 seconds) |
| 2021-03-04 07:29:32 | → | kam1 joins (~kam1@5.125.82.63) |
| 2021-03-04 07:29:48 | × | drbean_ quits (~drbean@TC210-63-209-53.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-03-04 07:31:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 276 seconds) |
| 2021-03-04 07:31:56 | <koz_> | bahamas: It's because you have Just 4 first, so GHC assumes you have (Num a) => [a] there. |
| 2021-03-04 07:32:01 | → | __minoru__shirae joins (~shiraeesh@46.34.206.213) |
| 2021-03-04 07:32:05 | <koz_> | So it's going 'wait, Char isn't a Num, plz explain'. |
| 2021-03-04 07:32:28 | <koz_> | Sorry, (Num a) => [Maybe a] |
| 2021-03-04 07:33:55 | × | nineonine quits (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-03-04 07:34:22 | → | nineonine joins (~nineonine@50.216.62.2) |
| 2021-03-04 07:34:27 | → | kam1` joins (~user@5.125.82.63) |
| 2021-03-04 07:36:24 | → | knupfer joins (~Thunderbi@200116b82c5bbe004d84b8705240f899.dip.versatel-1u1.de) |
| 2021-03-04 07:37:24 | → | freeman42x[m]_ joins (uid387759@gateway/web/irccloud.com/x-tmamqfkiqylunzfs) |
| 2021-03-04 07:37:55 | → | raichoo joins (~raichoo@dslb-092-073-221-030.092.073.pools.vodafone-ip.de) |
| 2021-03-04 07:38:03 | <[exa]> | bahamas: even very minor explicit typing helps a lot with type errors, try e.g. [Just4, Just 'a', Nothing::Maybe Int] |
| 2021-03-04 07:39:47 | × | kam1 quits (~kam1@5.125.82.63) (Quit: Quit) |
| 2021-03-04 07:40:03 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-04 07:41:16 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 2021-03-04 07:42:21 | <qih__> | Does Haskell have a Readline equiv? For user input into a script? |
| 2021-03-04 07:42:49 | <koz_> | qih__: Haskeline. |
| 2021-03-04 07:43:35 | <qih__> | Haha really? Thanks. |
| 2021-03-04 07:44:31 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 256 seconds) |
| 2021-03-04 07:44:34 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 2021-03-04 07:44:38 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-03-04 07:49:30 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-03-04 07:52:59 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Quit: WeeChat 3.0) |
| 2021-03-04 07:54:09 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 256 seconds) |
| 2021-03-04 07:56:14 | → | malumore joins (~alecs@151.62.127.36) |
| 2021-03-04 07:57:15 | → | bobiusbillius joins (~bobiusbil@2a00:23c7:9909:5b01:909a:85aa:703a:457c) |
| 2021-03-04 07:57:57 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 2021-03-04 07:58:14 | → | olferino joins (~olferino@host-79-37-103-102.retail.telecomitalia.it) |
| 2021-03-04 07:58:14 | × | olferino quits (~olferino@host-79-37-103-102.retail.telecomitalia.it) (Excess Flood) |
| 2021-03-04 07:59:21 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-03-04 07:59:22 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 2021-03-04 07:59:22 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 2021-03-04 08:00:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-03-04 08:03:38 | → | olferino joins (~olferino@host-79-37-103-102.retail.telecomitalia.it) |
| 2021-03-04 08:03:38 | × | olferino quits (~olferino@host-79-37-103-102.retail.telecomitalia.it) (Excess Flood) |
| 2021-03-04 08:06:35 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-03-04 08:07:53 | → | fendor joins (~fendor@77.119.128.81.wireless.dyn.drei.com) |
| 2021-03-04 08:08:58 | × | __minoru__shirae quits (~shiraeesh@46.34.206.213) (Ping timeout: 276 seconds) |
| 2021-03-04 08:09:17 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-04 08:10:13 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-04 08:10:35 | → | jespada joins (~jespada@90.254.243.187) |
| 2021-03-04 08:11:02 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 2021-03-04 08:11:32 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-03-04 08:11:54 | × | qih__ quits (~pi@210-54-120-166.adsl.xtra.co.nz) (Read error: Connection reset by peer) |
| 2021-03-04 08:13:51 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 2021-03-04 08:15:25 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer) |
| 2021-03-04 08:15:39 | <bahamas> | koz_: that makes sense, but why does it complain about the 4 and not about `Just 'a'`? |
| 2021-03-04 08:16:03 | <koz_> | bahamas: A good question. |
| 2021-03-04 08:16:22 | <mouseghost> | ?: |
| 2021-03-04 08:16:22 | <lambdabot> | Maybe you meant: v @ ? . |
| 2021-03-04 08:16:52 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 2021-03-04 08:16:58 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 2021-03-04 08:18:47 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 265 seconds) |
| 2021-03-04 08:19:09 | × | kam1` quits (~user@5.125.82.63) (Ping timeout: 264 seconds) |
| 2021-03-04 08:19:45 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-03-04 08:20:04 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 2021-03-04 08:22:10 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-03-04 08:22:20 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:8c46:2884:8ca1:7346) |
| 2021-03-04 08:22:25 | → | Benzi-Junior joins (~BenziJuni@88-149-67-143.du.xdsl.is) |
| 2021-03-04 08:25:24 | → | nineonin_ joins (~nineonine@2604:3d08:7785:9600:2076:7626:28f5:58b2) |
| 2021-03-04 08:26:25 | → | __minoru__shirae joins (~shiraeesh@46.34.206.213) |
| 2021-03-04 08:28:58 | → | ssedov joins (~stas@2a00:13c0:63:7195::beef) |
| 2021-03-04 08:29:05 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 260 seconds) |
| 2021-03-04 08:29:10 | → | jiribenes_ joins (~jiribenes@rosa.jiribenes.com) |
| 2021-03-04 08:29:35 | → | whez_ joins (sid470288@gateway/web/irccloud.com/x-pthafhujofirezkd) |
| 2021-03-04 08:29:37 | → | Nascha_ joins (sid212230@gateway/web/irccloud.com/x-qczetniwqeazgilv) |
| 2021-03-04 08:29:37 | → | mcfilib_ joins (sid302703@gateway/web/irccloud.com/x-ownjkwkezqcygkve) |
| 2021-03-04 08:29:38 | → | caasih_ joins (sid13241@gateway/web/irccloud.com/x-qijdxufzyweqhywy) |
| 2021-03-04 08:29:38 | → | benkolera_ joins (sid285671@gateway/web/irccloud.com/x-sxotikxkrteyeims) |
| 2021-03-04 08:29:38 | → | alexknvl_ joins (sid259568@gateway/web/irccloud.com/x-aicokisyczvigycz) |
| 2021-03-04 08:29:39 | → | parseval_ joins (sid239098@gateway/web/irccloud.com/x-umgugjvykfxjuxhz) |
| 2021-03-04 08:29:39 | → | m-renaud_ joins (sid333785@gateway/web/irccloud.com/x-bkrbrcredfckpflf) |
| 2021-03-04 08:29:39 | → | tnks_ joins (sid412124@gateway/web/irccloud.com/x-ofaeezfkxpltipls) |
| 2021-03-04 08:29:40 | → | ajmcmiddlin_ joins (sid284402@gateway/web/irccloud.com/x-vfnugzfwoucjmsyx) |
| 2021-03-04 08:29:40 | → | Tritlo_ joins (sid58727@gateway/web/irccloud.com/x-wbzdtjqdjxocddky) |
| 2021-03-04 08:29:40 | → | wildsebastian_ joins (sid324688@gateway/web/irccloud.com/x-lebzerklkyeltgpg) |
| 2021-03-04 08:29:41 | → | mpickering_ joins (sid78412@gateway/web/irccloud.com/x-xcaymlyqrctfybyu) |
| 2021-03-04 08:29:41 | → | edwardk_ joins (sid47016@haskell/developer/edwardk) |
| 2021-03-04 08:29:48 | → | Kronic_ joins (sid480486@gateway/web/irccloud.com/x-nxsfkkgroattssdp) |
| 2021-03-04 08:29:49 | → | atriq joins (~Taneb@runciman.hacksoc.org) |
| 2021-03-04 08:29:51 | → | bjs_ joins (sid190364@gateway/web/irccloud.com/x-orptgfjwvvatppsz) |
| 2021-03-04 08:29:51 | → | tomsmeding_ joins (~tomsmedin@2a03:b0c0:0:1010::767:3001) |
| 2021-03-04 08:29:52 | → | gOOgler_ joins (uid125351@gateway/web/irccloud.com/x-xqfkukcjcgrzokzf) |
| 2021-03-04 08:29:53 | → | ocharles_ joins (sid30093@musicbrainz/user/ocharles) |
| 2021-03-04 08:29:53 | → | jonrh_ joins (sid5185@gateway/web/irccloud.com/x-edynkmjkttfouabi) |
| 2021-03-04 08:29:54 | → | typetetris_ joins (sid275937@gateway/web/irccloud.com/x-slhwzzrziatkashc) |
| 2021-03-04 08:29:54 | → | dgpratt_ joins (sid193493@gateway/web/irccloud.com/x-ciamvfkocjxmyaoq) |
| 2021-03-04 08:29:59 | → | billstclair_ joins (sid77830@gateway/web/irccloud.com/x-scbeoiqvbygvcgod) |
| 2021-03-04 08:30:03 | → | dequbed joins (~dequbed@yanduxian.paranoidlabs.org) |
| 2021-03-04 08:30:04 | → | Kamuela_ joins (sid111576@gateway/web/irccloud.com/x-rawlogsccanndxab) |
| 2021-03-04 08:30:05 | → | npgm_ joins (sid42623@gateway/web/irccloud.com/x-kuowlapmdjoqcdvp) |
| 2021-03-04 08:30:06 | → | affinespaces_ joins (sid327561@gateway/web/irccloud.com/x-ggonmcpljdasmoht) |
| 2021-03-04 08:30:07 | → | infinisi1 joins (~infinisil@NixOS/user/infinisil) |
| 2021-03-04 08:30:08 | → | stylewarning_ joins (stylewarni@gateway/web/irccloud.com/x-gonmnbqftdyxklpu) |
| 2021-03-04 08:30:14 | → | higherorder__ joins (sid185221@gateway/web/irccloud.com/x-ulsufjwffnavwfuo) |
| 2021-03-04 08:30:14 | → | betawaffle_ joins (sid2730@gateway/web/irccloud.com/x-bxkcemrjdfeodlht) |
All times are in UTC.