Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 557 558 559 560 561 562 563 564 565 566 567 .. 5022
— 502,152 events total
2020-10-10 14:28:27 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 14:30:48 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-10 14:31:16 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds)
2020-10-10 14:34:45 <maralorn> __monty__: I wasn‘t looking for a monad transformer. I was talking about the Lift instance from TH. There it would mean that you could compute your parser at compile time, apparently they call it staging. I was wondering if there already is a lib that does that.
2020-10-10 14:37:53 × reallymemorable quits (~quassel@ip68-9-215-56.ri.ri.cox.net) (Ping timeout: 260 seconds)
2020-10-10 14:38:42 → elliott_ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-10 14:40:42 → gnar^2 joins (~user@c-73-118-153-248.hsd1.wa.comcast.net)
2020-10-10 14:43:18 × HarveyPwca quits (~HarveyPwc@c-98-220-98-201.hsd1.il.comcast.net) (Quit: Leaving)
2020-10-10 14:47:19 → nullheroes joins (~danielvu@168.235.66.22)
2020-10-10 14:48:49 × phaul quits (~phaul@ruby/staff/phaul) (Quit: :wq)
2020-10-10 14:49:08 × knupfer quits (~Thunderbi@200116b824272b00f858921136186228.dip.versatel-1u1.de) (Remote host closed the connection)
2020-10-10 14:49:16 → knupfer joins (~Thunderbi@200116b824272b00c5790130a3e52f6c.dip.versatel-1u1.de)
2020-10-10 14:51:09 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 14:55:14 × knupfer quits (~Thunderbi@200116b824272b00c5790130a3e52f6c.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-10 14:55:19 → knupfer1 joins (~Thunderbi@200116b824272b00302ca6748ea9ae26.dip.versatel-1u1.de)
2020-10-10 14:55:27 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-10 14:57:43 knupfer1 is now known as knupfer
2020-10-10 14:57:55 → ddellacosta joins (~dd@86.106.121.168)
2020-10-10 15:00:01 × secdragon quits (~secdragon@84.39.117.57) ()
2020-10-10 15:00:45 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-10 15:00:49 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 264 seconds)
2020-10-10 15:02:54 × bitmapper quits (uid464869@gateway/web/irccloud.com/x-cqfrvvppmmqjnkgv) (Quit: Connection closed for inactivity)
2020-10-10 15:03:45 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 240 seconds)
2020-10-10 15:04:33 × albert_99 quits (~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2020-10-10 15:04:40 → laserpants joins (c59d0021@197.157.0.33)
2020-10-10 15:05:13 <dwts> dsal: I heard your advice and just got the haskellbook. I just started reading it
2020-10-10 15:08:42 → mirrorbird joins (~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9)
2020-10-10 15:09:48 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-10 15:10:06 × Saukk quits (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2) (Remote host closed the connection)
2020-10-10 15:13:46 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-10 15:14:12 × elliott_ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 256 seconds)
2020-10-10 15:15:10 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 15:15:26 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 272 seconds)
2020-10-10 15:15:45 <merijn> maralorn: Yes!
2020-10-10 15:15:48 <merijn> maralorn: Sorta
2020-10-10 15:15:48 × nyd quits (~lpy@unaffiliated/elysian) (Quit: nyd)
2020-10-10 15:15:56 <merijn> @hackage validated-literals
2020-10-10 15:15:56 <lambdabot> https://hackage.haskell.org/package/validated-literals
2020-10-10 15:15:58 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 15:16:15 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 15:16:16 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 15:16:16 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-10 15:18:54 × mirrorbird quits (~psutcliff@2a00:801:429:5ea0:80af:2bca:f885:1bb9) (Quit: Leaving)
2020-10-10 15:19:53 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds)
2020-10-10 15:20:01 → heatsink_ joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-10-10 15:20:32 <maralorn> merijn: Cool! But I didn‘t mean parsing at compile time. I meant constructing the Parser at compile time but applying it at runtime.
2020-10-10 15:21:12 <merijn> maralorn: I mean, nothing restricts that library to parsing
2020-10-10 15:21:28 <merijn> maralorn: You can basically use it to reify any value computed by a pure function :p
2020-10-10 15:21:47 <maralorn> What?
2020-10-10 15:22:05 → hollowleviathan1 joins (~hollowlev@185.163.110.116)
2020-10-10 15:22:16 <maralorn> How does the parser get represented in the generated TH?
2020-10-10 15:22:29 <maralorn> *generated Code
2020-10-10 15:22:29 hollowleviathan1 is now known as Guest982
2020-10-10 15:23:09 <merijn> maralorn: By default I use the Lift instance, which is easy since GHC has -XDeriveLift since (I think?) 8.0
2020-10-10 15:23:47 <maralorn> But can you derive Lift for a Monadic Parser?
2020-10-10 15:24:01 <merijn> I mean, I don't see why not?
2020-10-10 15:24:36 <maralorn> Because you need to be able to reify arbitrary functions?
2020-10-10 15:25:00 <maralorn> Hm, okay. That means you just write arbitrary functions into the code.
2020-10-10 15:25:11 <merijn> Well, you don't need to reify arbitrary ones, you need to reify calls to the very specific ones used in the parser
2020-10-10 15:26:02 → John20 joins (~John@82.46.59.122)
2020-10-10 15:26:42 <maralorn> Yeah, I realize, that they are more a problem for the hope of optimizing a parser at compile time.
2020-10-10 15:27:28 hackage BNFC 2.8.4 - A compiler front-end generator. https://hackage.haskell.org/package/BNFC-2.8.4 (AndreasAbel)
2020-10-10 15:27:46 <maralorn> But I mean if can reify "Parser Text" I also have to be able to reify "f <$> Parser Text" for all f : Text -> Text, right?
2020-10-10 15:27:56 <maralorn> But that has nothing to do with being monadic …
2020-10-10 15:28:47 × chaosmasttter quits (~chaosmast@p200300c4a72cce01453e6b536683ac55.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 15:28:57 × teqwve quits (teqwve@2001:bc8:28d6::2) (Ping timeout: 260 seconds)
2020-10-10 15:30:13 → elliott_ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net)
2020-10-10 15:30:27 → bitmapper joins (uid464869@gateway/web/irccloud.com/x-bpsvglwvvorbcbrp)
2020-10-10 15:33:15 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-10 15:34:23 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 15:34:41 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-10 15:34:42 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-10 15:34:42 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-10 15:35:37 × knupfer quits (~Thunderbi@200116b824272b00302ca6748ea9ae26.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-10 15:35:46 → knupfer joins (~Thunderbi@200116b824272b00302ca6748ea9ae26.dip.versatel-1u1.de)
2020-10-10 15:35:55 × knupfer quits (~Thunderbi@200116b824272b00302ca6748ea9ae26.dip.versatel-1u1.de) (Client Quit)
2020-10-10 15:36:09 → bitmagie joins (~Thunderbi@200116b80616d4002dda2b77b6730eb6.dip.versatel-1u1.de)
2020-10-10 15:36:11 → djellemah joins (~djellemah@2601:5c2:100:96c:e008:b638:39fe:6a54)
2020-10-10 15:36:15 → knupfer joins (~Thunderbi@200116b824272b00fc72e04df17d9944.dip.versatel-1u1.de)
2020-10-10 15:36:25 × knupfer quits (~Thunderbi@200116b824272b00fc72e04df17d9944.dip.versatel-1u1.de) (Client Quit)
2020-10-10 15:36:33 → knupfer joins (~Thunderbi@200116b824272b00fc72e04df17d9944.dip.versatel-1u1.de)
2020-10-10 15:36:53 × knupfer quits (~Thunderbi@200116b824272b00fc72e04df17d9944.dip.versatel-1u1.de) (Client Quit)
2020-10-10 15:37:12 → knupfer joins (~Thunderbi@200116b824272b0030779e85f7c75c56.dip.versatel-1u1.de)
2020-10-10 15:37:27 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-10 15:38:30 → albert_99 joins (~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de)
2020-10-10 15:38:45 × mpereira quits (~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338) (Ping timeout: 272 seconds)
2020-10-10 15:40:58 hackage type-of-html 1.5.2.0 - High performance type driven html generation. https://hackage.haskell.org/package/type-of-html-1.5.2.0 (knupfer)
2020-10-10 15:43:47 × albert_99 quits (~Albert@p200300e5ff0b5b57ed0434b8ccec92fc.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-10 15:47:49 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 260 seconds)
2020-10-10 15:49:03 × shatriff quits (~vitaliish@188.163.30.117) (Remote host closed the connection)
2020-10-10 15:49:15 → thecoffemaker joins (~thecoffem@unaffiliated/thecoffemaker)
2020-10-10 15:49:27 × Zetagon quits (~leo@c151-177-52-233.bredband.comhem.se) (Remote host closed the connection)
2020-10-10 15:52:08 → teqwve joins (teqwve@fgl.space)
2020-10-10 15:52:33 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-10 15:52:43 → GyroW joins (~GyroW@d54C03E98.access.telenet.be)
2020-10-10 15:52:43 × GyroW quits (~GyroW@d54C03E98.access.telenet.be) (Changing host)
2020-10-10 15:52:43 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-10 15:54:04 × otulp quits (~otulp@ti0187q162-3025.bb.online.no) (Ping timeout: 272 seconds)
2020-10-10 15:54:50 → mpereira joins (~mpereira@2a02:810d:f40:d96:a091:1f5b:5d70:a338)
2020-10-10 15:56:22 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
←Prev  Next→
Page 1 .. 557 558 559 560 561 562 563 564 565 566 567 .. 5022

All times are in UTC.