Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 45 46 47 48 49 50 51 52 53 54 55 .. 17899
— 1,789,878 events total
2021-05-23 21:02:12 → coot joins (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl)
2021-05-23 21:05:17 × pretty_dumm_guy quits (~trottel@188.241.83.100) (Quit: WeeChat 3.2-dev)
2021-05-23 21:05:35 × jneira quits (5127aca6@107.161.19.109) (Quit: Ping timeout (120 seconds))
2021-05-23 21:06:03 → pretty_dumm_guy joins (~trottel@37.120.236.4)
2021-05-23 21:06:41 → jneira joins (5127aca6@107.161.19.109)
2021-05-23 21:06:47 → ddellacosta joins (~ddellacos@89.46.62.25)
2021-05-23 21:09:15 × sondre quits (~sondrelun@cm-84.212.100.140.getinternet.no) (Ping timeout: 264 seconds)
2021-05-23 21:10:58 → qbt joins (~edun@user/edun)
2021-05-23 21:11:39 × ddellacosta quits (~ddellacos@89.46.62.25) (Ping timeout: 264 seconds)
2021-05-23 21:15:08 → fart joins (68e8ca7b@user/actor)
2021-05-23 21:15:48 <fart> does anyone have some up to date references for building a stack project (yesod specifically) with nix?
2021-05-23 21:16:53 → kenran joins (~kenran@200116b82bbd74003baa1f87b397ac11.dip.versatel-1u1.de)
2021-05-23 21:17:03 <__monty__> Isn't the haskell infra documentation linked to in the manual up to date?
2021-05-23 21:17:39 × kenran quits (~kenran@200116b82bbd74003baa1f87b397ac11.dip.versatel-1u1.de) (Client Quit)
2021-05-23 21:18:46 × pretty_dumm_guy quits (~trottel@37.120.236.4) (Quit: WeeChat 3.2-dev)
2021-05-23 21:19:06 <__monty__> Yeah, I think this is what you're looking for, https://haskell4nix.readthedocs.io/nixpkgs-users-guide.html#how-to-create-nix-builds-for-your-own-private-haskell-packages
2021-05-23 21:20:27 <fart> thanks!
2021-05-23 21:26:15 <doyougnu> fart: if you're just looking to use yesod as a dependency you might just need to enable nix flag in your stack.yaml
2021-05-23 21:32:30 × juhp quits (~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 21:32:44 → juhp joins (~juhp@128.106.188.199)
2021-05-23 21:34:26 × nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-23 21:36:32 × dextercd quits (~dexter@2a02-a450-f25d-1-76d4-35ff-fefe-34c.fixed6.kpn.net) (Quit: WeeChat 3.1)
2021-05-23 21:41:49 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-23 21:45:01 → zvijezda joins (~space-mar@c-73-239-80-24.hsd1.wa.comcast.net)
2021-05-23 21:45:53 × coot quits (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-05-23 21:48:19 → chddr joins (~Thunderbi@91.226.34.182)
2021-05-23 21:51:37 → Robin_Jadoul joins (~Robin_Jad@152.67.64.160)
2021-05-23 21:51:47 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-23 21:52:39 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-23 21:53:32 × qbt quits (~edun@user/edun) (Quit: WeeChat 3.1)
2021-05-23 21:54:19 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-23 21:55:10 → yumaikas- joins (~yumaikas@c-75-70-163-65.hsd1.co.comcast.net)
2021-05-23 21:58:40 × zvijezda quits (~space-mar@c-73-239-80-24.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2021-05-23 21:58:59 × talismanick quits (~user@2601:644:8502:d700::94c9) (Read error: Connection reset by peer)
2021-05-23 22:00:21 → zeenk joins (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41)
2021-05-23 22:02:18 × mastarija quits (~mastarija@31.217.14.127) (Quit: Leaving)
2021-05-23 22:04:34 → raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-05-23 22:04:53 × dudek quits (~dudek@185.150.236.112) (Quit: Leaving)
2021-05-23 22:06:29 × jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection)
2021-05-23 22:07:41 × wonko quits (~wjc@user/wonko) (Ping timeout: 272 seconds)
2021-05-23 22:07:59 → jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2021-05-23 22:15:54 × fendor_ quits (~fendor@178.165.191.174.wireless.dyn.drei.com) (Remote host closed the connection)
2021-05-23 22:16:14 × haskman quits (~haskman@106.215.24.177) (Quit: Going to sleep. ZZZzzz…)
2021-05-23 22:16:25 → liv joins (~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca)
2021-05-23 22:17:50 × juhp quits (~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 22:18:04 → juhp joins (~juhp@128.106.188.199)
2021-05-23 22:22:25 × zeenk quits (~zeenk@2a02:2f04:a310:b600:b098:bf18:df4d:4c41) (Quit: Konversation terminated!)
2021-05-23 22:28:01 × Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-05-23 22:30:04 × scrazen quits (~scrazen@user/scrazen) (Remote host closed the connection)
2021-05-23 22:30:12 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-05-23 22:30:32 <sclv> just as an fyi, we'll probably have some hackage downtime later today (maybe in an hour or two) as we migrate to a bigger server
2021-05-23 22:30:49 <sclv> mirrors will still work, so won't affect cabal usage etc, just doc availability
2021-05-23 22:33:58 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-23 22:34:23 × liv quits (~liv@bras-base-burlon0233w-grc-86-70-30-52-48.dsl.bell.ca) (Remote host closed the connection)
2021-05-23 22:35:13 → Morrow joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net)
2021-05-23 22:36:25 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 22:41:30 → nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com)
2021-05-23 22:42:14 → dtman34 joins (~dtman34@c-73-62-246-247.hsd1.mn.comcast.net)
2021-05-23 22:43:51 → kewa joins (~kewa@5.138.148.77)
2021-05-23 22:45:08 × imdoor quits (~imdoor@balticom-142-78-50.balticom.lv) (Quit: imdoor)
2021-05-23 22:45:35 → nkjni joins (~manjaro-g@net-93-148-57-85.cust.vodafonedsl.it)
2021-05-23 22:46:26 <Restle> I remember reading a blogpost that covered full parametric data types (I.E, `data Person name age = Person name age`) where every field is a type variable, but I forgot what it was referred to as
2021-05-23 22:46:42 <Restle> Is there a common name for this? Google isn't turning up much
2021-05-23 22:48:10 × juhp quits (~juhp@128.106.188.199) (Quit: juhp)
2021-05-23 22:48:24 → juhp joins (~juhp@128.106.188.199)
2021-05-23 22:49:14 <dmwit> I guess it's a sum of products.
2021-05-23 22:49:28 <dmwit> I don't really think there's a common name for it. It's not a common property.
2021-05-23 22:49:48 × nkjni quits (~manjaro-g@net-93-148-57-85.cust.vodafonedsl.it) (Quit: Leaving)
2021-05-23 22:51:23 × fryguybob quits (~fryguybob@cpe-74-65-31-113.rochester.res.rr.com) (Ping timeout: 272 seconds)
2021-05-23 22:53:10 × gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving)
2021-05-23 22:53:49 <hpc> the value-level equivalent is "supercombinator"
2021-05-23 22:54:16 <hpc> even at that level it's not terribly interesting
2021-05-23 22:56:23 <Restle> It makes for some interesting APIs though, if you're able to demand constraints on specific fields sometimes and not others: `data User a b = User { username :: a, password :: b }` allowing for: `login :: forall a b. Hash b => User a b -> IO ()`
2021-05-23 22:57:16 <hpc> what if you want to process a list of users
2021-05-23 22:57:19 <Restle> I don't want to do this though, nor suggesting doing this everywhere, I was just trying to track down the original block post
2021-05-23 22:57:22 <Restle> blog*
2021-05-23 22:57:28 <hpc> some of which have sha256 passwords and some of which have sha512 passwords?
2021-05-23 22:58:03 <Restle> Then either your type system just helped you realise you were about to write broken code and that is by design :), or you generalise the type further perhaps?
2021-05-23 22:58:24 <boxscape> data UserList a = forall b . UserList [User a b]?
2021-05-23 22:58:29 <boxscape> eh
2021-05-23 22:58:35 <boxscape> data UserList a = forall b . Hash b => UserList [User a b]?
2021-05-23 22:59:06 → shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net)
2021-05-23 22:59:18 <Restle> Yeah existentials save you here but it's kind of nasty
2021-05-23 22:59:34 × xwx quits (~george@user/george) (Ping timeout: 264 seconds)
2021-05-23 23:00:07 → unyu joins (~pyon@user/pyon)
2021-05-23 23:02:29 <doyougnu> Could it be related to Tagless-Final stuff from Oleg?
2021-05-23 23:02:49 exarkun2 is now known as exarkun
2021-05-23 23:05:08 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds)
2021-05-23 23:05:49 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-05-23 23:06:27 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-05-23 23:06:27 <Restle> Possibly but his site is a labyrinth, I wouldn't know where to start trying to track it down :(
2021-05-23 23:07:57 → ddellacosta joins (~ddellacos@86.106.121.78)
2021-05-23 23:09:45 × yumaikas- quits (~yumaikas@c-75-70-163-65.hsd1.co.comcast.net) (Ping timeout: 272 seconds)
2021-05-23 23:10:30 → drewr joins (~drew@2601:483:4100:4112:d4b9:e71b:75c3:cf5a)
2021-05-23 23:11:15 × ddellacosta quits (~ddellacos@86.106.121.78) (Read error: Connection reset by peer)
2021-05-23 23:13:45 × exarkun quits (~exarkun@2605:59c1:c2cc:400:70e1:a9aa:6155:349e) (Remote host closed the connection)
2021-05-23 23:13:59 → exarkun1 joins (~exarkun@2605:59c1:c2cc:400::e9c)
2021-05-23 23:14:42 → WikiLycurgus joins (~juan@cpe-45-46-140-49.buffalo.res.rr.com)
2021-05-23 23:16:09 × nan` quits (~nan`@rrcs-70-60-83-42.central.biz.rr.com) (Quit: Computer is sleeping. ZZZzzz…)
2021-05-23 23:16:51 → nan` joins (~nan`@rrcs-70-60-83-42.central.biz.rr.com)
←Prev  Next→
Page 1 .. 45 46 47 48 49 50 51 52 53 54 55 .. 17899

All times are in UTC.