Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4959 4960 4961 4962 4963 4964 4965 4966 4967 4968 4969 .. 5022
— 502,152 events total
2021-05-19 09:36:27 → angerman joins (sid209936@gateway/web/irccloud.com/x-tvzlgqnryzmttqrp)
2021-05-19 09:36:45 → amatecha____ joins (sid10006@gateway/web/irccloud.com/x-aosdzawxnsdcpbcg)
2021-05-19 09:36:53 → ProofTechnique joins (sid79547@gateway/web/irccloud.com/x-jxirtllqaejvorik)
2021-05-19 09:37:59 → liszt joins (sid336875@gateway/web/irccloud.com/x-zqxewtoqyhomqjkh)
2021-05-19 09:38:22 → pepeiborra joins (sid443799@gateway/web/irccloud.com/x-bdwbbflprnbyblgx)
2021-05-19 09:38:23 × jusss quits (~user@unaffiliated/jusss) (Read error: Connection reset by peer)
2021-05-19 09:38:30 → jusss joins (~user@unaffiliated/jusss)
2021-05-19 09:38:46 → aVikingTrex joins (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea)
2021-05-19 09:38:50 → aizen_s joins (sid462968@gateway/web/irccloud.com/x-psggadgylxecipbs)
2021-05-19 09:39:37 → tapas joins (sid467876@gateway/web/irccloud.com/x-wqbatyuvmrgyaano)
2021-05-19 09:39:56 → alexknvl joins (sid259568@gateway/web/irccloud.com/x-vlautwzzmkgdpwsy)
2021-05-19 09:40:16 → moobar joins (sid171730@gateway/web/irccloud.com/x-wtugzwowthscnewj)
2021-05-19 09:40:17 → betawaffle joins (sid2730@gateway/web/irccloud.com/x-tjhadjphqmvqvxvs)
2021-05-19 09:40:32 → Pickchea joins (~private@unaffiliated/pickchea)
2021-05-19 09:40:43 → jonrh joins (sid5185@gateway/web/irccloud.com/x-yylqyfovfhzzbrxr)
2021-05-19 09:41:21 → runeks joins (sid21167@gateway/web/irccloud.com/x-avgmysnaxfdykcxg)
2021-05-19 09:42:34 → Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk)
2021-05-19 09:43:10 → drupol joins (sid117588@gateway/web/irccloud.com/x-sybqmpdbsjqsolwe)
2021-05-19 09:43:18 × pricly_yellow quits (~pricly_ye@static.90.189.158.212.sinor.ru) (Read error: Connection reset by peer)
2021-05-19 09:45:02 → ddellaco_ joins (ddellacost@gateway/vpn/mullvad/ddellacosta)
2021-05-19 09:45:11 × Chai-T-Rex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Remote host closed the connection)
2021-05-19 09:45:34 → Chai-T-Rex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2021-05-19 09:48:08 <kaol> \query lambdabot
2021-05-19 09:48:32 <[exa]> the other slash. :]
2021-05-19 09:48:49 <[exa]> jusss: what are you using for sending the files?
2021-05-19 09:48:52 × malumore_ quits (~malumore@151.62.117.153) (Ping timeout: 240 seconds)
2021-05-19 09:49:32 × ddellaco_ quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds)
2021-05-19 09:49:49 × lucky quits (~joel@unaffiliated/lucky) (Ping timeout: 250 seconds)
2021-05-19 09:53:41 × star_cloud quits (~star_clou@ec2-52-11-151-184.us-west-2.compute.amazonaws.com) (Ping timeout: 240 seconds)
2021-05-19 09:54:00 × kapil_ quits (~kapil@o-k.website) (Quit: ZNC 1.7.5+deb4 - https://znc.in)
2021-05-19 09:54:42 → kapil_ joins (~kapil@2a01:4f9:c010:c9c3::1)
2021-05-19 09:55:25 → sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-14-70-54-77-33.dsl.bell.ca)
2021-05-19 09:57:58 → tose joins (55a009dc@ip-85-160-9-220.eurotel.cz)
2021-05-19 09:58:17 × Arahael quits (~arahael@203-206-83-196.tpgi.com.au) (Quit: WeeChat 2.7.1)
2021-05-19 09:58:18 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-05-19 09:58:31 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-05-19 09:58:47 → arahael joins (~arahael@203-206-83-196.tpgi.com.au)
2021-05-19 10:00:03 × arahael quits (~arahael@203-206-83-196.tpgi.com.au) (Client Quit)
2021-05-19 10:00:11 → ccapndave joins (~ccapndave@213.55.220.146)
2021-05-19 10:00:45 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:00:49 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:00:50 <ccapndave> Hey - what is the syntax to use RecordWildCards to get everything out of a record, whilst also assigning the whole record to something. I tried (startParams @ StartParams {..} ) but GHC doesn't like that
2021-05-19 10:01:09 <dminuoso> StartParams{..}
2021-05-19 10:01:15 <merijn> That should work
2021-05-19 10:01:17 → arahael joins (~arahael@203-206-83-196.tpgi.com.au)
2021-05-19 10:01:23 <merijn> dminuoso: I don't think the space matters
2021-05-19 10:01:25 <dminuoso> The spaces in between are not permissable
2021-05-19 10:01:32 <merijn> Oh, wait
2021-05-19 10:01:33 <dminuoso> merijn: I think it does because of TypeApplications
2021-05-19 10:01:37 <ccapndave> Haha
2021-05-19 10:01:40 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:01:41 <ccapndave> That works
2021-05-19 10:01:43 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:01:43 <ccapndave> Thanks very much
2021-05-19 10:01:46 <merijn> That's not a type application?
2021-05-19 10:01:52 <merijn> That's an alias?
2021-05-19 10:02:01 <ccapndave> (startParams@StartParams {..}) that works
2021-05-19 10:02:02 <dminuoso> the space to the left
2021-05-19 10:02:03 <ccapndave> Its an alias
2021-05-19 10:02:08 <merijn> ccapndave: oh, yeah
2021-05-19 10:02:08 <ccapndave> Cheers!
2021-05-19 10:02:15 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:02:16 <merijn> ccapndave: You can't have spaces around @
2021-05-19 10:02:18 <dminuoso> i.e. `f @s` vs `f@s`
2021-05-19 10:02:20 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:02:20 <ccapndave> Got it
2021-05-19 10:02:22 <ccapndave> Ah of course
2021-05-19 10:02:35 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:02:36 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:02:37 <ccapndave> Because it thinks its one of the @String "dave" things
2021-05-19 10:02:39 <merijn> I move we strike TypeApplications from GHC >.>
2021-05-19 10:03:10 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:03:13 × stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds)
2021-05-19 10:03:15 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:03:21 <merijn> "but that makes writing extremely hard to infer type polymorphic code more tedious..." 'you say that like it's a bad thing...'
2021-05-19 10:03:28 <dminuoso> ccapndave: Right, those are called type applications
2021-05-19 10:03:30 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:03:31 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:03:39 <merijn> TypeApplications was a mistake is the hill I will die on
2021-05-19 10:03:41 <dminuoso> merijn: https://github.com/int-index/ghc-proposals/blob/visible-forall/proposals/0000-visible-forall.rst
2021-05-19 10:03:47 <ccapndave> Its the same as "dave" :: String is it?
2021-05-19 10:03:55 <dminuoso> ccapndave: No.
2021-05-19 10:03:56 <merijn> ccapndave: Yes, but no
2021-05-19 10:04:05 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:04:07 <ccapndave> :)
2021-05-19 10:04:10 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:04:19 <dminuoso> ccapndave: Roughly, a polymorphic type (one that has a type variable in its name), can be thought of being parametrized by a type
2021-05-19 10:04:25 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:04:26 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:04:32 <dminuoso> So to use such a type, one has to specify an argument for that type, conceptually
2021-05-19 10:04:49 <dminuoso> GHC does this automatically, it infers the necessary types, TypeApplications makes this explicit
2021-05-19 10:04:59 <dminuoso> i.e. if you write
2021-05-19 10:05:00 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:05:05 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:05:20 → tim joins (~tim@112-141-128-42.sta.dodo.net.au)
2021-05-19 10:05:20 <dminuoso> `id "foo"` GHC will internally interpret this as `id @String "Foo"`, wher e"
2021-05-19 10:05:22 × tim quits (~tim@112-141-128-42.sta.dodo.net.au) (Remote host closed the connection)
2021-05-19 10:05:25 → frozenErebus joins (~frozenEre@94.129.65.28)
2021-05-19 10:05:26 <dminuoso> "String" is a sort of argument to id
2021-05-19 10:05:34 <ccapndave> go it
←Prev  Next→
Page 1 .. 4959 4960 4961 4962 4963 4964 4965 4966 4967 4968 4969 .. 5022

All times are in UTC.