Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 .. 5022
— 502,152 events total
2020-11-02 23:34:20 → thir joins (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de)
2020-11-02 23:35:15 → conal joins (~conal@198.8.81.68)
2020-11-02 23:37:10 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-02 23:38:24 × thir quits (~thir@p200300f27f0b7e00f4e9381c2bf90854.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-02 23:39:08 × mbomba quits (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Ping timeout: 260 seconds)
2020-11-02 23:39:31 × Chi1thangoo quits (~Chi1thang@87.112.60.168) (Ping timeout: 246 seconds)
2020-11-02 23:39:53 <bradparker> Hi all, can anyone direct me to some resources that explain why http://hackage.haskell.org/package/servant-server-0.18/docs/Servant-Server.html#v:serve needs both the `Proxy api` argument and the `Server api` argument to "get hold of" `api`?
2020-11-02 23:39:57 × perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 2.9)
2020-11-02 23:40:04 <bradparker> I remember reading some discussion about why the `Server api` argument wasn't enough (something about it being a type-family iirc) but I can't find my way back to it, can't remember the gist ...
2020-11-02 23:41:06 → dbmikus_ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-02 23:41:20 → christo joins (~chris@81.96.113.213)
2020-11-02 23:42:15 × conal quits (~conal@198.8.81.68) (Quit: Computer has gone to sleep.)
2020-11-02 23:42:21 → perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2020-11-02 23:45:55 × dbmikus_ quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 260 seconds)
2020-11-02 23:46:47 <gobbleguy> bradparker: Server is type Server api = ServerT api Handler
2020-11-02 23:47:02 <gobbleguy> ServerT is an associated type family of the HasServer class
2020-11-02 23:47:09 <gobbleguy> type families are not injective
2020-11-02 23:47:21 → s00pcan joins (~chris@075-133-056-178.res.spectrum.com)
2020-11-02 23:47:38 <gobbleguy> so that means just knowing what they evaluated to you can't definitively determine their arguments
2020-11-02 23:49:05 <gobbleguy> If I told you 'not x == False' you could work out what x was, but if I told you 'null xs == False' you wouldn't be able to tell me what xs was. not is injective, null is not
2020-11-02 23:50:29 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2020-11-02 23:52:09 → conal joins (~conal@64.71.133.70)
2020-11-02 23:52:36 × berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.7.5 - https://znc.in)
2020-11-02 23:52:57 → berberman joins (~berberman@unaffiliated/berberman)
2020-11-02 23:54:07 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:c4b9:178f:4076:90ef) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-02 23:54:18 × LKoen quits (~LKoen@79.160.9.109.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.”)
2020-11-02 23:54:45 <bradparker> Great, thanks for that :). `ServerT SomeApi => SomeArg -> Handler SomeResult` has lost a lot of information about `SomeApi`
2020-11-02 23:55:36 → renzhi joins (~renzhi@2607:fa49:655f:e600::28da)
2020-11-02 23:56:05 <bradparker> Many possible arguments, with things like `"namespace" :> ...` and `Get '[JSON] ...` can get the same result
2020-11-02 23:57:54 <bqv> man i sure have missed haskell
2020-11-02 23:58:09 <bqv> haven't quite missed the analysis paralysis
2020-11-02 23:58:15 <bqv> but i've missed these beautiful types
2020-11-02 23:59:01 × pera quits (~pera@unaffiliated/pera) (Ping timeout: 264 seconds)
2020-11-03 00:00:01 × ffej quits (~ffej@195.206.169.184) ()
2020-11-03 00:01:18 <Axma45768> gobbleguy: that's a great explanation, nice work
2020-11-03 00:02:10 Axma45768 is now known as Axman6
2020-11-03 00:02:43 <gobbleguy> Using glirc?
2020-11-03 00:03:35 <Axman6> I'm using glirc
2020-11-03 00:03:37 <gobbleguy> If you want to avoid my conservative nickname fallback code you can add more nicknames to your list of alternatives :)
2020-11-03 00:03:52 <Axman6> I was surprised how good that fallback was actually
2020-11-03 00:04:12 <Axman6> gobbleguy = glguy?
2020-11-03 00:04:14 <gobbleguy> yeah
2020-11-03 00:04:28 <Axman6> everything makes sense
2020-11-03 00:04:35 <gobbleguy> turn on "show-accounts: yes" so you don't have to guess :)
2020-11-03 00:04:58 <gobbleguy> >>> 16:01 Axma45768(axman6): gobbleguy: that's a great explanation, nice work
2020-11-03 00:05:20 → mbomba joins (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca)
2020-11-03 00:08:45 → heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net)
2020-11-03 00:09:15 <monochrom> Yikes, gobbleguy, is it Thanksgiving turkey theme now? :)
2020-11-03 00:09:45 <monochrom> "Yeah after Steam Halloween Sale we're looking forward to Steam Autumn Sale!"
2020-11-03 00:10:06 <Axman6> it's Spring tho
2020-11-03 00:10:16 <gobbleguy> I just want IRC to be fun ^_^ What's more fun than seasonal nicknames?
2020-11-03 00:10:25 <koz_> Axman6: Damn that Northern Hemisphere centrism.
2020-11-03 00:10:55 <Axman6> i reckon, bloody seppos
2020-11-03 00:10:57 × PerseusPlease quits (~{mikey}@212.86.35.157) (Quit: Leaving)
2020-11-03 00:11:03 <gobbleguy> Does Steam show that it's an Autum Sale in the southern hemisphere?
2020-11-03 00:11:08 <gobbleguy> +n
2020-11-03 00:11:50 <Axman6> our internet isn't fast enough to get steam
2020-11-03 00:12:18 <gobbleguy> Warm-water Autumn Sale!
2020-11-03 00:12:23 → vacm joins (~vacwm@70.23.92.191)
2020-11-03 00:16:38 → howdoi joins (uid224@gateway/web/irccloud.com/x-gtoygnwcsyvwpslb)
2020-11-03 00:17:09 × gxt quits (~gxt@gateway/tor-sasl/gxt) (Remote host closed the connection)
2020-11-03 00:17:53 → gxt joins (~gxt@gateway/tor-sasl/gxt)
2020-11-03 00:19:11 → ensyde joins (~ensyde@99-185-235-117.lightspeed.chrlnc.sbcglobal.net)
2020-11-03 00:21:52 × elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2020-11-03 00:24:48 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds)
2020-11-03 00:27:18 × tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) ()
2020-11-03 00:27:23 × conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2020-11-03 00:29:17 → emnmauiigw^ joins (emnmauiigw@ip98-184-89-2.mc.at.cox.net)
2020-11-03 00:29:50 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:783b:3352:9af0:3d48)
2020-11-03 00:31:19 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2020-11-03 00:32:20 → fendor__ joins (~fendor@91.141.3.235.wireless.dyn.drei.com)
2020-11-03 00:32:39 × mbomba quits (~mbomba@bras-base-toroon2719w-grc-49-142-114-9-241.dsl.bell.ca) (Quit: WeeChat 2.9)
2020-11-03 00:34:36 × fendor_ quits (~fendor@91.141.1.122.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2020-11-03 00:36:22 × mimi1vx quits (~mimi@tulipan.habr.nat.praha12.net) (Ping timeout: 256 seconds)
2020-11-03 00:39:56 → Jeanne-Kamikaze joins (~Jeanne-Ka@68.235.43.142)
2020-11-03 00:41:30 × nbloomf quits (~nbloomf@2600:1700:ad14:3020:783b:3352:9af0:3d48) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-03 00:46:54 × vacm quits (~vacwm@70.23.92.191) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2020-11-03 00:47:52 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:783b:3352:9af0:3d48)
2020-11-03 00:48:32 → vacm joins (~vacwm@70.23.92.191)
2020-11-03 00:48:57 × psygate quits (~psygate@unaffiliated/psygate) (Quit: Leaving)
2020-11-03 00:49:25 Axman6 considers /nick Axmurderman6
2020-11-03 00:50:10 × ahmr88 quits (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) (Remote host closed the connection)
2020-11-03 00:52:18 × Jeanne-Kamikaze quits (~Jeanne-Ka@68.235.43.142) (Quit: Leaving)
2020-11-03 00:52:52 → plutoniix joins (~q@175.176.222.7)
2020-11-03 00:59:08 → dbmikus_ joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com)
2020-11-03 01:00:27 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2020-11-03 01:00:45 × ps-auxw quits (~arneb@p548c6f52.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-11-03 01:02:35 → mimi1vx joins (~mimi@2a01:490:16:1026:90cd:be5f:a52c:e47e)
2020-11-03 01:02:35 × carlomagno quits (~cararell@148.87.23.11) (Remote host closed the connection)
2020-11-03 01:04:05 → carlomagno joins (~cararell@148.87.23.4)
2020-11-03 01:04:23 × hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 240 seconds)
2020-11-03 01:04:30 hackage ttc 0.3.0.0 - Textual Type Classes https://hackage.haskell.org/package/ttc-0.3.0.0 (TravisCardwell)
2020-11-03 01:06:00 hackage predicate-typed 0.7.4.2 - Predicates, Refinement types and Dsl https://hackage.haskell.org/package/predicate-typed-0.7.4.2 (gbwey)
2020-11-03 01:06:13 <bqv> writing to a tchan is nonblocking, right?
2020-11-03 01:06:26 <bqv> linked list, surely it is
2020-11-03 01:06:30 → hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus)
2020-11-03 01:06:34 × heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2020-11-03 01:06:49 → ps-auxw joins (~arneb@p548d590b.dip0.t-ipconnect.de)
2020-11-03 01:07:15 × geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Quit: geowiesnot)
2020-11-03 01:11:17 × ps-auxw quits (~arneb@p548d590b.dip0.t-ipconnect.de) (Disconnected by services)
←Prev  Next→
Page 1 .. 1022 1023 1024 1025 1026 1027 1028 1029 1030 1031 1032 .. 5022

All times are in UTC.