Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 911 912 913 914 915 916 917 918 919 920 921 .. 5022
— 502,152 events total
2020-10-28 10:32:17 <dminuoso> data ConDecl l where ConDecl l (Name l) [Type l] | ...
2020-10-28 10:32:26 <dminuoso> This is from haskell-src-exts, what is this type list?
2020-10-28 10:32:45 <dminuoso> Is that possibly for DatatypeContexts?
2020-10-28 10:34:34 <dminuoso> Oh shoot me.
2020-10-28 10:34:42 <dminuoso> Haskell for beginners.
2020-10-28 10:36:13 × Neo-- quits (~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 264 seconds)
2020-10-28 10:37:37 → bennofs1 joins (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de)
2020-10-28 10:43:15 → darjeeling_ joins (~darjeelin@115.215.42.47)
2020-10-28 10:43:30 → bartemius joins (~bartemius@109-252-20-20.nat.spd-mgts.ru)
2020-10-28 10:46:52 × jneira quits (501e64fa@gateway/web/cgi-irc/kiwiirc.com/ip.80.30.100.250) (Ping timeout: 246 seconds)
2020-10-28 10:49:25 → jedws joins (~jedws@101.184.193.144)
2020-10-28 10:50:08 → Neo-- joins (~neo@188-230-154-134.dynamic.t-2.net)
2020-10-28 10:53:20 <tomsmeding> I believe there was a conversation here a few days back with a beginning haskell programmer that had trouble distinguishing [a] on the type level and a singleton list on the value level
2020-10-28 10:54:09 → jess-o-lantern joins (jess@freenode/staff/jess)
2020-10-28 10:54:50 <tomsmeding> oh wait I'm misunderstanding your misunderstanding am I not
2020-10-28 10:55:08 <tomsmeding> yay
2020-10-28 10:55:25 <lortabac> types and data constructors with the same name were my main source of confusion when I was a beginner
2020-10-28 10:56:56 <tomsmeding> understandable
2020-10-28 10:57:31 × Neo-- quits (~neo@188-230-154-134.dynamic.t-2.net) (Ping timeout: 265 seconds)
2020-10-28 10:57:49 × aarvar quits (~foewfoiew@50.35.43.33) (Ping timeout: 264 seconds)
2020-10-28 10:58:16 <dminuoso> tomsmeding: Haha, I was just wondering "what in the name does a data constructor declaration need a type for"
2020-10-28 10:58:24 <dminuoso> My brain stopped working there for a good 5 minutes.
2020-10-28 10:58:47 → carlomagno1 joins (~cararell@148.87.23.8)
2020-10-28 10:58:48 <tomsmeding> it's also kind of confusing
2020-10-28 10:59:04 × cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 240 seconds)
2020-10-28 10:59:15 <tomsmeding> "data constructor" is probably a value-level constructor, which takes value-level arguments
2020-10-28 10:59:43 <tomsmeding> so on the surface, having no idea about the organisation of haskell-src-exts, I'd assume that those types are the instantiations of the type variables of the data type or something?
2020-10-28 10:59:49 <tomsmeding> but that makes no sense in the context of a parser
2020-10-28 10:59:51 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-10-28 11:00:00 × fendor_ quits (~fendor@91.141.3.89.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-28 11:00:11 <tomsmeding> and if it's really a data _type_ declaration, then please do not call that a "data cosntructor"
2020-10-28 11:01:18 → fendor joins (~fendor@91.141.3.89.wireless.dyn.drei.com)
2020-10-28 11:01:34 × carlomagno quits (~cararell@148.87.23.12) (Ping timeout: 246 seconds)
2020-10-28 11:02:35 <dminuoso> tomsmeding: `data Foo = Bar Int`
2020-10-28 11:02:39 <dminuoso> Here the `Int` is meant
2020-10-28 11:02:55 <dminuoso> (The declaration of the data constructor Bar does take a number of types)
2020-10-28 11:03:06 <tomsmeding> lol
2020-10-28 11:03:07 × jedws quits (~jedws@101.184.193.144) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-28 11:03:22 × cheater quits (~user@unaffiliated/cheater) (Ping timeout: 260 seconds)
2020-10-28 11:03:33 <tomsmeding> I guess we can share the bullet
2020-10-28 11:10:46 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-28 11:11:17 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-28 11:12:37 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-10-28 11:17:44 × ensyde quits (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net) (Ping timeout: 272 seconds)
2020-10-28 11:18:24 → Guest18 joins (567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102)
2020-10-28 11:19:24 × knupfer quits (~Thunderbi@200116b82c88900038812dc9660ae862.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2020-10-28 11:19:46 <dminuoso> tomsmeding: Indeed, I was in a similar mindset as you. "This makes no sense"
2020-10-28 11:21:18 → machinedgod joins (~machinedg@24.105.81.50)
2020-10-28 11:24:51 → Chi1thangoo joins (~Chi1thang@87.112.60.168)
2020-10-28 11:25:51 × alp quits (~alp@2a01:e0a:58b:4920:b56f:71bb:e7ea:75f0) (Ping timeout: 272 seconds)
2020-10-28 11:26:16 → idhugo_ joins (~idhugo@users-1190.st.net.au.dk)
2020-10-28 11:26:37 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2020-10-28 11:26:49 × idhugo quits (~idhugo@users-1190.st.net.au.dk) (Read error: Connection reset by peer)
2020-10-28 11:27:02 × nerdypepper quits (nerdypeppe@152.67.160.69) (Remote host closed the connection)
2020-10-28 11:27:04 × nkly quits (~nkly@ip5f5bd51d.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds)
2020-10-28 11:27:15 → nerdypepper joins (nerdypeppe@152.67.160.69)
2020-10-28 11:27:47 → cheater joins (~user@unaffiliated/cheater)
2020-10-28 11:27:56 × dragestil quits (~quassel@185.137.175.104) (Remote host closed the connection)
2020-10-28 11:29:06 → dragestil joins (~quassel@185.137.175.104)
2020-10-28 11:29:39 → nkly joins (~nkly@2a02:8109:9ac0:4a4c::9b9d)
2020-10-28 11:30:24 × xff0x quits (~fox@2001:1a81:5251:7800:1dbd:1ac6:2640:4fc2) (Ping timeout: 240 seconds)
2020-10-28 11:31:08 → __monty__ joins (~toonn@unaffiliated/toonn)
2020-10-28 11:31:09 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-28 11:31:27 → xff0x joins (~fox@2001:1a81:5251:7800:3e24:5cc1:3a0e:4d8)
2020-10-28 11:34:29 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-28 11:35:07 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-28 11:36:47 → gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh)
2020-10-28 11:37:46 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-28 11:39:16 × cfricke quits (~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer)
2020-10-28 11:42:43 × plutoniix quits (~q@175.176.222.7) (Quit: Leaving)
2020-10-28 11:46:20 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-28 11:47:05 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-28 11:47:15 × acidjnk_new quits (~acidjnk@p200300d0c72378970dcefe485f10de31.dip0.t-ipconnect.de) (Remote host closed the connection)
2020-10-28 11:47:38 → acidjnk_new joins (~acidjnk@p200300d0c72378970dcefe485f10de31.dip0.t-ipconnect.de)
2020-10-28 11:48:33 × Kaiepi quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-28 11:49:45 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:4998:5831:a85a:ec6f)
2020-10-28 11:51:18 × bennofs1 quits (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
2020-10-28 11:51:29 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:4998:5831:a85a:ec6f) (Client Quit)
2020-10-28 11:56:34 → alp joins (~alp@2a01:e0a:58b:4920:a0d1:e2a9:a9ab:3adb)
2020-10-28 11:59:07 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-10-28 12:00:01 × Guest65945 quits (~PeErLesS@s91904426.blix.com) ()
2020-10-28 12:01:57 → bennofs1 joins (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de)
2020-10-28 12:03:23 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-28 12:03:44 × kritzefitz quits (~kritzefit@fw-front.credativ.com) (Ping timeout: 240 seconds)
2020-10-28 12:03:49 × deftly quits (~user@209.58.189.165) (Ping timeout: 264 seconds)
2020-10-28 12:04:00 × bennofs1 quits (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de) (Client Quit)
2020-10-28 12:04:42 → bennofs1 joins (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de)
2020-10-28 12:05:42 → ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net)
2020-10-28 12:07:46 × cfricke quits (~cfricke@unaffiliated/cfricke) (Read error: Connection reset by peer)
2020-10-28 12:08:04 × Stanley00 quits (~stanley00@unaffiliated/stanley00) ()
2020-10-28 12:08:52 → Kaiepi joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-28 12:09:30 → wretchswollen joins (~jvw@135-180-15-188.fiber.dynamic.sonic.net)
2020-10-28 12:10:02 × Kolkrabe quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-28 12:13:45 × wretchswollen quits (~jvw@135-180-15-188.fiber.dynamic.sonic.net) (Ping timeout: 240 seconds)
2020-10-28 12:14:43 → geekosaur joins (82659a09@host154-009.vpn.uakron.edu)
2020-10-28 12:15:12 → ech joins (~user@gateway/tor-sasl/ech)
2020-10-28 12:17:31 × Guest18 quits (567e8866@gateway/web/cgi-irc/kiwiirc.com/ip.86.126.136.102) (Quit: Connection closed)
2020-10-28 12:19:12 × p8m_ quits (p8m@gateway/vpn/protonvpn/p8m) (Ping timeout: 265 seconds)
2020-10-28 12:19:12 × damianfral4 quits (~damianfra@243.red-176-80-34.dynamicip.rima-tde.net) (Ping timeout: 265 seconds)
2020-10-28 12:19:21 × bennofs1 quits (~benno@dslb-178-000-069-093.178.000.pools.vodafone-ip.de) (Quit: WeeChat 2.9)
←Prev  Next→
Page 1 .. 911 912 913 914 915 916 917 918 919 920 921 .. 5022

All times are in UTC.