Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 .. 5022
— 502,152 events total
2020-11-05 22:36:36 × Ariakenom quits (~Ariakenom@h-82-196-111-76.NA.cust.bahnhof.se) (Read error: Connection reset by peer)
2020-11-05 22:36:54 <JohnnyL> merijn: :)
2020-11-05 22:37:46 × todda7 quits (~torstein@ppp-2-84-30-242.home.otenet.gr) (Ping timeout: 260 seconds)
2020-11-05 22:39:18 → dwt joins (~dwt@c-98-200-58-177.hsd1.tx.comcast.net)
2020-11-05 22:39:45 → britva joins (~britva@31-10-157-156.cgn.dynamic.upc.ch)
2020-11-05 22:40:17 → Gurkenglas__ joins (~Gurkengla@unaffiliated/gurkenglas)
2020-11-05 22:40:33 × Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection)
2020-11-05 22:40:44 × britva quits (~britva@31-10-157-156.cgn.dynamic.upc.ch) (Client Quit)
2020-11-05 22:45:06 × sagax quits (~sagax_nb@213.138.71.146) (Remote host closed the connection)
2020-11-05 22:47:23 × Foritus quits (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net) (Quit: ლ(ಠ益ಠლ) .:. <Ashley> my porn is hidden in a folder called "BBC Micro Emulator")
2020-11-05 22:51:00 → Varis joins (~Tadas@unaffiliated/varis)
2020-11-05 22:51:48 → conal joins (~conal@107.181.166.217)
2020-11-05 22:53:35 → Foritus joins (~buggery@cpc91334-watf11-2-0-cust153.15-2.cable.virginm.net)
2020-11-05 22:56:05 × conal quits (~conal@107.181.166.217) (Ping timeout: 240 seconds)
2020-11-05 22:56:26 → shatriff joins (~vitaliish@176.52.219.10)
2020-11-05 22:57:13 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2020-11-05 22:58:12 → jbox joins (~atlas@unaffiliated/jbox)
2020-11-05 23:02:30 hackage commonmark 0.1.1.1 - Pure Haskell commonmark parser. https://hackage.haskell.org/package/commonmark-0.1.1.1 (JohnMacFarlane)
2020-11-05 23:03:30 hackage commonmark-extensions 0.2.0.3 - Pure Haskell commonmark parser. https://hackage.haskell.org/package/commonmark-extensions-0.2.0.3 (JohnMacFarlane)
2020-11-05 23:04:42 × texasmynsted quits (~texasmyns@64.44.55.84) (Remote host closed the connection)
2020-11-05 23:05:16 → texasmynsted joins (~texasmyns@64.44.55.84)
2020-11-05 23:05:41 → jcowan joins (sid325434@gateway/web/irccloud.com/x-evadozowlzlhtjmy)
2020-11-05 23:06:23 <jcowan> What is it about multi-parameter typeclasses that excluded them from Haskell 98? Do they make the type system unverifiable in some way, or was it just for lack of use cases at that time?
2020-11-05 23:08:12 × christo quits (~chris@81.96.113.213) (Remote host closed the connection)
2020-11-05 23:08:22 <Rembane> IIRC there wasn't a lack of use cases, they show up in a paper before 1998.
2020-11-05 23:09:28 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2020-11-05 23:10:42 <jcowan> Ah, here it is. "Naive use of MPTCs may result in ambiguity, so functional dependencies were developed as a method of resolving that ambiguity, declaring that some subset of the parameters is sufficient to determine the values of the others." --from the wiki
2020-11-05 23:10:48 × texasmynsted quits (~texasmyns@64.44.55.84) (Ping timeout: 258 seconds)
2020-11-05 23:10:59 → wroathe joins (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net)
2020-11-05 23:12:06 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-05 23:18:05 × nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 258 seconds)
2020-11-05 23:20:46 × mceier quits (~mceier@89-68-132-187.dynamic.chello.pl) (Ping timeout: 258 seconds)
2020-11-05 23:21:22 → codygman joins (~codygman@47-184-107-46.dlls.tx.frontiernet.net)
2020-11-05 23:23:26 × jbox quits (~atlas@unaffiliated/jbox) (Read error: Connection reset by peer)
2020-11-05 23:24:24 → jbox joins (~atlas@unaffiliated/jbox)
2020-11-05 23:30:02 → conal joins (~conal@107.181.166.217)
2020-11-05 23:30:28 × jff quits (~Thunderbi@a109-49-149-2.cpe.netcabo.pt) (Ping timeout: 246 seconds)
2020-11-05 23:31:53 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-05 23:32:30 × twopoint718 quits (~cjw@fsf/member/twopoint718) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-05 23:34:38 → texasmynsted joins (~texasmyns@64.44.55.84)
2020-11-05 23:34:50 × agrif quits (~agrif@overviewer/dev/agrif) (Killed (e (worth a try)))
2020-11-05 23:35:17 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-11-05 23:35:22 → agrif joins (agrif@rakeri.net)
2020-11-05 23:35:22 × agrif quits (agrif@rakeri.net) (Changing host)
2020-11-05 23:35:22 → agrif joins (agrif@overviewer/dev/agrif)
2020-11-05 23:35:29 → texasmyn_ joins (~texasmyns@64.44.55.84)
2020-11-05 23:36:42 → mceier joins (~mceier@89-68-132-187.dynamic.chello.pl)
2020-11-05 23:37:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2020-11-05 23:39:20 × texasmynsted quits (~texasmyns@64.44.55.84) (Ping timeout: 256 seconds)
2020-11-05 23:40:09 × gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-05 23:40:26 → gabiruh joins (~gabiruh@vps19177.publiccloud.com.br)
2020-11-05 23:41:00 → o1lo01ol1o joins (~o1lo01ol1@bl8-213-81.dsl.telepac.pt)
2020-11-05 23:42:32 × fendor quits (~fendor@178.115.129.187.wireless.dyn.drei.com) (Remote host closed the connection)
2020-11-05 23:43:10 × conal quits (~conal@107.181.166.217) (Quit: Computer has gone to sleep.)
2020-11-05 23:43:33 × gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2020-11-05 23:44:35 → conal joins (~conal@107.181.166.217)
2020-11-05 23:46:34 × agrif quits (agrif@overviewer/dev/agrif) (Quit: shorah b'shemtee)
2020-11-05 23:46:56 → agrif joins (~agrif@rakeri.net)
2020-11-05 23:46:56 × agrif quits (~agrif@rakeri.net) (Changing host)
2020-11-05 23:46:56 → agrif joins (~agrif@overviewer/dev/agrif)
2020-11-05 23:47:30 → olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber)
2020-11-05 23:49:55 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-05 23:49:56 × jbox quits (~atlas@unaffiliated/jbox) (Read error: Connection reset by peer)
2020-11-05 23:50:25 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-05 23:50:36 → jbox joins (~atlas@unaffiliated/jbox)
2020-11-05 23:50:44 × Tops2 quits (~Tobias@dyndsl-095-033-088-103.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2020-11-05 23:51:04 × o1lo01ol1o quits (~o1lo01ol1@bl8-213-81.dsl.telepac.pt) (Remote host closed the connection)
2020-11-05 23:52:29 → son0p joins (~son0p@181.136.122.143)
2020-11-05 23:53:08 × borne quits (~fritjof@200116b8643b3600e0b7c534f6e7b66f.dip.versatel-1u1.de) (Ping timeout: 246 seconds)
2020-11-05 23:57:40 → borne joins (~fritjof@200116b8643b36005d0cb1433c5d4cbb.dip.versatel-1u1.de)
2020-11-05 23:57:43 → neobit joins (~neobit@159.65.243.9)
2020-11-06 00:00:00 hackage poke 0.0.0.1 - Discord verification bot https://hackage.haskell.org/package/poke-0.0.0.1 (HughSipiere)
2020-11-06 00:00:01 × mathepauker quits (~mathepauk@s91904426.blix.com) ()
2020-11-06 00:00:04 <neobit> when working with Servant, this compiles: type Routes = FooRoute :<|> BarRoute :<|> BazRoute :<|> QuxRoute
2020-11-06 00:00:07 <neobit> but this does not: type Routes = FooRoute :<|> (BarRoute :<|> BazRoute) :<|> QuxRoute
2020-11-06 00:00:10 <neobit> why is that?
2020-11-06 00:02:42 <Uniaika> neobit: (the #servant channel exists for this library)
2020-11-06 00:03:23 <Axman6> neobit: it'll be because there's a type class instance which expects :<|> to basically be used as a type level list
2020-11-06 00:06:08 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-11-06 00:08:02 × mdunnio quits (~mdunnio@208.59.170.5) (Remote host closed the connection)
2020-11-06 00:08:48 × moistoreos quits (~moist_ore@99-160-143-51.lightspeed.nsvltn.sbcglobal.net) (Ping timeout: 256 seconds)
2020-11-06 00:10:13 × conal quits (~conal@107.181.166.217) (Quit: Computer has gone to sleep.)
2020-11-06 00:13:20 × obihann quits (~jhann@156.34.160.69) (Ping timeout: 265 seconds)
2020-11-06 00:14:43 → obihann joins (~jhann@156.34.160.69)
2020-11-06 00:14:53 × denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (Remote host closed the connection)
2020-11-06 00:16:40 → denisse joins (~spaceCat@gateway/tor-sasl/alephzer0)
2020-11-06 00:18:00 × jbox quits (~atlas@unaffiliated/jbox) (Read error: Connection reset by peer)
2020-11-06 00:18:43 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-06 00:18:48 → jbox joins (~atlas@unaffiliated/jbox)
2020-11-06 00:19:49 → conal joins (~conal@107.181.166.217)
2020-11-06 00:20:50 → hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-06 00:22:28 → mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-06 00:22:51 <Squarism> Im trying to grasp how Traversals / Lenses work here. An unapplied lens has signature : Control.Monad.Reader.Class.MonadReader Foo m => m (Maybe Int)
2020-11-06 00:23:00 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-06 00:23:23 × hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-06 00:23:55 <Axman6> Squarism: first thing to remember about MonadReader is that there is an instance for m = ((->) r), and this is one of the most common uses, so you get r -> Maybe Int
2020-11-06 00:23:57 <Squarism> I remember theres some magic with (->) and MonadReader. Does the above signature imply its equivalent to : Foo -> Maybe Int ?
2020-11-06 00:24:11 <Axman6> exactly
2020-11-06 00:24:51 <Squarism> thanks. Finally i get this wierdness =D
2020-11-06 00:27:11 × Entertainment quits (~entertain@104.246.132.210) (Quit: Leaving.)
←Prev  Next→
Page 1 .. 1082 1083 1084 1085 1086 1087 1088 1089 1090 1091 1092 .. 5022

All times are in UTC.