Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 456 457 458 459 460 461 462 463 464 465 466 .. 5022
— 502,152 events total
2020-10-06 07:45:07 × polyrain quits (~polyrain@130.102.13.177) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-06 07:46:29 → mpereira joins (~mpereira@2a02:810d:f40:d96:1c35:7f2e:59ff:953)
2020-10-06 07:51:55 × amiri quits (~amiri@cpe-76-91-154-9.socal.res.rr.com) (Ping timeout: 240 seconds)
2020-10-06 07:51:59 → idhugo_ joins (~idhugo@users-1190.st.net.au.dk)
2020-10-06 07:52:03 → amiri joins (~amiri@cpe-76-91-154-9.socal.res.rr.com)
2020-10-06 07:53:41 → polyrain joins (~polyrain@130.102.13.170)
2020-10-06 07:55:23 × idhugo quits (~idhugo@users-1190.st.net.au.dk) (Ping timeout: 240 seconds)
2020-10-06 07:55:54 × Sgeo_ quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Read error: Connection reset by peer)
2020-10-06 07:57:51 → Buntspecht_ joins (~user@unaffiliated/siracusa)
2020-10-06 07:57:52 × Buntspecht quits (~user@unaffiliated/siracusa) (Read error: Connection reset by peer)
2020-10-06 07:58:17 Buntspecht_ is now known as Buntspecht
2020-10-06 07:59:53 → borne joins (~fritjof@2001:638:708:30da:1afd:4599:bd4b:9f4b)
2020-10-06 08:03:25 × falafel quits (~falafel@2605:e000:1527:d491:99fe:5613:f0a7:56f0) (Ping timeout: 240 seconds)
2020-10-06 08:08:07 × idhugo_ quits (~idhugo@users-1190.st.net.au.dk) (Ping timeout: 240 seconds)
2020-10-06 08:08:27 hackage servant-auth-client 0.4.1.0 - servant-client/servant-auth compatibility https://hackage.haskell.org/package/servant-auth-client-0.4.1.0 (domenkozar)
2020-10-06 08:11:37 × toorevitimirp quits (~tooreviti@117.182.180.245) (Ping timeout: 264 seconds)
2020-10-06 08:12:41 → toorevitimirp joins (~tooreviti@117.182.180.245)
2020-10-06 08:12:58 hackage polysemy-zoo 0.7.0.1 - Experimental, user-contributed effects and interpreters for polysemy https://hackage.haskell.org/package/polysemy-zoo-0.7.0.1 (KingoftheHomeless)
2020-10-06 08:17:57 hackage servant-auth-server 0.4.6.0 - servant-server/servant-auth compatibility https://hackage.haskell.org/package/servant-auth-server-0.4.6.0 (domenkozar)
2020-10-06 08:19:58 → fendor joins (~fendor@e237-037.eduroam.tuwien.ac.at)
2020-10-06 08:22:11 × jedws quits (~jedws@121.209.186.103) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-06 08:22:31 → ramon_ joins (~ramon@2001:1c01:3c01:2300:f093:b478:1b8f:4797)
2020-10-06 08:22:51 × mirrorbird quits (~psutcliff@2a00:801:2d5:9d73:ff00:6553:d451:a276) (Ping timeout: 272 seconds)
2020-10-06 08:24:00 → cpressey joins (~cpressey@88.144.95.3)
2020-10-06 08:24:29 → chaosmasttter joins (~chaosmast@p200300c4a73b2e01d0131264df465fff.dip0.t-ipconnect.de)
2020-10-06 08:24:58 hackage servant-auth-swagger 0.2.10.1 - servant-swagger/servant-auth compatibility https://hackage.haskell.org/package/servant-auth-swagger-0.2.10.1 (domenkozar)
2020-10-06 08:25:14 → cfricke joins (~cfricke@unaffiliated/cfricke)
2020-10-06 08:27:12 → falafel joins (~falafel@2605:e000:1527:d491:99fe:5613:f0a7:56f0)
2020-10-06 08:27:14 × bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 256 seconds)
2020-10-06 08:27:20 × hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-lsiqjycknfirtsck) (Quit: Connection closed for inactivity)
2020-10-06 08:27:56 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-06 08:28:22 × taurux quits (~taurux@net-188-152-143-169.cust.dsl.teletu.it) (Ping timeout: 244 seconds)
2020-10-06 08:28:47 → taurux joins (~taurux@net-93-144-148-40.cust.dsl.teletu.it)
2020-10-06 08:30:31 → jedws joins (~jedws@121.209.186.103)
2020-10-06 08:31:13 × jedws quits (~jedws@121.209.186.103) (Client Quit)
2020-10-06 08:31:19 × da39a3ee5e6b4b0d quits (~textual@n11211935170.netvigator.com) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-06 08:35:18 → Ariakenom joins (~Ariakenom@193.254.193.1)
2020-10-06 08:35:25 × falafel quits (~falafel@2605:e000:1527:d491:99fe:5613:f0a7:56f0) (Ping timeout: 240 seconds)
2020-10-06 08:37:31 → shatriff joins (~vitaliish@88.155.115.165)
2020-10-06 08:38:17 → thc202 joins (~thc202@unaffiliated/thc202)
2020-10-06 08:38:20 × taurux quits (~taurux@net-93-144-148-40.cust.dsl.teletu.it) (Ping timeout: 260 seconds)
2020-10-06 08:38:49 × Amras quits (~Amras@unaffiliated/amras0000) (Remote host closed the connection)
2020-10-06 08:38:55 → jle` joins (~mstksg@cpe-23-240-75-236.socal.res.rr.com)
2020-10-06 08:38:55 × jle` quits (~mstksg@cpe-23-240-75-236.socal.res.rr.com) (Changing host)
2020-10-06 08:38:55 → jle` joins (~mstksg@unaffiliated/mstksg)
2020-10-06 08:39:25 × ramon_ quits (~ramon@2001:1c01:3c01:2300:f093:b478:1b8f:4797) ()
2020-10-06 08:40:02 → taurux joins (~taurux@net-93-146-7-28.cust.vodafonedsl.it)
2020-10-06 08:40:07 → ramon_ joins (~ramon@2001:1c01:3c01:2300:f093:b478:1b8f:4797)
2020-10-06 08:42:33 × ramon_ quits (~ramon@2001:1c01:3c01:2300:f093:b478:1b8f:4797) (Client Quit)
2020-10-06 08:43:31 → albert_99 joins (~Albert@p200300e5ff0b5b39340e476afbaec452.dip0.t-ipconnect.de)
2020-10-06 08:45:55 × albert_91 quits (~Albert@p200300e5ff0b5b421cd7bb50d39404b6.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-06 08:48:35 → shaman_king joins (b94186b1@185.65.134.177)
2020-10-06 08:48:37 <shaman_king> hi all
2020-10-06 08:48:49 <shaman_king> i want to learn more about haskell and beyond
2020-10-06 08:49:26 → livvy joins (~livvy@gateway/tor-sasl/livvy)
2020-10-06 08:51:21 → DavidEichmann joins (~david@43.240.198.146.dyn.plus.net)
2020-10-06 08:54:09 → Amras joins (~Amras@unaffiliated/amras0000)
2020-10-06 08:55:53 <shaman_king> hi
2020-10-06 09:00:01 × jden quits (~jden@185.244.214.216) ()
2020-10-06 09:00:18 × notzmv` quits (~user@177.45.26.174) (Ping timeout: 260 seconds)
2020-10-06 09:04:11 × shatriff quits (~vitaliish@88.155.115.165) (Remote host closed the connection)
2020-10-06 09:04:58 hackage aterm 0.1.0.2 - serialisation for Haskell values with sharing support https://hackage.haskell.org/package/aterm-0.1.0.2 (ChristianMaeder)
2020-10-06 09:06:11 × todda7 quits (~torstein@athedsl-4367507.home.otenet.gr) (Ping timeout: 258 seconds)
2020-10-06 09:07:30 → shatriff joins (~vitaliish@88.155.115.165)
2020-10-06 09:07:35 → fendor_ joins (~fendor@212095005149.public.telering.at)
2020-10-06 09:10:32 × drbean quits (~drbean@TC210-63-209-213.static.apol.com.tw) (Ping timeout: 260 seconds)
2020-10-06 09:10:38 × Buntspecht quits (~user@unaffiliated/siracusa) (Quit: Bye!)
2020-10-06 09:10:48 × fendor quits (~fendor@e237-037.eduroam.tuwien.ac.at) (Ping timeout: 256 seconds)
2020-10-06 09:12:40 → raichoo joins (~raichoo@dslb-088-077-027-113.088.077.pools.vodafone-ip.de)
2020-10-06 09:13:50 × polyrain quits (~polyrain@130.102.13.170) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-10-06 09:14:55 × phaul quits (~phaul@ruby/staff/phaul) (Ping timeout: 246 seconds)
2020-10-06 09:18:32 <tomsmeding> If I have a type class 'C s a' with an associated type 'type T a', how can I promise that for every instance 'C s a', the type 'T a' will be an instance of class 'D' (i.e. we will have 'D (T a)')?
2020-10-06 09:19:14 <tomsmeding> alternatively, can I promise that for a particular instance
2020-10-06 09:19:22 <shaman_king> i think thats wrong.
2020-10-06 09:19:28 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-10-06 09:20:24 <tomsmeding> how so?
2020-10-06 09:22:18 × Sanchayan quits (~Sanchayan@136.185.184.11) (Quit: leaving)
2020-10-06 09:22:35 → bahamas joins (~lucian@unaffiliated/bahamas)
2020-10-06 09:25:04 × yoeljacobsen quits (~yoel.jaco@5.28.167.89) (Ping timeout: 246 seconds)
2020-10-06 09:26:28 hackage attoparsec-data 1.0.5 - Parsers for the standard Haskell data types https://hackage.haskell.org/package/attoparsec-data-1.0.5 (NikitaVolkov)
2020-10-06 09:27:17 <cpressey> tomsmeding: I would be surprised if you could say that directly, but maybe you could constraints on 'a' in both C and D? Or perhaps a smart constructor for D's?
2020-10-06 09:27:31 <shaman_king> its wrong
2020-10-06 09:27:34 <dminuoso> tomsmeding: MPTC+fundeps instead of associated types, then you could make it a superclass constraints
2020-10-06 09:27:59 <tomsmeding> problem is that I don't control D, though I do control C
2020-10-06 09:27:59 <dminuoso> Or.. is the superclass constraint possible perhaps?
2020-10-06 09:28:24 <tomsmeding> basically, this is a "shim" for D
2020-10-06 09:29:07 <tomsmeding> ah yes putting T as a type argument to C and using fundeps might work...
2020-10-06 09:29:09 ← shaman_king parts (b94186b1@185.65.134.177) ()
2020-10-06 09:29:15 <tomsmeding> interesting visit
2020-10-06 09:29:39 <dminuoso> % class D (T a) => C s a where type T a
2020-10-06 09:29:40 <yahb> dminuoso:
2020-10-06 09:29:43 <dminuoso> tomsmeding: ^- this seems to work fine
2020-10-06 09:29:52 <tomsmeding> oooooooh
2020-10-06 09:30:07 tomsmeding is off to the editor
2020-10-06 09:30:48 → Saukk joins (~Saukk@2001:998:f1:3963:1c59:9bb5:b94c:2)
2020-10-06 09:30:58 → ubert joins (~Thunderbi@2a02:8109:9880:303c:ca5b:76ff:fe29:f233)
2020-10-06 09:33:29 × jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection)
2020-10-06 09:34:29 → jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se)
2020-10-06 09:35:47 × shatriff quits (~vitaliish@88.155.115.165) (Remote host closed the connection)
2020-10-06 09:36:00 → da39a3ee5e6b4b0d joins (~textual@n11211935170.netvigator.com)
←Prev  Next→
Page 1 .. 456 457 458 459 460 461 462 463 464 465 466 .. 5022

All times are in UTC.