Logs: freenode/#haskell
| 2021-05-04 20:44:18 | <yahb> | safinaskar: 0 |
| 2021-05-04 20:44:35 | <safinaskar> | why this works? ghc doesn't know monomorphic type of "[]" here |
| 2021-05-04 20:44:58 | <geekosaur> | :t length |
| 2021-05-04 20:45:00 | <lambdabot> | Foldable t => t a -> Int |
| 2021-05-04 20:45:33 | <geekosaur> | the type signature says it works for any a, so it can't look at the contents, only the list itself |
| 2021-05-04 20:45:34 | → | chisui joins (588239b3@mue-88-130-57-179.dsl.tropolys.de) |
| 2021-05-04 20:45:54 | <Uniaika> | safinaskar: it's not monomorphic, Foldable takes the helm |
| 2021-05-04 20:46:24 | <Uniaika> | and you've given it something like [] @a so it's polymorphic in the inner element |
| 2021-05-04 20:46:31 | <geekosaur> | and when it goes to pick a type for it, it picks [] for t and () for a because of ExtendedDefaultRules |
| 2021-05-04 20:46:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-04 20:46:46 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-05-04 20:47:42 | <geekosaur> | in a program it usually has more to infer on, but will complain with default defaulting |
| 2021-05-04 20:47:58 | × | mnrmnaugh quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Read error: Connection reset by peer) |
| 2021-05-04 20:48:00 | <safinaskar> | "default defaulting"... |
| 2021-05-04 20:48:06 | × | myShoggoth quits (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-05-04 20:48:33 | <geekosaur> | I think even the Report uses that terminology |
| 2021-05-04 20:48:41 | → | gnumonic joins (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-05-04 20:48:57 | <Uniaika> | :') |
| 2021-05-04 20:49:13 | → | hiroaki joins (~hiroaki@2a02:8108:8c40:2bb8:7c7a:6e3f:2800:2d5e) |
| 2021-05-04 20:49:41 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 20:50:44 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 2021-05-04 20:51:15 | → | dinciorip joins (~dincio@5.170.45.67) |
| 2021-05-04 20:51:49 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-05-04 20:52:31 | <safinaskar> | ok, thanks |
| 2021-05-04 20:52:32 | ← | safinaskar parts (~user@109.252.90.136) () |
| 2021-05-04 20:54:17 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-04 20:54:26 | → | ep1ctetus_ joins (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-04 20:54:48 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-04 20:55:02 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-04 20:55:22 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-04 20:57:29 | × | epicte7us quits (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 260 seconds) |
| 2021-05-04 20:57:35 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 20:59:56 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-04 21:00:01 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-04 21:00:15 | × | Guest37426 quits (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 2021-05-04 21:00:17 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Quit: Curry, you fools!) |
| 2021-05-04 21:00:51 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-04 21:01:49 | → | ValeraRozuvan joins (~ValeraRoz@95.164.65.159) |
| 2021-05-04 21:02:22 | × | ValeraRozuvan quits (~ValeraRoz@95.164.65.159) (Remote host closed the connection) |
| 2021-05-04 21:04:59 | × | HannaM quits (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-04 21:05:11 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-04 21:05:40 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Remote host closed the connection) |
| 2021-05-04 21:07:54 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) |
| 2021-05-04 21:10:04 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-04 21:11:05 | × | Ariakenom quits (~Ariakenom@2001:9b1:efb:fc00:c815:f081:13d7:6b7d) (Quit: Leaving) |
| 2021-05-04 21:12:04 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:4851:1ff9:a46:9389) (Ping timeout: 245 seconds) |
| 2021-05-04 21:13:21 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 2021-05-04 21:14:04 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-04 21:15:57 | × | Synthetica quits (uid199651@gateway/web/irccloud.com/x-nkfpmozoufuddpsw) (Quit: Connection closed for inactivity) |
| 2021-05-04 21:17:33 | → | ValeraRozuvan joins (~ValeraRoz@95.164.65.159) |
| 2021-05-04 21:19:20 | × | cdsmith quits (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 2021-05-04 21:20:49 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-04 21:20:51 | → | myShoggoth joins (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-04 21:21:56 | × | ValeraRozuvan quits (~ValeraRoz@95.164.65.159) (Client Quit) |
| 2021-05-04 21:22:31 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Client Quit) |
| 2021-05-04 21:22:59 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-04 21:23:33 | × | jgt_ quits (~jgt@87.227.221.129) (Ping timeout: 265 seconds) |
| 2021-05-04 21:23:33 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-04 21:24:38 | → | safinaskar joins (~user@109.252.90.136) |
| 2021-05-04 21:24:57 | × | knupfer quits (~Thunderbi@200116b82b19e500902b8df26cfd07b7.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-04 21:25:11 | <safinaskar> | i just have read that "read world haskell" has some outdated info on exceptions. is it true? |
| 2021-05-04 21:28:11 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-04 21:29:22 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-04 21:29:33 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-04 21:30:47 | × | fendor quits (~fendor@178.115.128.74.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-05-04 21:30:51 | fendor_ | is now known as fendor |
| 2021-05-04 21:31:50 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-04 21:32:44 | × | fendor quits (~fendor@178.115.128.74.wireless.dyn.drei.com) (Quit: Leaving) |
| 2021-05-04 21:32:46 | <geekosaur> | yes |
| 2021-05-04 21:32:51 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-04 21:32:51 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-04 21:33:00 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 2021-05-04 21:33:06 | <geekosaur> | the extensible exceptions mechanism was introduced right after it was printed |
| 2021-05-04 21:33:20 | <geekosaur> | there's an updated version of RWH somewhere |
| 2021-05-04 21:34:07 | → | cdsmith joins (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-04 21:34:08 | → | Wamanuz joins (~wamanuz@78-70-34-81-no84.tbcn.telia.com) |
| 2021-05-04 21:34:11 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-05-04 21:34:50 | <geekosaur> | https://github.com/tssm/up-to-date-real-world-haskell I think? |
| 2021-05-04 21:35:59 | → | nicholas_ joins (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) |
| 2021-05-04 21:36:47 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-04 21:38:31 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 21:38:33 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-04 21:38:36 | × | aidecoe quits (~aidecoe@unaffiliated/aidecoe) (Remote host closed the connection) |
| 2021-05-04 21:38:49 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-04 21:39:04 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Read error: No route to host) |
| 2021-05-04 21:39:15 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-04 21:39:19 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 276 seconds) |
| 2021-05-04 21:40:53 | × | mounty quits (~mounty@236.216.214.218.sta.wbroadband.net.au) (Client Quit) |
| 2021-05-04 21:41:16 | × | nicholas_ quits (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) (Ping timeout: 276 seconds) |
| 2021-05-04 21:41:51 | → | mounty joins (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-04 21:42:32 | × | geekosaur quits (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-04 21:42:55 | → | geekosaur joins (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-04 21:43:03 | <safinaskar> | geekosaur: thanks |
| 2021-05-04 21:44:07 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-04 21:47:08 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-05-04 21:51:20 | → | nrdmn98 joins (~nrdmn@aufmachen.jetzt) |
| 2021-05-04 21:52:59 | <Arahael> | I think "real world haskell" should have a bigger focus on FFI these days. |
| 2021-05-04 21:53:37 | <Arahael> | Especially with inline-cc, inline-rust, or whatever, haskell does a crazy good job at that. |
| 2021-05-04 21:53:47 | Arahael | hasn't tried them, done them with rust instead. |
| 2021-05-04 21:53:57 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
All times are in UTC.