Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 166 167 168 169 170 171 172 173 174 175 176 .. 5022
— 502,152 events total
2020-09-23 20:53:55 → amatecha__ joins (sid10006@gateway/web/irccloud.com/x-mhkzuyzkzyxujbyp)
2020-09-23 20:54:06 → Kamuela joins (sid111576@gateway/web/irccloud.com/x-xlqrhagcwhphbieg)
2020-09-23 20:54:19 → ghuntley joins (sid16877@gateway/web/irccloud.com/x-cdutoeaetcykkhmh)
2020-09-23 20:54:22 → iphy joins (sid67735@gateway/web/irccloud.com/x-ljktqldirtfuvhxf)
2020-09-23 20:54:26 → Nascha joins (sid212230@gateway/web/irccloud.com/x-mayrideklcmxzbwe)
2020-09-23 20:54:29 → pepeiborra joins (sid443799@gateway/web/irccloud.com/x-bikhixmhqqkozscp)
2020-09-23 20:56:18 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds)
2020-09-23 20:56:37 × falafel quits (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a) (Ping timeout: 260 seconds)
2020-09-23 20:58:27 hackage rng-utils 0.3.1 - RNG within an IORef for convenient concurrent use https://hackage.haskell.org/package/rng-utils-0.3.1 (MichaelXavier)
2020-09-23 21:00:01 × MasterGruntR75 quits (~MasterGru@s91904426.blix.com) ()
2020-09-23 21:01:11 → i7ofi9 joins (~i7ofi9@pool-173-76-100-85.bstnma.fios.verizon.net)
2020-09-23 21:01:36 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-23 21:02:44 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net)
2020-09-23 21:02:57 × juuandyy quits (~juuandyy@90.166.144.65) (Quit: Konversation terminated!)
2020-09-23 21:03:03 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-23 21:04:13 → coeus joins (~coeus@p200300d02724ef00d20f0ecf5ac74df4.dip0.t-ipconnect.de)
2020-09-23 21:04:22 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-09-23 21:05:01 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2020-09-23 21:05:33 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2020-09-23 21:05:34 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-09-23 21:06:20 × adamwespiser quits (~adam_wesp@209.6.42.110) (Ping timeout: 260 seconds)
2020-09-23 21:06:34 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2020-09-23 21:08:37 → cosimone_ joins (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6)
2020-09-23 21:11:07 × cosimone quits (~cosimone@2001:b07:ae5:db26:b248:7aff:feea:34b6) (Ping timeout: 240 seconds)
2020-09-23 21:13:23 × Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Remote host closed the connection)
2020-09-23 21:14:45 → Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-09-23 21:15:34 × z0 quits (~z0@bl15-163-199.dsl.telepac.pt) (Ping timeout: 272 seconds)
2020-09-23 21:15:56 × macrover quits (~macrover@ip70-189-231-35.lv.lv.cox.net) (Remote host closed the connection)
2020-09-23 21:18:53 <monochrom> Suppose I have an ADT "data T = C1 | C2 Int | C3 Char Double". Do you say: There are 3 variants? 3 cases? 3 summands? Or any wording I haven't named but you already use.
2020-09-23 21:19:34 <monochrom> I understand that it can be "3 constructors", but for a technical reason I want to avoid that until the last resort.
2020-09-23 21:19:55 <dolio> I'd say cases if not constructors, probably.
2020-09-23 21:20:22 <dolio> Although normally I'd probably only say that if talking about matching.
2020-09-23 21:21:24 → rah1 joins (~rah@184.75.221.203)
2020-09-23 21:22:05 <dolio> You could say 'tags' too, maybe. 'Summand' (or similar words) is probably the worst.
2020-09-23 21:22:51 <monochrom> Heh.
2020-09-23 21:23:11 × oab quits (~oab@214.92-220-221.customer.lyse.net) (Quit: WeeChat 2.8)
2020-09-23 21:23:27 <MarcelineVQ> monochrom: I'd be more likely to say cases but 'choices' is an option too
2020-09-23 21:23:42 <MarcelineVQ> options, etc
2020-09-23 21:23:58 <monochrom> I included "summand" as a candidate because the whole sentence goes like "the sum structure, if there are 2 or more summands, is represented by the :+: type"
2020-09-23 21:23:59 <MarcelineVQ> Depends on the sentences preceding the use of the word
2020-09-23 21:24:32 <monochrom> (For the larger context, I'm writing a tutorial or study notes for GHC.Generics!)
2020-09-23 21:25:50 → oab joins (~oab@214.92-220-221.customer.lyse.net)
2020-09-23 21:27:26 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-23 21:27:44 <MarcelineVQ> "a value of T can take 3 distinct forms" is something I'd be likely to say too, especially if I didn't want to look up the word summand
2020-09-23 21:28:36 × Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Quit: WeeChat 2.9)
2020-09-23 21:29:43 → Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-09-23 21:31:27 × knupfer quits (~Thunderbi@200116b824c6e6009123af3bed7bf32f.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-09-23 21:31:32 × cheater quits (~user@unaffiliated/cheater) (Ping timeout: 260 seconds)
2020-09-23 21:33:02 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-09-23 21:33:06 × fendor quits (~fendor@91.141.3.57.wireless.dyn.drei.com) (Remote host closed the connection)
2020-09-23 21:34:32 × Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Client Quit)
2020-09-23 21:34:50 × chele quits (~chele@ip5b416ea2.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2020-09-23 21:34:54 <hekkaidekapus> monochrom: In “Software Foundations”, `Inductive day : Type := | monday : day | tuesday : day`, monday, tuesday, etc are called members of `day`.
2020-09-23 21:35:03 → Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-09-23 21:35:43 → irc_user joins (uid423822@gateway/web/irccloud.com/x-zcagtoolpvznahhu)
2020-09-23 21:36:21 × Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Remote host closed the connection)
2020-09-23 21:36:35 × _vaibhavingale_ quits (~Adium@110.172.22.172) (Quit: Leaving.)
2020-09-23 21:36:58 → rprije joins (~rprije@27.143.220.203.dial.dynamic.acc01-myal-dub.comindico.com.au)
2020-09-23 21:37:07 → Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-09-23 21:37:50 × Raito_Bezarius quits (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578) (Client Quit)
2020-09-23 21:37:55 → cheater joins (~user@unaffiliated/cheater)
2020-09-23 21:38:34 × jdgr quits (601c428b@gateway/web/cgi-irc/kiwiirc.com/ip.96.28.66.139) (Ping timeout: 246 seconds)
2020-09-23 21:41:04 → son0p joins (~son0p@181.136.122.143)
2020-09-23 21:41:56 → owiecc joins (~textual@85.218.171.87)
2020-09-23 21:43:52 × owiecc quits (~textual@85.218.171.87) (Client Quit)
2020-09-23 21:44:09 → owiecc joins (~textual@85.218.171.87)
2020-09-23 21:44:13 × owiecc quits (~textual@85.218.171.87) (Client Quit)
2020-09-23 21:44:28 <phadej> but they are nullary constructors
2020-09-23 21:44:31 <phadej> so member makes sense
2020-09-23 21:45:17 <phadej> but in "data Nat = Z | S Nat", Z is member of Nat, but S isn't, when n is member of Nat, then `S n` (applied!) is member of Nat
2020-09-23 21:45:17 → adamwespiser joins (~adam_wesp@209.6.42.110)
2020-09-23 21:46:07 <phadej> i.e. I think "is member of" is another way to say "is value of type"
2020-09-23 21:46:16 <EvanR> in everyday language you imagine something can be members of more than one club at the same time, but types don't allow that
2020-09-23 21:46:22 <hekkaidekapus> The “member” naming lasts for a one paragraph, then “constructor” takes over.
2020-09-23 21:46:30 → eric joins (~eric@2804:431:c7d4:b4fa:51d1:5637:ed81:5491)
2020-09-23 21:46:38 <EvanR> unless it's one of those off the wall subtyping theories
2020-09-23 21:46:44 <phadej> EvanR: yeah, member has very set-theoretical ring to it :)
2020-09-23 21:46:55 <phadej> one thing can be member of many sets
2020-09-23 21:47:46 <EvanR> think of types as sets, until you don't
2020-09-23 21:47:50 <dolio> Not all set theories allow elements to be in more than one set.
2020-09-23 21:48:16 <EvanR> true, ETCS
2020-09-23 21:48:19 <monochrom> Everyday language also uses very-flexible subtyping, union typing, intersection typing, and stereotyping. :)
2020-09-23 21:48:35 × barzo quits (~hd@95.70.181.226) (Quit: leaving)
2020-09-23 21:48:35 × ixlun quits (~matthew@213.205.241.18) (Ping timeout: 240 seconds)
2020-09-23 21:48:43 <dolio> They can only be in multiple subsets of a given set, but subsets and sets might not be the same thing.
2020-09-23 21:48:49 <EvanR> when will GHC support stereotyping?
2020-09-23 21:49:19 <phadej> I'd say that "constructor" is the word to use
2020-09-23 21:49:28 <phadej> but if one cannot, than it is ones' problem
2020-09-23 21:49:43 → Raito_Bezarius joins (~Raito_Bez@unaffiliated/raito-bezarius/x-8764578)
2020-09-23 21:49:52 <EvanR> when in rome
2020-09-23 21:50:32 <monochrom> The singletons library (and its design pattern) is based on stereo typing. >:)
2020-09-23 21:50:48 <dolio> monochrom: nlab says they're called coprojections.
2020-09-23 21:51:00 → falafel joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-23 21:52:13 <monochrom> For example, you have both "Nat(Z, S)" and "SingNat(SingZ, SingS)" at the same level, and they are in bijection. That's a majectic stereo pair of the same type --- stereo typing. >:)
2020-09-23 21:53:24 <monochrom> Haha wish me luck if I write a GHC.Generics tutorial and keep saying "coprojections" instead of "data constructors".
2020-09-23 21:53:36 <glguy> We need some distingushed base types so we can get 2.1 stereo types...
2020-09-23 21:53:43 <monochrom> or even "injections"
2020-09-23 21:53:49 × oab quits (~oab@214.92-220-221.customer.lyse.net) (Quit: WeeChat 2.8)
2020-09-23 21:53:49 <dolio> It says you're also allowed to call them injections or inclusions.
2020-09-23 21:53:59 <dolio> Injection could be misleading, though.
←Prev  Next→
Page 1 .. 166 167 168 169 170 171 172 173 174 175 176 .. 5022

All times are in UTC.