Logs: freenode/#haskell
| 2021-05-17 12:55:19 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 12:55:23 | → | biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-17 12:56:09 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 12:58:10 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 12:58:25 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 13:03:18 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) |
| 2021-05-17 13:04:42 | × | henninb quits (~henninb@63-226-190-31.mpls.qwest.net) (Quit: Lost terminal) |
| 2021-05-17 13:07:19 | × | RusAlex quits (~Chel@unaffiliated/rusalex) (Quit: WeeChat 3.0) |
| 2021-05-17 13:07:29 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) (Ping timeout: 245 seconds) |
| 2021-05-17 13:07:36 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-17 13:11:49 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 13:12:04 | × | patlv quits (~patlv@unaffiliated/patlv) (Ping timeout: 245 seconds) |
| 2021-05-17 13:13:45 | → | geekosaur joins (45870322@069-135-003-034.biz.spectrum.com) |
| 2021-05-17 13:14:42 | → | N4lt joins (~N4lt@modemcable159.116-21-96.mc.videotron.ca) |
| 2021-05-17 13:16:14 | → | bahamas joins (~lucian@86.125.184.64) |
| 2021-05-17 13:16:15 | × | bahamas quits (~lucian@86.125.184.64) (Changing host) |
| 2021-05-17 13:16:15 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2021-05-17 13:16:22 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) |
| 2021-05-17 13:16:42 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-17 13:18:28 | × | xenon- quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/) |
| 2021-05-17 13:19:03 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-17 13:19:31 | × | Guest37858 quits (~alexander@2a02:587:dc19:ab00:49f:5b0e:f658:23e8) (Ping timeout: 260 seconds) |
| 2021-05-17 13:20:34 | → | guest517` joins (~user@49.5.6.87) |
| 2021-05-17 13:20:35 | × | guest517 quits (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-05-17 13:20:55 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-17 13:22:11 | × | xsperry quits (~as@unaffiliated/xsperry) () |
| 2021-05-17 13:23:58 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 13:24:46 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-17 13:25:33 | → | xsperry joins (~as@unaffiliated/xsperry) |
| 2021-05-17 13:28:06 | → | alx741 joins (~alx741@186.178.108.105) |
| 2021-05-17 13:30:51 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 13:33:11 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) (Remote host closed the connection) |
| 2021-05-17 13:33:49 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) |
| 2021-05-17 13:34:13 | × | jao quits (~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds) |
| 2021-05-17 13:34:40 | → | knupfer joins (~Thunderbi@200116b822d01a00f69634fffef0b45f.dip.versatel-1u1.de) |
| 2021-05-17 13:35:40 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-17 13:37:18 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) |
| 2021-05-17 13:37:36 | × | kjak quits (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 265 seconds) |
| 2021-05-17 13:37:36 | × | Qwerky quits (~qwerky@178.197.228.14) (Remote host closed the connection) |
| 2021-05-17 13:37:55 | → | kjak joins (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) |
| 2021-05-17 13:39:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:5d48:8adb:4f7a:141b) (Client Quit) |
| 2021-05-17 13:44:27 | × | drbean_ quits (~drbean@TC210-63-209-188.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-17 13:44:36 | → | mikoto-chan joins (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-17 13:48:32 | → | ddellac__ joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 13:49:18 | → | moth1 joins (~moth@37.120.211.190) |
| 2021-05-17 13:50:11 | × | sagax quits (~sagax_nb@213.138.71.146) (Ping timeout: 246 seconds) |
| 2021-05-17 13:52:00 | → | willardthor joins (d4ed87cf@c-xd4ed87cf.cust.hiper.dk) |
| 2021-05-17 13:52:58 | → | Qwerky joins (~qwerky@178.197.228.14) |
| 2021-05-17 13:53:09 | × | ddellac__ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 13:56:47 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-lpmljnscttdlzszw) |
| 2021-05-17 13:57:39 | → | hypercube joins (~hypercube@2603-6011-f901-9e5b-78b5-8b2f-cdb2-4171.res6.spectrum.com) |
| 2021-05-17 13:57:46 | × | Qwerky quits (~qwerky@178.197.228.14) (Ping timeout: 260 seconds) |
| 2021-05-17 13:58:21 | × | Merfont quits (~Kaiepi@47.54.252.148) (Ping timeout: 260 seconds) |
| 2021-05-17 14:00:06 | → | st8less joins (~st8less@2603:a060:11fd:0:475f:7ec2:20c6:ac2c) |
| 2021-05-17 14:03:13 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-17 14:03:36 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-17 14:04:27 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-pmhdkeusnrjysucn) |
| 2021-05-17 14:05:44 | × | undvrainbowvita8 quits (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 2021-05-17 14:08:29 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 2021-05-17 14:10:08 | × | shiraeeshi quits (~shiraeesh@46.34.206.196) (Ping timeout: 246 seconds) |
| 2021-05-17 14:10:21 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-17 14:10:46 | × | Rudd0^ quits (~Rudd0@185.189.115.103) (Ping timeout: 252 seconds) |
| 2021-05-17 14:11:35 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-17 14:14:54 | <boxscape> | I keep thinking the extension is called OverloadedRecordFields instead of DuplicateRecordFields |
| 2021-05-17 14:15:10 | <boxscape> | Duplicate kind of seems to imply 2, maybe it should be n-plicateRecordFields |
| 2021-05-17 14:16:26 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-17 14:17:37 | → | undvrainbowvita8 joins (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-17 14:17:58 | <Cale> | RamifiedRecordFields, lol |
| 2021-05-17 14:20:23 | × | guest517` quits (~user@49.5.6.87) (Read error: Connection reset by peer) |
| 2021-05-17 14:20:32 | → | guest517` joins (~user@49.5.6.87) |
| 2021-05-17 14:20:39 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) (Remote host closed the connection) |
| 2021-05-17 14:20:55 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:f135:532c:2de6:afae) |
| 2021-05-17 14:21:31 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-17 14:23:45 | × | xff0x quits (~xff0x@2001:1a81:535b:1600:c038:9b40:2a0a:496d) (Ping timeout: 250 seconds) |
| 2021-05-17 14:24:16 | → | Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-54-173-93.dhcp-dynamic.fibreop.nb.bellaliant.net) |
| 2021-05-17 14:24:19 | <willardthor> | Hi folks, can any of you help me understand an error that I am getting? (I am still learning) (If this is the wrong place to ask, then let me know, and I'll ask elsewhere). See https://paste.tomsmeding.com/emRl2ySZ . I've created a type class for "types with a default value". Its single operation is `def`, which yields said default value. However, |
| 2021-05-17 14:24:19 | <willardthor> | when I use it when defining functions with a polymorphic type, GHCI cannot figure out which type `def` should be, and it won't let me coerce `def` to the (polymorphic) type that I want it to have. Any ideas? |
| 2021-05-17 14:25:36 | → | xff0x joins (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-05-17 14:25:53 | <geekosaur> | going through this in order, ghci assumes Integer because of defaulting |
| 2021-05-17 14:25:53 | <Cale> | willardthor: What happens if you remove the annotation? Just write def and not def :: v? |
| 2021-05-17 14:26:06 | <Cale> | The problem is that you're not using ScopedTypeVariables, I think |
| 2021-05-17 14:26:25 | <geekosaur> | you'd also need an explicit forall in that case |
| 2021-05-17 14:26:44 | <geekosaur> | basically the scope of v does not extend to the definition, only to the declaration |
| 2021-05-17 14:26:48 | <Cale> | You can do so by adding {-# LANGUAGE ScopedTypeVariables #-} to the top of your file, and adding a forall like thedef :: forall v. Def v => v |
| 2021-05-17 14:27:07 | × | mrchampion quits (~mrchampio@206.186.171.254) (Ping timeout: 252 seconds) |
| 2021-05-17 14:27:09 | <Cale> | and then you'll be able to use v to refer to the actual type that v was bound to, in the definition of thedef |
| 2021-05-17 14:27:30 | <Cale> | Without that extension, type variables only scope over a single type signature |
| 2021-05-17 14:27:48 | <boxscape> | stupid question: Is there a (possibly hacky) way to call local bindings of a function in ghci? |
| 2021-05-17 14:27:54 | <Cale> | So when you say def :: v GHC has no way of knowing that it's the same v |
| 2021-05-17 14:28:03 | <Cale> | boxscape: nope |
| 2021-05-17 14:28:04 | <geekosaur> | boxscape, no |
| 2021-05-17 14:28:06 | <boxscape> | okay |
| 2021-05-17 14:28:20 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-17 14:28:21 | <Cale> | Well, maybe *really* hacky |
| 2021-05-17 14:28:44 | <Cale> | If you happened to know where GHC put them in memory (and they hadn't been inlined) |
| 2021-05-17 14:28:49 | → | UTENTE joins (~Username@176.32.27.9) |
| 2021-05-17 14:28:54 | → | alexander joins (~alexander@athedsl-351794.home.otenet.gr) |
| 2021-05-17 14:28:56 | <boxscape> | heh okay that sounds fragile |
| 2021-05-17 14:28:59 | <Cale> | But that's not going to be easy at all |
| 2021-05-17 14:29:02 | <Cale> | yeah |
All times are in UTC.