Home liberachat/#haskell: Logs Calendar

Logs: liberachat/#haskell

←Prev  Next→
Page 1 .. 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 .. 18041
— 1,804,056 events total
2021-08-13 07:44:51 ← sauvikbiswas parts (~sauvikbis@202.78.236.90) ()
2021-08-13 07:45:09 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 07:46:23 → michalz joins (~michalz@185.246.204.45)
2021-08-13 07:46:30 → vpan joins (~vilius@212.117.1.172)
2021-08-13 07:47:27 → azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-13 07:47:31 × econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity)
2021-08-13 07:47:51 → curiousgay joins (~curiousga@77-120-186-48.kha.volia.net)
2021-08-13 07:51:02 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 268 seconds)
2021-08-13 07:51:25 → acidjnk_new3 joins (~acidjnk@p200300d0c72b9592083735004e062fb7.dip0.t-ipconnect.de)
2021-08-13 07:53:30 → acidjnk joins (~acidjnk@p200300d0c72b9592083735004e062fb7.dip0.t-ipconnect.de)
2021-08-13 07:55:00 × acidjnk_new quits (~acidjnk@p200300d0c72b959234d1f3d5373df5b6.dip0.t-ipconnect.de) (Ping timeout: 258 seconds)
2021-08-13 07:56:03 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2021-08-13 07:56:22 × acidjnk_new3 quits (~acidjnk@p200300d0c72b9592083735004e062fb7.dip0.t-ipconnect.de) (Ping timeout: 245 seconds)
2021-08-13 08:01:24 → jgeerds joins (~jgeerds@55d45555.access.ecotel.net)
2021-08-13 08:01:40 → geekosaur joins (~geekosaur@xmonad/geekosaur)
2021-08-13 08:02:25 → epolanski joins (uid312403@id-312403.brockwell.irccloud.com)
2021-08-13 08:05:58 → hendursa1 joins (~weechat@user/hendursaga)
2021-08-13 08:08:24 × hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 244 seconds)
2021-08-13 08:13:19 × hololeap quits (~hololeap@user/hololeap) (Quit: Bye)
2021-08-13 08:17:22 → trcc joins (~trcc@users-1190.st.net.au.dk)
2021-08-13 08:17:32 → acidjnk_new joins (~acidjnk@p200300d0c72b959281899615a9e27518.dip0.t-ipconnect.de)
2021-08-13 08:17:33 × geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection)
2021-08-13 08:17:39 → allbery_b joins (~geekosaur@xmonad/geekosaur)
2021-08-13 08:17:42 allbery_b is now known as geekosaur
2021-08-13 08:18:13 → acidjnk_new3 joins (~acidjnk@p200300d0c72b9592746faa93d7d42dfa.dip0.t-ipconnect.de)
2021-08-13 08:19:13 → raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-08-13 08:19:45 × Ananta-shesha quits (~pjetcetal@2.95.210.188) (Ping timeout: 248 seconds)
2021-08-13 08:21:20 × acidjnk quits (~acidjnk@p200300d0c72b9592083735004e062fb7.dip0.t-ipconnect.de) (Ping timeout: 272 seconds)
2021-08-13 08:21:31 → pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655)
2021-08-13 08:22:05 × acidjnk_new quits (~acidjnk@p200300d0c72b959281899615a9e27518.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-08-13 08:22:57 → Gurkenglas joins (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de)
2021-08-13 08:23:44 → ksqsf joins (~ksqsf@2001:da8:d800:540:15a7:f132:8a07:ce98)
2021-08-13 08:25:23 → mikoto-chan joins (~mikoto-ch@ip-193-121-10-50.dsl.scarlet.be)
2021-08-13 08:32:55 → fef joins (~thedawn@user/thedawn)
2021-08-13 08:34:31 → MoC joins (~moc@user/moc)
2021-08-13 08:37:03 → polyphem joins (~polyphem@2a02:810d:640:776c:5ce9:eeb2:9e8b:b083)
2021-08-13 08:46:50 × jgeerds quits (~jgeerds@55d45555.access.ecotel.net) (Ping timeout: 252 seconds)
2021-08-13 08:47:31 → chomwitt joins (~chomwitt@2a02:587:dc04:9a00:12c3:7bff:fe6d:d374)
2021-08-13 08:48:33 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds)
2021-08-13 08:49:00 × curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 268 seconds)
2021-08-13 08:56:54 → eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2021-08-13 08:58:11 → meltedbrain_y2k joins (~tekserf@31.4.247.41)
2021-08-13 09:01:56 × eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 268 seconds)
2021-08-13 09:10:09 <vpan> hi, there's a broken external link in HLS section of https://wiki.haskell.org/Vim. I think the link target should be https://haskell-language-server.readthedocs.io/en/latest/configuration.html#vim-or-neovim.
2021-08-13 09:10:09 <vpan> Neither anonymous edits, nor account self creation is allowed in the wiki, so I just hope some account holder shares my compulsive need to fix minor issues like that. :)
2021-08-13 09:13:25 <jneira_> mmm maybe an issue in the web github project could be useful: https://github.com/haskell-infra/www.haskell.org/issues/new
2021-08-13 09:14:34 × shriekingnoise quits (~shrieking@186.137.144.80) (Quit: Quit)
2021-08-13 09:14:56 <jneira_> i am afraid we broke links with the lastest doc reorg :-/
2021-08-13 09:15:14 <jneira_> not sure if we could setup some sort of redirection
2021-08-13 09:16:12 × lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection)
2021-08-13 09:18:56 <vpan> my impression is that editor integration was previously documented in the HLS repo readme, but has been moved to readthedocs. So I wouldn't really say something was broken, more like wiki got out-of-sync with the current HLS documentation.
2021-08-13 09:19:57 × hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity)
2021-08-13 09:23:24 → pfurla joins (~pfurla@ool-3f8fcb0f.dyn.optonline.net)
2021-08-13 09:27:16 × pfurla_ quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 272 seconds)
2021-08-13 09:27:46 × adam1 quits (~adam@2001-b011-4007-2359-bd8f-963e-7a4f-ca79.dynamic-ip6.hinet.net) (Ping timeout: 258 seconds)
2021-08-13 09:28:27 × Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 268 seconds)
2021-08-13 09:28:58 × vicfred quits (~vicfred@user/vicfred) (Quit: Leaving)
2021-08-13 09:32:51 → agua_pesada joins (~agua_pesa@2804:14c:8793:8e2f:311f:1da6:1cf6:61ea)
2021-08-13 09:34:01 × michalz quits (~michalz@185.246.204.45) (Remote host closed the connection)
2021-08-13 09:38:56 × azeem quits (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it) (Ping timeout: 268 seconds)
2021-08-13 09:40:43 × ksqsf quits (~ksqsf@2001:da8:d800:540:15a7:f132:8a07:ce98) (Remote host closed the connection)
2021-08-13 09:43:09 → azeem joins (~azeem@176.200.230.183)
2021-08-13 09:43:53 × azeem quits (~azeem@176.200.230.183) (Read error: Connection reset by peer)
2021-08-13 09:46:42 → euouae joins (~euouae@user/euouae)
2021-08-13 09:46:48 → lavaman joins (~lavaman@98.38.249.169)
2021-08-13 09:47:03 → azeem joins (~azeem@dynamic-adsl-94-34-33-6.clienti.tiscali.it)
2021-08-13 09:48:54 → adam1 joins (~adam@2001-b011-4007-2979-f1d0-4beb-f352-05b6.dynamic-ip6.hinet.net)
2021-08-13 09:51:54 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 268 seconds)
2021-08-13 09:52:26 × adam1 quits (~adam@2001-b011-4007-2979-f1d0-4beb-f352-05b6.dynamic-ip6.hinet.net) (Client Quit)
2021-08-13 09:57:47 × lortabac quits (~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212) (Quit: WeeChat 2.8)
2021-08-13 09:57:55 → lortabac joins (~lortabac@2a01:e0a:541:b8f0:d245:f899:494d:4212)
2021-08-13 09:59:54 × vpan quits (~vilius@212.117.1.172) (Quit: Leaving.)
2021-08-13 10:01:20 → michalz joins (~michalz@185.246.204.33)
2021-08-13 10:05:30 → lavaman joins (~lavaman@98.38.249.169)
2021-08-13 10:08:29 → kuribas joins (~user@ptr-25vy0i8g8e654nggn7o.18120a2.ip6.access.telenet.be)
2021-08-13 10:10:14 × lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 256 seconds)
2021-08-13 10:15:51 × Arahael quits (~arahael@124.170.238.106) (Quit: WeeChat 2.7.1)
2021-08-13 10:16:26 → arahael joins (~arahael@124.170.238.106)
2021-08-13 10:16:36 × xff0x quits (~xff0x@2001:1a81:5278:5300:d62b:c7db:34dc:535c) (Ping timeout: 272 seconds)
2021-08-13 10:17:19 → xff0x joins (~xff0x@2001:1a81:5278:5300:c5b:fd09:8552:8cb2)
2021-08-13 10:18:43 → acidjnk_new joins (~acidjnk@p200300d0c72b9566746faa93d7d42dfa.dip0.t-ipconnect.de)
2021-08-13 10:21:59 × acidjnk_new3 quits (~acidjnk@p200300d0c72b9592746faa93d7d42dfa.dip0.t-ipconnect.de) (Ping timeout: 252 seconds)
2021-08-13 10:36:37 × Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer)
2021-08-13 10:37:36 → thonoht[m] joins (~thonohtma@2001:470:69fc:105::d7be)
2021-08-13 10:37:37 <kuribas> Why is it not possible to have subtyping and HM inference?
2021-08-13 10:42:01 <kuribas> say if I have "f :: Int -> Int", then in "let y = f x", couln't I infer x as "forall a . (I a Int)" (the intersection of Int with some type), and y as forall b . (U b Int) (the union of Int with some type).
2021-08-13 10:42:55 <kuribas> I suppose the tricky part is unification and simplification of constraints.
2021-08-13 10:44:10 <kuribas> or infer x as (SubTypeOf a Int => a), and y as (SuperTypeOf b Int => b)
2021-08-13 10:44:46 → Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583)
2021-08-13 10:44:55 <lortabac> kuribas: the tricky part is probably how to make this system pleasant to use
2021-08-13 10:45:15 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-08-13 10:45:56 <kuribas> lortabac: it should have a sufficiently smart simplification algorithm
2021-08-13 10:46:29 <lortabac> and a nice surface syntax to express those polymorphic types with constraints
2021-08-13 10:46:47 <lortabac> because you are going to have them in most signatures
2021-08-13 10:47:57 <kuribas> But in this system `f :: Int -> Int` would be equivalent to `f :: forall a b. (I a Int) -> (U b Int)`
2021-08-13 10:48:06 <kuribas> So the latter could be rewritten as the former.
2021-08-13 10:48:25 <lortabac> oh I see the idea
2021-08-13 10:48:41 <lortabac> so no monomorphic types at all?
2021-08-13 10:48:49 <kuribas> indeed
2021-08-13 10:48:54 × Gurkenglas quits (~Gurkengla@dslb-002-203-144-156.002.203.pools.vodafone-ip.de) (Ping timeout: 272 seconds)
←Prev  Next→
Page 1 .. 1380 1381 1382 1383 1384 1385 1386 1387 1388 1389 1390 .. 18041

All times are in UTC.