Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 314 315 316 317 318 319 320 321 322 323 324 .. 5022
— 502,152 events total
2020-09-30 02:33:14 <Axman6> those are the two main facts you need to understand vivekramaswamy. the syntax in data [] a = [] | a : [a] is confusing because it mixed types and constructors and doesn't make it clear that the [a] in that definition is _a type_ not a value
2020-09-30 02:33:24 <vivekramaswamy> 2:[3] makes sense to me as it is covered by the data constructor
2020-09-30 02:33:39 <Axman6> 2:[3] is _really_: 2:3:[]
2020-09-30 02:34:08 <Axman6> [3] is special syntax, is it not how lists are actually defined
2020-09-30 02:34:15 <ski> vivekramaswamy : first, `[]' is the empty list. then, you can use `:' to prepend an element `1' in from of that list (the empty list `[]', getting `1 : []'. that singleton list has syntactic sugar `[1]' which is what is shown, when evaluated, for convenience sake
2020-09-30 02:34:18 <Axman6> > 1:2:3:[]
2020-09-30 02:34:20 <lambdabot> [1,2,3]
2020-09-30 02:34:26 <Axman6> > 1:2:[3]
2020-09-30 02:34:29 <lambdabot> [1,2,3]
2020-09-30 02:34:30 → Lycurgus joins (~niemand@98.4.96.130)
2020-09-30 02:34:31 <Axman6> > 1:[2,3]
2020-09-30 02:34:34 <lambdabot> [1,2,3]
2020-09-30 02:35:13 <ski> `[1,2,3]' means `1:[2,3]' means `1:(2:[3])' means `1:(2:(3:[]))'. we can omit the brackets (since `:' is specified to "associate to the right"), giving just `1:2:3:[]'
2020-09-30 02:35:16 <vivekramaswamy> yeap I get that just as for many characters we define [Char] so [a] means [a,a, as many elements of type a]
2020-09-30 02:35:17 × Amras quits (~Amras@unaffiliated/amras0000) (Ping timeout: 260 seconds)
2020-09-30 02:35:58 <Axman6> strings are yet another special syntax
2020-09-30 02:36:00 <vivekramaswamy> a:[a] means consing a to a list of type a which is fine.
2020-09-30 02:36:23 <ski> `1:(2:(3:[]))' or `1:2:3:[]' is the "real list of three elements". `[1,2,3]' is just a convenient way ("syntactic sugar") to write it, in a form that's more appealing to humans
2020-09-30 02:36:25 <Axman6> > 'a':['b','c']
2020-09-30 02:36:25 <glguy> vivekramaswamy: [a] as a value is a special shortcut you should forget about until you udnerstand what's happening without it
2020-09-30 02:36:28 <lambdabot> "abc"
2020-09-30 02:36:42 <ski> vivekramaswamy : `x:xs' means consing/prepending `x' in front of the list `xs'
2020-09-30 02:37:30 <ski> > let xs = []; ys = 0 : xs; zs = 1 : ys in (xs,ys,zs)
2020-09-30 02:37:32 <vivekramaswamy> "abc" is actually 'a':'b':'c':[] I get that
2020-09-30 02:37:33 <lambdabot> ([],[0],[1,0])
2020-09-30 02:38:04 → falafel_ joins (~falafel@2605:e000:1527:d491:f090:20fe:cddf:2a1a)
2020-09-30 02:38:05 <ski> vivekramaswamy : is there anything remaining, that's unclear ?
2020-09-30 02:38:06 → filwisher joins (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net)
2020-09-30 02:38:37 <Axman6> halogenandtoast: coming back to your question, some template haskell defined that prism for you ;)
2020-09-30 02:38:43 × Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Ping timeout: 240 seconds)
2020-09-30 02:38:44 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-09-30 02:38:50 <vivekramaswamy> Nope, I think I get it now, thanks a ton to all of you
2020-09-30 02:38:57 <ski> np
2020-09-30 02:39:54 → plutoniix joins (~q@175.176.222.7)
2020-09-30 02:39:57 <Axman6> vivekramaswamy: I can't actually see you asking that question in #haskell-beginners btw, when did you ask it?>
2020-09-30 02:40:20 <ski> Axman6 : perhaps during the netsplit
2020-09-30 02:40:47 → Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer)
2020-09-30 02:41:09 <ski> (there was one, just before they asked in here)
2020-09-30 02:42:46 <ski> (or, possibly they thought noone was paying any attention to that channel, since there was no current discussion in there. .. who knows ?)
2020-09-30 02:44:20 × andi- quits (~andi-@NixOS/user/andi-) (Remote host closed the connection)
2020-09-30 02:46:06 × jcarpenter2 quits (~rofl@96.78.87.197) (Ping timeout: 272 seconds)
2020-09-30 02:47:07 → inerkick joins (~rohit@117.230.9.17)
2020-09-30 02:48:09 → andi- joins (~andi-@NixOS/user/andi-)
2020-09-30 02:49:04 × dopplerg- quits (~dop@titan.pathogen.is) (Remote host closed the connection)
2020-09-30 02:49:20 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-09-30 02:49:43 × ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (Ping timeout: 240 seconds)
2020-09-30 02:50:02 × anoe quits (~anoe@delanoe.org) (Ping timeout: 256 seconds)
2020-09-30 02:50:11 × theDon quits (~td@94.134.91.135) (Ping timeout: 258 seconds)
2020-09-30 02:50:19 → anoe joins (~anoe@delanoe.org)
2020-09-30 02:50:25 → dopplergange joins (~dop@titan.pathogen.is)
2020-09-30 02:50:57 → ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex)
2020-09-30 02:51:50 → theDon joins (~td@muedsl-82-207-238-146.citykom.de)
2020-09-30 02:51:57 × urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna)
2020-09-30 02:53:55 <vivekramaswamy> I did not, as fount the channel empty
2020-09-30 02:54:02 <vivekramaswamy> found
2020-09-30 02:54:13 × raehik quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2020-09-30 02:54:45 <Axman6> the channel definitely isn't empty
2020-09-30 02:55:35 <ski> if you'd tried asking saying in there, then not that unlikely some people would have noticed, and possibly some have responded
2020-09-30 02:57:11 <MarcelineVQ> no matter, asking here is fine too :>
2020-09-30 02:57:17 <ski> (although, if you'd tried during the netsplit (which just happened to take place just before you started talking in here), when perhaps not as many would have been in there, on your server side of the netsplit, the chance would presumably have been lowered)
2020-09-30 02:57:22 <ski> yes
2020-09-30 02:57:28 → sword865 joins (uid208942@gateway/web/irccloud.com/x-ifbndlqlczbvfcan)
2020-09-30 02:58:39 → darjeeling_ joins (~darjeelin@112.16.171.8)
2020-09-30 02:59:28 × vivekramaswamy quits (~vivekrama@49.207.196.1) (Quit: Sayonara. Long live Haskell)
2020-09-30 02:59:47 → vivekramaswamy joins (~vivekrama@49.207.196.1)
2020-09-30 03:00:02 × SRV_DW20 quits (~SRV_DW20@188.126.89.194) ()
2020-09-30 03:01:24 × russruss8 quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat)
2020-09-30 03:01:56 → russruss8 joins (~russruss@my.russellmcc.com)
2020-09-30 03:02:14 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: Lost terminal)
2020-09-30 03:03:07 × ent quits (entgod@kapsi.fi) (Ping timeout: 246 seconds)
2020-09-30 03:03:31 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-09-30 03:03:47 × filwisher quits (~filwisher@cpc76738-dals23-2-0-cust186.20-2.cable.virginm.net) (Ping timeout: 240 seconds)
2020-09-30 03:04:22 → Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2020-09-30 03:04:59 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds)
2020-09-30 03:05:36 Lord_of_Life_ is now known as Lord_of_Life
2020-09-30 03:06:05 × liff quits (liff@kapsi.fi) (Ping timeout: 244 seconds)
2020-09-30 03:06:57 → dftxbs3e joins (~dftxbs3e@unaffiliated/dftxbs3e)
2020-09-30 03:07:09 × inerkick quits (~rohit@117.230.9.17) (Quit: Leaving)
2020-09-30 03:08:04 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-09-30 03:08:44 × bloodstalker quits (~bloodstal@46.166.187.188) (Remote host closed the connection)
2020-09-30 03:09:01 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-09-30 03:09:10 → inerkick joins (~rohit@117.230.9.17)
2020-09-30 03:09:31 × Tspoon quits (tlarjoma@hilla.kapsi.fi) (Ping timeout: 256 seconds)
2020-09-30 03:09:52 × Logio quits (em@kapsi.fi) (Ping timeout: 256 seconds)
2020-09-30 03:10:47 × spew quits (uid195861@gateway/web/irccloud.com/x-fpkdkamqeywbdxvp) (Quit: Connection closed for inactivity)
2020-09-30 03:11:40 → jrqc joins (~rofl@96.78.87.197)
2020-09-30 03:14:57 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-30 03:15:22 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-30 03:15:45 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-30 03:16:04 → shatriff joins (~vitaliish@176.52.219.10)
2020-09-30 03:16:33 × shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection)
2020-09-30 03:19:12 → amosbird joins (~amosbird@23.98.37.89)
2020-09-30 03:21:57 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Ping timeout: 260 seconds)
2020-09-30 03:26:27 → liff joins (liff@kapsi.fi)
2020-09-30 03:27:38 → elliott_ joins (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net)
2020-09-30 03:28:11 × elliott_ quits (~elliott_@pool-100-36-54-163.washdc.fios.verizon.net) (Read error: Connection reset by peer)
2020-09-30 03:28:28 → ent joins (entgod@kapsi.fi)
2020-09-30 03:29:24 × vivekramaswamy quits (~vivekrama@49.207.196.1) (Quit: Sayonara. Long live Haskell)
2020-09-30 03:29:28 hackage text-conversions 0.3.1 - Safe conversions between textual types https://hackage.haskell.org/package/text-conversions-0.3.1 (lexi_lambda)
2020-09-30 03:29:50 × Lycurgus quits (~niemand@98.4.96.130) (Quit: Exeunt)
←Prev  Next→
Page 1 .. 314 315 316 317 318 319 320 321 322 323 324 .. 5022

All times are in UTC.