Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 4012 4013 4014 4015 4016 4017 4018 4019 4020 4021 4022 .. 5022
— 502,152 events total
2021-03-24 22:47:44 <tempate> solidus-river: nice!
2021-03-24 22:48:12 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds)
2021-03-24 22:48:23 <solidus-river> i'm still cleaning up my do notation and drying things up, it'll likely be sub 200 after drying up and switching over to the monad that zmq4 provides
2021-03-24 22:48:40 <solidus-river> i'm not including utility functions or imports in that count though
2021-03-24 22:49:52 → molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 22:49:57 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Remote host closed the connection)
2021-03-24 22:51:05 → molehillish joins (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8)
2021-03-24 22:51:05 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 22:51:18 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 22:52:10 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-03-24 22:52:48 → mith[m] joins (mithmatrix@gateway/shell/matrix.org/x-faoektnrbchujzvl)
2021-03-24 22:55:15 <solidus-river> and started working on the project 2 weeks ago, i've been hanging out in here and messing with haskell off and on for years now :X don't want to mis-represent things. I've just never tried to use it for anything "real world" till these last couple weeks
2021-03-24 22:55:46 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-03-24 22:56:27 × molehillish quits (~molehilli@2600:8800:8d06:1800:a4ec:e3c6:6b54:caa8) (Ping timeout: 272 seconds)
2021-03-24 22:57:08 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-24 22:57:48 <tempate> I have yet to write anything "real world", in any language
2021-03-24 22:57:48 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 22:57:52 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-24 22:57:59 → myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-24 22:58:23 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 22:58:25 × fendor quits (~fendor@91.141.1.9.wireless.dyn.drei.com) (Remote host closed the connection)
2021-03-24 22:59:00 → Guest84272 joins (~marienz@217.146.82.202)
2021-03-24 22:59:05 × aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit)
2021-03-24 22:59:38 × knupfer quits (~Thunderbi@i59F7FF52.versanet.de) (Ping timeout: 245 seconds)
2021-03-24 23:00:06 <solidus-river> monochrom: is there a way to hoogle against local packages?
2021-03-24 23:00:38 → Garbanzo joins (~Garbanzo@2602:304:6eac:dc10::2e)
2021-03-24 23:01:23 <ephemient> solidus-river: hoogle generate --local
2021-03-24 23:01:42 <ephemient> assuming you have haddocks for local packages, I guess
2021-03-24 23:03:59 → nuncanada joins (~dude@179.235.160.168)
2021-03-24 23:04:14 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-24 23:04:25 → heatsink joins (~heatsink@2600:1700:bef1:5e10:10c4:3f41:be04:1f78)
2021-03-24 23:05:12 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds)
2021-03-24 23:06:06 <solidus-river> ephemient: thanks!
2021-03-24 23:07:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-24 23:08:50 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 268 seconds)
2021-03-24 23:09:12 → aarvar joins (~foewfoiew@2601:602:a080:fa0:8d5e:8b07:4f7a:6938)
2021-03-24 23:10:03 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-24 23:10:18 → jutep joins (5f5bdd59@ip5f5bdd59.dynamic.kabel-deutschland.de)
2021-03-24 23:10:41 × borne quits (~fritjof@200116b8644f8c00bc09546e2ac68572.dip.versatel-1u1.de) (Ping timeout: 268 seconds)
2021-03-24 23:11:02 → borne joins (~fritjof@2a06:8782:ffbb:1337:f5f9:d8dd:74d:2bc8)
2021-03-24 23:16:46 → jamm_ joins (~jamm@unaffiliated/jamm)
2021-03-24 23:16:47 × Guest39025 quits (~textual@zrcout.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-03-24 23:17:55 → aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net)
2021-03-24 23:18:04 → geowiesnot joins (~user@87-89-181-157.abo.bbox.fr)
2021-03-24 23:18:04 × emmanuel_erc quits (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 23:18:22 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 23:18:29 → emmanuel_erc joins (~user@2603-7000-9600-01c9-0000-0000-0000-0874.res6.spectrum.com)
2021-03-24 23:20:30 → coot joins (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl)
2021-03-24 23:20:57 × LKoen quits (~LKoen@194.250.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-03-24 23:21:32 × jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-03-24 23:22:26 × __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving)
2021-03-24 23:22:38 × Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 244 seconds)
2021-03-24 23:23:05 × kini quits (~kini@unaffiliated/kini) (Remote host closed the connection)
2021-03-24 23:23:21 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 264 seconds)
2021-03-24 23:24:19 × raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 272 seconds)
2021-03-24 23:24:23 → kini joins (~kini@unaffiliated/kini)
2021-03-24 23:29:34 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 23:29:58 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-24 23:30:56 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-24 23:34:38 × juri_ quits (~juri@212.86.35.86) (Ping timeout: 245 seconds)
2021-03-24 23:34:56 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-24 23:35:28 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 245 seconds)
2021-03-24 23:35:49 → vicfred joins (vicfred@gateway/vpn/mullvad/vicfred)
2021-03-24 23:37:08 × xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-03-24 23:38:08 → Alleria joins (~textual@2603-7000-3040-0000-4c26-30e6-a1ae-bc87.res6.spectrum.com)
2021-03-24 23:38:31 × _Alleria quits (~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com) (Read error: Connection reset by peer)
2021-03-24 23:38:32 Alleria is now known as Guest14565
2021-03-24 23:39:55 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-03-24 23:41:49 → juri_ joins (~juri@79.140.115.52)
2021-03-24 23:43:10 × coot quits (~coot@37.30.55.131.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-03-24 23:43:37 → Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-b174-32cd-b29a-dcb9.res6.spectrum.com)
2021-03-24 23:43:51 × vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving)
2021-03-24 23:47:44 → myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-24 23:49:13 × irc_user quits (uid423822@gateway/web/irccloud.com/x-unailobkgqldbboi) (Quit: Connection closed for inactivity)
2021-03-24 23:49:40 → LogicUpgrade joins (57e3c46d@87.227.196.109)
2021-03-24 23:49:52 × nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) ()
2021-03-24 23:50:28 × LogicUpgrade quits (57e3c46d@87.227.196.109) (Client Quit)
2021-03-24 23:52:44 <ski> monochrom : wouldn't the obvious generated code work for that `M' ?
2021-03-24 23:53:17 <ski> hololeap : mhm, ok (not sure about the `choose @(Op r)')
2021-03-24 23:53:29 → usr25 joins (~usr25@unaffiliated/usr25)
2021-03-24 23:55:29 → dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net)
2021-03-24 23:56:57 <monochrom> It was not obvious how to even hand-code it :)
2021-03-24 23:57:49 <monochrom> But over the past hour I worked it out.
2021-03-24 23:59:49 <ski> fmap f (M blah) = M (\m k -> blah m (\a -> k (f a))) -- seems rather obvious, to me ?
2021-03-25 00:00:12 → ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-25 00:01:00 × ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection)
2021-03-25 00:01:57 → ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net)
2021-03-25 00:02:19 <ski> `M blah' is `M (\m -> blah m)' is `M (\m k -> blah m k)' is `M (\m k -> blah m (\a -> k a))'. now just replace `a' there by `f a'
2021-03-25 00:03:17 <ski> (eta-expanding the types, to get to the `a' position(s), which ought to be positive / covariant positions)
2021-03-25 00:03:35 × shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:30aa:5abb:2db7:7fb5) (Ping timeout: 272 seconds)
2021-03-25 00:04:45 <ski> (anyway, i checked, and it looks like that code works fine, presumably since it implies a universal type for that lambda, which can then be packaged up with `PolymorphicComponents')
2021-03-25 00:05:46 → irc_user joins (uid423822@gateway/web/irccloud.com/x-dafwgwmpokgbtbau)
2021-03-25 00:06:03 <ski> (i guess an implementation of the generation would keep track of the current sign/variance, in a `Bool', or with two mutually recursive functions)
2021-03-25 00:06:33 × ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 264 seconds)
2021-03-25 00:07:10 <monochrom> I was working out that general algorithm in the past hour.
2021-03-25 00:07:25 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds)
2021-03-25 00:08:01 × borne quits (~fritjof@2a06:8782:ffbb:1337:f5f9:d8dd:74d:2bc8) (Ping timeout: 272 seconds)
2021-03-25 00:08:48 × geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 245 seconds)
2021-03-25 00:10:01 <ski> ah, i see
2021-03-25 00:10:03 × usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
←Prev  Next→
Page 1 .. 4012 4013 4014 4015 4016 4017 4018 4019 4020 4021 4022 .. 5022

All times are in UTC.