Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 .. 5022
— 502,152 events total
2021-03-11 15:06:42 <alexandros-liaro> from my understanding multirec and generics-mrsop auto-generate the HFunctor and then one writes algebras using the auto-generated representation (which is awkward since I mostly want to write algebras)
2021-03-11 15:06:53 × teardown quits (~user@gateway/tor-sasl/mrush) (Remote host closed the connection)
2021-03-11 15:08:08 <alexandros-liaro> compdata seems to support writing the HFunctor data type directly and it can auto derive the HFunctor instance directly. This means one writes algebras using the HFunctor datatype directly instead of some intermediate representation.
2021-03-11 15:09:30 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-11 15:09:50 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 15:09:51 <alexandros-liaro> so eg I want to write the open recursion HFunctor GADT and automatically make it an HFunctor, HFoldable, HTraversable, ShowHF etc.
2021-03-11 15:10:02 → cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net)
2021-03-11 15:10:25 <alexandros-liaro> is this possible with the multirec/generics-mrsop packages or must I write algebras using the auto-generated HFunctor representation?
2021-03-11 15:10:31 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-11 15:10:51 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 15:10:56 <alexandros-liaro> my goal is to reduce boilerplate as much as possible since my AST actually has around 20 different node types
2021-03-11 15:11:04 <ADG1089__> cabal run is v2-run or v1-run?
2021-03-11 15:11:14 <merijn> ADG1089__: Depends on your version
2021-03-11 15:11:27 <ADG1089__> 3.4.0
2021-03-11 15:11:28 <merijn> ADG1089__: In 3.x run is v2-run, before 3.0 it's v1-run
2021-03-11 15:11:45 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-11 15:11:49 <alexandros-liaro> or is there perhaps another alternative I am not aware of ?
2021-03-11 15:12:04 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 15:12:22 × ShalokShalom quits (b9110d05@gateway/web/cgi-irc/kiwiirc.com/ip.185.17.13.5) (Quit: Connection closed)
2021-03-11 15:15:00 → hyperisco joins (~hyperisco@d192-186-117-226.static.comm.cgocable.net)
2021-03-11 15:15:51 <ADG1089__> ok then there's a bug in cabal: https://github.com/haskell/cabal/issues/7325
2021-03-11 15:16:58 × ADG1089__ quits (~aditya@223.226.229.230) (Remote host closed the connection)
2021-03-11 15:17:00 × supercoven_ quits (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-03-11 15:17:16 → supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi)
2021-03-11 15:17:48 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-11 15:18:07 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 15:19:13 × Lycurgus quits (~niemand@98.4.114.199) (Quit: Exeunt)
2021-03-11 15:19:58 × frozenErebus quits (~frozenEre@94.128.82.20) (Ping timeout: 260 seconds)
2021-03-11 15:20:40 samebchase-7 is now known as samebchase-
2021-03-11 15:20:41 → cfvnhtsp^ joins (cfvnhtsp@ip98-184-89-2.mc.at.cox.net)
2021-03-11 15:21:08 × geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 260 seconds)
2021-03-11 15:21:57 → Jd007 joins (~Jd007@162.156.11.151)
2021-03-11 15:22:11 × kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection)
2021-03-11 15:23:02 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds)
2021-03-11 15:23:02 → polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889)
2021-03-11 15:23:11 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:1dd0:e98c:d026:cc3a)
2021-03-11 15:25:06 → lewky_ joins (~lewky@159.65.37.240)
2021-03-11 15:27:54 × Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving)
2021-03-11 15:28:03 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 15:29:10 → crobbins joins (~crobbins@2601:2c1:200:ec50:ed83:1b67:2330:2bb4)
2021-03-11 15:29:18 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-11 15:29:37 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 15:30:23 × DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...)
2021-03-11 15:31:12 → frozenErebus joins (~frozenEre@94.128.82.20)
2021-03-11 15:36:36 × minoru_shiraeesh quits (~shiraeesh@5.101.59.76) (Ping timeout: 265 seconds)
2021-03-11 15:40:09 × Anthaas_ quits (~Anthaas@unaffiliated/anthaas) (Ping timeout: 264 seconds)
2021-03-11 15:42:29 → Anthaas joins (~Anthaas@unaffiliated/anthaas)
2021-03-11 15:42:31 × zebrag quits (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-11 15:42:37 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed)
2021-03-11 15:42:53 → zebrag joins (~inkbottle@alagny-551-1-20-55.w83-200.abo.wanadoo.fr)
2021-03-11 15:42:56 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 15:44:46 → lewky- joins (~lewky@159.65.37.240)
2021-03-11 15:45:58 × Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1)
2021-03-11 15:46:43 × lupulo quits (~lupulo@163.117.64.56) (Ping timeout: 245 seconds)
2021-03-11 15:47:37 → lupulo joins (~lupulo@163.117.64.56)
2021-03-11 15:47:57 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds)
2021-03-11 15:48:07 × lewky- quits (~lewky@159.65.37.240) (Client Quit)
2021-03-11 15:48:07 × lewky_ quits (~lewky@159.65.37.240) (Quit: ZNC 1.6.6+deb1ubuntu0.2 - http://znc.in)
2021-03-11 15:54:20 → tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net)
2021-03-11 15:57:12 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-11 15:59:00 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-11 16:00:27 → Rudd0 joins (~Rudd0@185.189.115.103)
2021-03-11 16:01:22 → latarneu joins (83ff0494@131.255.4.148)
2021-03-11 16:01:31 ← latarneu parts (83ff0494@131.255.4.148) ()
2021-03-11 16:01:54 → lewky_ joins (~lewky@159.65.37.240)
2021-03-11 16:03:38 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds)
2021-03-11 16:07:00 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 16:07:37 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-11 16:07:57 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 16:08:49 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Max SendQ exceeded)
2021-03-11 16:09:09 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 16:09:25 × alexandros-liaro quits (~veritas@2a02:587:2419:271c:d0ae:3a3:c92:5deb) (Quit: Leaving)
2021-03-11 16:10:13 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit)
2021-03-11 16:10:27 × lewky_ quits (~lewky@159.65.37.240) (Remote host closed the connection)
2021-03-11 16:10:32 → royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9)
2021-03-11 16:11:27 → Fractalis joins (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda)
2021-03-11 16:11:43 → kam1 joins (~kam1@83.123.154.198)
2021-03-11 16:11:48 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-11 16:12:04 × kam1 quits (~kam1@83.123.154.198) (Read error: Connection reset by peer)
2021-03-11 16:12:34 → waleee-cl joins (uid373333@gateway/web/irccloud.com/x-jncmlyhymogdqmtq)
2021-03-11 16:13:54 → Deide joins (~Deide@217.155.19.23)
2021-03-11 16:14:36 → st8less joins (~st8less@2603:a060:11fd:0:a2c4:2734:f287:8b07)
2021-03-11 16:15:02 → heatsink joins (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-11 16:15:16 × tomboy64 quits (~tomboy64@unaffiliated/tomboy64) (Ping timeout: 265 seconds)
2021-03-11 16:15:34 × royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds)
2021-03-11 16:15:36 × ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection)
2021-03-11 16:16:46 → rond_ joins (594020c5@89-64-32-197.dynamic.chello.pl)
2021-03-11 16:18:02 × Fractalis quits (~Fractalis@2601:987:280:fb20:ad9b:b2c6:b33d:6cda) (Ping timeout: 264 seconds)
2021-03-11 16:20:03 × jrqc quits (~rofl@96.78.87.197) (Ping timeout: 245 seconds)
2021-03-11 16:20:26 × heatsink quits (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a) (Ping timeout: 264 seconds)
2021-03-11 16:21:42 × jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-03-11 16:23:47 → jrqc joins (~rofl@96.78.87.197)
2021-03-11 16:23:48 × Copperis quits (~Tadas@unaffiliated/varis) (Ping timeout: 245 seconds)
2021-03-11 16:25:03 <hololeap> is there a way to link to a module on hackage where it always goes to the latest version of the package?
2021-03-11 16:26:08 → heatsink joins (~heatsink@2600:1700:bef1:5e10:8ce3:ab05:2761:c61a)
2021-03-11 16:30:03 × idhugo__ quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 245 seconds)
2021-03-11 16:30:26 → CoconutCrab joins (~Cua@unaffiliated/coconutcrab)
2021-03-11 16:32:18 × Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds)
2021-03-11 16:33:10 → mikoto-chan joins (~anass@gateway/tor-sasl/mikoto-chan)
2021-03-11 16:34:17 <infinisi1> hololeap: https://hackage.haskell.org/package/base/docs/Control-Arrow.html
←Prev  Next→
Page 1 .. 3749 3750 3751 3752 3753 3754 3755 3756 3757 3758 3759 .. 5022

All times are in UTC.