Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 586 587 588 589 590 591 592 593 594 595 596 .. 5022
— 502,152 events total
2020-10-12 06:00:10 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 06:00:29 → thir joins (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de)
2020-10-12 06:05:12 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2020-10-12 06:05:51 → toorevitimirp joins (~tooreviti@117.182.180.245)
2020-10-12 06:06:54 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-12 06:07:33 × hekkaidekapus{ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection)
2020-10-12 06:07:54 → hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-10-12 06:08:02 × paintedindigo quits (~paintedin@2605:a000:1621:a03f:1d23:2ce2:9ed:2bb4) (Read error: Connection reset by peer)
2020-10-12 06:10:59 → kuribas joins (~user@ptr-25vy0i7sp90j0w6z65c.18120a2.ip6.access.telenet.be)
2020-10-12 06:11:34 × proteusguy quits (~proteusgu@cm-58-10-208-180.revip7.asianet.co.th) (Remote host closed the connection)
2020-10-12 06:13:17 × nbloomf quits (~nbloomf@2600:1700:83e0:1f40:994a:80db:3f3a:ee42) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-12 06:16:05 → hbina joins (~hbina@42.153.132.48)
2020-10-12 06:16:43 × taurux quits (~taurux@net-188-152-14-58.cust.dsl.teletu.it) (Ping timeout: 260 seconds)
2020-10-12 06:18:56 → taurux joins (~taurux@net-188-152-14-58.cust.dsl.teletu.it)
2020-10-12 06:19:25 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 06:20:25 → proofofm_ joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 06:20:25 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-12 06:22:22 × Buntspecht quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-12 06:22:22 × proofofm_ quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Read error: Connection reset by peer)
2020-10-12 06:22:45 → proofofme joins (~proofofme@184-96-74-65.hlrn.qwest.net)
2020-10-12 06:23:36 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-12 06:23:40 → chele_ joins (~chele@5.53.222.202)
2020-10-12 06:24:14 × chele quits (~chele@5.53.222.202) (Read error: Connection reset by peer)
2020-10-12 06:27:11 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Ping timeout: 260 seconds)
2020-10-12 06:29:35 <siraben> Is there an elegant way to implement hygienic macros?
2020-10-12 06:30:13 <Axman6> I don't know what defined hygenic macros, but there is a new way to write type safe Template Haskell in GHC
2020-10-12 06:30:13 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 06:30:18 <Axman6> defines*
2020-10-12 06:30:25 → xerox_ joins (~xerox@unaffiliated/xerox)
2020-10-12 06:30:31 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 06:30:31 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 06:30:31 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-12 06:30:59 → xwvvvvwx- joins (~xwvvvvwx@185.213.155.160)
2020-10-12 06:31:47 → danvet_ joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2020-10-12 06:32:37 × xwvvvvwx quits (~xwvvvvwx@185.213.155.160) (Ping timeout: 264 seconds)
2020-10-12 06:32:38 xwvvvvwx- is now known as xwvvvvwx
2020-10-12 06:33:03 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-10-12 06:37:47 × jinblack quits (~JinBlack@new.jinblack.it) (Ping timeout: 246 seconds)
2020-10-12 06:37:59 → chenshen joins (~chenshen@2620:10d:c090:400::5:f372)
2020-10-12 06:45:59 × GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie)
2020-10-12 06:46:15 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-12 06:46:15 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-12 06:46:15 → GyroW joins (~GyroW@unaffiliated/gyrow)
2020-10-12 06:46:25 × falafel quits (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc) (Ping timeout: 240 seconds)
2020-10-12 06:46:46 × fendor quits (~fendor@178.115.131.211.wireless.dyn.drei.com) (Quit: Leaving)
2020-10-12 06:47:44 × seanvert quits (~user@177.84.244.242) (Remote host closed the connection)
2020-10-12 06:47:59 → jinblack joins (~JinBlack@2001:41d0:8:4b28::1)
2020-10-12 06:48:01 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-12 06:50:06 <kuribas> siraben: generics
2020-10-12 06:50:27 <siraben> Oh I should clarify, I meant I'm implementing a Lisp
2020-10-12 06:50:37 <siraben> and want to implement hygienic macros
2020-10-12 06:50:59 <suzu_> macros that wash their hands often
2020-10-12 06:51:31 → Zetagon joins (~leo@c151-177-52-233.bredband.comhem.se)
2020-10-12 06:51:37 → falafel joins (~falafel@2605:e000:1527:d491:1ccf:5c8d:7928:e9cc)
2020-10-12 06:53:11 <kuribas> do they wear masks?
2020-10-12 06:53:34 <suzu_> yes, safety first
2020-10-12 06:53:45 <kuribas> siraben: have a look at scheme
2020-10-12 06:54:02 <u-ou> what about macros individual freedom?
2020-10-12 06:54:52 <siraben> kuribas: Yeah, https://github.com/siraben/r5rs-denot
2020-10-12 06:55:06 <siraben> It just that, the hygienic expansion algorithms I'm looking at are quite stateful
2020-10-12 06:56:09 <kuribas> siraben: of course it's stateful, you need to create new identifiers.
2020-10-12 06:56:12 → blardo joins (~blardo@195.206.169.184)
2020-10-12 06:58:10 <suzu_> ok i just looked up these macros
2020-10-12 06:58:34 <suzu_> it means they don't pollute / consume / shadow any bindings in scope at macro-use time?
2020-10-12 06:58:50 <siraben> suzu_: Yes
2020-10-12 06:59:14 <suzu_> they're guaranteed an internal consistent binding scope by the compiler in some way?
2020-10-12 06:59:27 <suzu_> and you want this in a lisp interpreter?
2020-10-12 06:59:30 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-12 06:59:31 → John20 joins (~John@82.46.59.122)
2020-10-12 06:59:56 → chele joins (~chele@5.53.222.202)
2020-10-12 07:00:10 × chele quits (~chele@5.53.222.202) (Remote host closed the connection)
2020-10-12 07:00:27 → chele joins (~chele@5.53.222.202)
2020-10-12 07:00:57 <siraben> Yes. I'm thinking of implementing http://3e8.org/pub/pdf-t1/macros_that_work.pdf
2020-10-12 07:01:33 × russruss8 quits (~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat)
2020-10-12 07:01:47 × xff0x quits (~fox@2001:1a81:52ad:5800:a0c7:cc77:f7d4:2372) (Ping timeout: 244 seconds)
2020-10-12 07:02:08 × chele_ quits (~chele@5.53.222.202) (Ping timeout: 256 seconds)
2020-10-12 07:02:39 → russruss8 joins (~russruss@my.russellmcc.com)
2020-10-12 07:02:57 <suzu_> idk seems like a compiler design question than a haskell thing
2020-10-12 07:02:57 u-ou is now known as no-n
2020-10-12 07:03:23 → mdunnio joins (~mdunnio@208.59.170.5)
2020-10-12 07:03:25 × solonarv quits (~solonarv@adijon-655-1-70-207.w90-13.abo.wanadoo.fr) (Ping timeout: 240 seconds)
2020-10-12 07:03:55 × thir quits (~thir@p200300f27f02580060eb7dde324e54c8.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-12 07:05:37 <siraben> Yeah
2020-10-12 07:07:28 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2020-10-12 07:07:48 × mdunnio quits (~mdunnio@208.59.170.5) (Ping timeout: 256 seconds)
2020-10-12 07:09:32 × Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 244 seconds)
2020-10-12 07:10:34 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-12 07:12:05 × taurux quits (~taurux@net-188-152-14-58.cust.dsl.teletu.it) (Ping timeout: 240 seconds)
2020-10-12 07:13:11 × tzh quits (~tzh@2601:448:c500:5300::d90) (Quit: zzz)
2020-10-12 07:13:52 → taurux joins (~taurux@net-188-152-14-58.cust.vodafonedsl.it)
2020-10-12 07:13:57 → jespada joins (~jespada@90.254.245.15)
2020-10-12 07:14:11 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye)
2020-10-12 07:17:33 → cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2020-10-12 07:22:02 × cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2020-10-12 07:23:24 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-12 07:27:12 × rihards_ quits (~rihards@vpnlv.tilde.com) (Quit: rihards_)
2020-10-12 07:27:58 → rihards_ joins (~rihards@vpnlv.tilde.com)
2020-10-12 07:28:37 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-12 07:31:54 → thc202 joins (~thc202@unaffiliated/thc202)
2020-10-12 07:37:14 → aqd joins (~aqd@87-92-145-87.rev.dnainternet.fi)
←Prev  Next→
Page 1 .. 586 587 588 589 590 591 592 593 594 595 596 .. 5022

All times are in UTC.