Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 659 660 661 662 663 664 665 666 667 668 669 .. 5022
— 502,152 events total
2020-10-15 22:10:47 × Ariakenom quits (~Ariakenom@h-155-4-221-253.NA.cust.bahnhof.se) (Read error: Connection reset by peer)
2020-10-15 22:10:53 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-15 22:11:15 × coot quits (~coot@37.30.50.102.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2020-10-15 22:11:16 → hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-15 22:12:07 × vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2020-10-15 22:13:28 hackage jsonifier 0.1.0.2 - Fast and simple JSON encoding toolkit https://hackage.haskell.org/package/jsonifier-0.1.0.2 (NikitaVolkov)
2020-10-15 22:15:11 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-10-15 22:17:36 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 22:18:13 × dhouthoo quits (~dhouthoo@ptr-eiv6509pb4ifhdr9lsd.18120a2.ip6.access.telenet.be) (Quit: WeeChat 2.9)
2020-10-15 22:18:14 × centril quits (~centril@213-66-146-92-no250.tbcn.telia.com) (Ping timeout: 272 seconds)
2020-10-15 22:19:19 <koz_> monochrom: ROFL
2020-10-15 22:19:27 <koz_> NordVPN - now in your compile-time.
2020-10-15 22:20:11 <monochrom> Generally the proliferation of ad blurbs in all things free of charge.
2020-10-15 22:20:50 → vicfred joins (~vicfred@unaffiliated/vicfred)
2020-10-15 22:22:02 × day quits (~Unknown@unaffiliated/day) (Ping timeout: 272 seconds)
2020-10-15 22:26:03 <koz_> If I need to construct an application of a data constructor in an Exp, what do I put in the first argument of AppE?
2020-10-15 22:26:22 <koz_> (I assume I need AppE [data constructor goes here] [arguments to it go here]?)
2020-10-15 22:27:10 → polyrain joins (~polyrain@2001:8003:e501:6901:5438:7f7:706e:c9b0)
2020-10-15 22:28:07 <koz_> Would that be a VarE?
2020-10-15 22:28:18 → justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311)
2020-10-15 22:29:59 <int-e> koz_: `AppE` is function application on an expression level.
2020-10-15 22:30:46 <koz_> I need to construct the equivalent of 'Foo x y z', where 'data Foo = Foo Int String Float'. So how would I build that?
2020-10-15 22:30:48 <monochrom> ConE may help
2020-10-15 22:31:02 <int-e> if you have `A x y`, that'll be something like AppE (AppE (ConE nameA) (VarE nameX)) (VarE nameY). Which looks better if you use `AppE` as an infix operator, and probably least confusing if you use `appsE`, which takes a list.
2020-10-15 22:31:21 <koz_> Ah, I see. Con == constructor?
2020-10-15 22:31:34 <monochrom> Yeah, like that, be aware of (((Foo x) y) ... ad infinitum)
2020-10-15 22:31:35 <int-e> the latter would be appsE [ConE nameA, VarE nameX, VarE nameY]
2020-10-15 22:31:53 <monochrom> This is why usually [e| Foo ... |] is better.
2020-10-15 22:32:05 <monochrom> as in, better for your sanity and hair. :)
2020-10-15 22:32:09 <koz_> monochrom: Oh wait, I can do that? Nice.
2020-10-15 22:33:05 <int-e> monochrom: please tell us more about those sanity and hair things
2020-10-15 22:33:25 <monochrom> Oh, appsE make it easier, that's nice.
2020-10-15 22:33:26 × xerox_ quits (~xerox@unaffiliated/xerox) (Ping timeout: 272 seconds)
2020-10-15 22:34:08 <monochrom> But still, handcoding the structure of the AST is very tedious. Too many nitpicking details to watch out for. You have to think like the compiler.
2020-10-15 22:34:40 <int-e> But absolutely, use a TH quotation when possible.
2020-10-15 22:34:52 <koz_> Noted.
2020-10-15 22:34:54 <monochrom> well, "compiler" is broad. You have to think like a Haskell parser.
2020-10-15 22:35:56 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Remote host closed the connection)
2020-10-15 22:36:14 → Merfont joins (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net)
2020-10-15 22:36:27 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 260 seconds)
2020-10-15 22:36:44 → pera joins (~pera@unaffiliated/pera)
2020-10-15 22:37:47 → conal joins (~conal@64.71.133.70)
2020-10-15 22:39:01 × twk- quits (~thewormki@unaffiliated/twk-) (Ping timeout: 272 seconds)
2020-10-15 22:39:20 <monochrom> The downside of [e|Foo x y z|] is of course, as usual, does that "Foo" really refer to the Foo you intend? Similarly for x, y, z. And variable capture issues, etc.
2020-10-15 22:39:22 × marek quits (~mmahut@209.250.249.245) (Ping timeout: 246 seconds)
2020-10-15 22:39:39 <koz_> monochrom: Whoo, such fun.
2020-10-15 22:40:52 → twk- joins (~thewormki@unaffiliated/twk-)
2020-10-15 22:41:49 × jgt1 quits (~jgt@77-255-14-254.adsl.inetia.pl) (Ping timeout: 246 seconds)
2020-10-15 22:43:08 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-10-15 22:44:33 → _ashbreeze_ joins (~mark@72-161-255-212.dyn.centurytel.net)
2020-10-15 22:45:40 × ashbreeze quits (~mark@184-157-32-8.dyn.centurytel.net) (Ping timeout: 246 seconds)
2020-10-15 22:45:49 × kipras quits (~Kipras@78-56-235-39.static.zebra.lt) (Ping timeout: 264 seconds)
2020-10-15 22:46:06 × hiroaki quits (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds)
2020-10-15 22:46:28 hackage churros 0.1.2.0 - Channel/Arrow based streaming computation library. https://hackage.haskell.org/package/churros-0.1.2.0 (LyndonMaydwell)
2020-10-15 22:47:01 × mav1 quits (~mav@i5E86B60A.versanet.de) (Ping timeout: 264 seconds)
2020-10-15 22:50:53 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 260 seconds)
2020-10-15 22:51:10 → hiroaki joins (~hiroaki@ip4d176049.dynamic.kabel-deutschland.de)
2020-10-15 22:51:18 → marek joins (~mmahut@209.250.249.245)
2020-10-15 22:51:38 → inkbottle joins (~inkbottle@aaubervilliers-654-1-82-179.w86-212.abo.wanadoo.fr)
2020-10-15 22:51:54 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2020-10-15 22:52:03 × zebrag quits (~inkbottle@aaubervilliers-654-1-4-38.w83-200.abo.wanadoo.fr) (Ping timeout: 260 seconds)
2020-10-15 22:52:05 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 22:57:13 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 264 seconds)
2020-10-15 22:57:20 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2020-10-15 22:57:37 → Tario joins (~Tario@201.192.165.173)
2020-10-15 22:58:49 → dcoutts_ joins (~duncan@33.14.75.194.dyn.plus.net)
2020-10-15 23:06:25 × dcoutts_ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 240 seconds)
2020-10-15 23:09:41 → zebrag joins (~inkbottle@aaubervilliers-654-1-5-60.w83-200.abo.wanadoo.fr)
2020-10-15 23:10:52 × inkbottle quits (~inkbottle@aaubervilliers-654-1-82-179.w86-212.abo.wanadoo.fr) (Ping timeout: 246 seconds)
2020-10-15 23:13:04 → renzhi joins (~renzhi@modemcable070.17-177-173.mc.videotron.ca)
2020-10-15 23:13:09 → geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2020-10-15 23:13:41 → mav1 joins (~mav@x59cc9a0f.dyn.telefonica.de)
2020-10-15 23:16:55 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-15 23:18:39 → justanotheruser joins (~justanoth@unaffiliated/justanotheruser)
2020-10-15 23:21:40 × mav1 quits (~mav@x59cc9a0f.dyn.telefonica.de) (Ping timeout: 256 seconds)
2020-10-15 23:22:01 → Deide joins (~Deide@217.155.19.23)
2020-10-15 23:23:16 → juri_ joins (~juri@178.63.35.222)
2020-10-15 23:25:50 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-15 23:27:03 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds)
2020-10-15 23:28:17 → elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-15 23:28:23 <koz_> Is (:::) a valid name for an infix operator?
2020-10-15 23:28:41 <hpc> :t (:::)
2020-10-15 23:28:43 <lambdabot> error: Data constructor not in scope: :::
2020-10-15 23:28:46 → Stanley00 joins (~stanley00@unaffiliated/stanley00)
2020-10-15 23:28:53 <hpc> it's a valid name for an infix data constructor
2020-10-15 23:29:00 <koz_> hpc: What about an infix function?
2020-10-15 23:29:03 <hpc> nope
2020-10-15 23:29:07 <hpc> ':' is uppercase
2020-10-15 23:29:08 <hpc> :D
2020-10-15 23:29:15 <ghoulguy> constructors can be functions
2020-10-15 23:29:19 <Axman6> because ; is lowercase =)
2020-10-15 23:29:20 <monochrom> Since it starts with : it has to stay as a data constructor.
2020-10-15 23:29:27 <koz_> Aww.
2020-10-15 23:29:28 <hpc> ghoulguy: shush :P
2020-10-15 23:29:44 <Axman6> ; is already a function though, it's (>>=) :P
2020-10-15 23:29:46 × karanlikmadde quits (~karanlikm@2a01:c22:3472:9400:2911:7597:97b9:174f) (Quit: karanlikmadde)
2020-10-15 23:29:51 <koz_> Axman6: Rofl.
2020-10-15 23:30:25 × dhil quits (~dhil@195.213.192.122) (Ping timeout: 240 seconds)
2020-10-15 23:30:45 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2020-10-15 23:32:49 × Merfont quits (~Kaiepi@nwcsnbsc03w-47-55-225-82.dhcp-dynamic.fibreop.nb.bellaliant.net) (Read error: Connection reset by peer)
←Prev  Next→
Page 1 .. 659 660 661 662 663 664 665 666 667 668 669 .. 5022

All times are in UTC.