Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 .. 5022
— 502,152 events total
2021-03-01 00:52:34 <edwardk> you can use FUN 'One
2021-03-01 00:52:35 → nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com)
2021-03-01 00:52:58 <edwardk> but in general you can't partially apply (->) at all the kinds it can be used at, so this doesn't surprise me
2021-03-01 00:54:11 <edwardk> you also generally can't section types. e.g. i'd like to be able to write instance Foo (e ->) rather than instance Foo ((->) e) but i can't do that either
2021-03-01 00:54:44 <edwardk> and morally what you wrote there jamestmartin looks a lot like a weird ternary section
2021-03-01 00:56:19 × Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 256 seconds)
2021-03-01 01:00:59 <jamestmartin> mostly I'm just trying to figure out what the LinearTypes syntax for stuff is. where is it documented that FUN is exported by `Data.Kind`? (and for that matter, what exports 'One)
2021-03-01 01:03:38 → pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net)
2021-03-01 01:03:59 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-01 01:06:06 → Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-03-01 01:06:40 → psutcliffe joins (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42)
2021-03-01 01:07:09 × usr25_tm quits (~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-03-01 01:08:22 × heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Remote host closed the connection)
2021-03-01 01:08:23 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds)
2021-03-01 01:08:31 × cheater quits (~user@unaffiliated/cheater) (Ping timeout: 276 seconds)
2021-03-01 01:09:49 × WarzoneCommand quits (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 272 seconds)
2021-03-01 01:10:21 → cheater joins (~user@unaffiliated/cheater)
2021-03-01 01:10:49 <sm[m]> jeez, scripting with Haskell is still too hard
2021-03-01 01:12:15 <sm[m]> I wanted a week calendar in a certain format, I thought I'll just do a quick Haskell script. 1.5h of fiddling with setup later..
2021-03-01 01:13:57 <jamestmartin> according to the GHC user manual, Multiplicity is exported by `GHC.Types`, which is provided by `ghc-prim`, but it's not documented as an export of `ghc-prim` on Hackage, and it seems unlikely that `FUN` would be exported as part of base but not `Multiplicity`. is it exported somewhere else without depending directly on `ghc-prim`? I can't search for it on hackage because hackage doesn't document the core linear types stuff afaict, the GHC user manual
2021-03-01 01:13:57 <jamestmartin> didn't even mention FUN existed at all, and neither the proposal nor the wiki mention what exports what (again afaict)
2021-03-01 01:16:00 × slack1256 quits (~slack1256@45.4.2.52) (Remote host closed the connection)
2021-03-01 01:17:34 × myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds)
2021-03-01 01:20:48 × carlomagno quits (~cararell@148.87.23.10) (Remote host closed the connection)
2021-03-01 01:21:00 → WarzoneCommand joins (~Frank@77-162-168-71.fixed.kpn.net)
2021-03-01 01:22:46 → carlomagno joins (~cararell@148.87.23.10)
2021-03-01 01:26:20 × Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa)
2021-03-01 01:30:13 × gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-03-01 01:31:04 → gentauro joins (~gentauro@unaffiliated/gentauro)
2021-03-01 01:34:39 × sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 245 seconds)
2021-03-01 01:35:04 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection)
2021-03-01 01:35:24 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-01 01:36:15 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2021-03-01 01:39:39 → acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-03-01 01:40:32 × zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-01 01:40:54 → zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr)
2021-03-01 01:42:05 <edwardk> jamestmartin: i grab FUN from GHC.Prim everything else from GHC.Types -- didn't even know Data.Kind exported this stuff
2021-03-01 01:47:52 <jamestmartin> neither did I (and as far as I can tell, it's just FUN?), but thanks for telling me how to do it because I didn't even know FUN was actually implemented (I figured it was another proposed-but-unused syntax)
2021-03-01 01:48:15 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 240 seconds)
2021-03-01 01:50:37 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-01 01:57:33 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 264 seconds)
2021-03-01 02:00:12 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-01 02:01:16 → nbloomf joins (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab)
2021-03-01 02:02:52 → heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2)
2021-03-01 02:03:15 × svet quits (~svet@90.200.185.163) (Ping timeout: 240 seconds)
2021-03-01 02:05:20 → elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-03-01 02:05:56 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection)
2021-03-01 02:06:15 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-01 02:08:31 → Vanotek joins (~Vanotek@90.200.185.163)
2021-03-01 02:09:29 × DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 265 seconds)
2021-03-01 02:10:51 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection)
2021-03-01 02:11:57 × darjeeling_ quits (~darjeelin@122.245.218.150) (Ping timeout: 264 seconds)
2021-03-01 02:14:03 → darjeeling_ joins (~darjeelin@122.245.218.150)
2021-03-01 02:14:04 × Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-03-01 02:14:19 → Tario joins (~Tario@201.192.165.173)
2021-03-01 02:16:02 → Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-01 02:16:49 <edwardk> if you dig around in linear-base you'll find a couple mentions of it
2021-03-01 02:17:05 → merijn joins (~merijn@83-160-49-249.ip.xs4all.nl)
2021-03-01 02:17:38 → z0k joins (~user@115-186-141-91.nayatel.pk)
2021-03-01 02:19:02 × Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Read error: Connection reset by peer)
2021-03-01 02:19:02 → Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-03-01 02:20:03 × z0k quits (~user@115-186-141-91.nayatel.pk) (Client Quit)
2021-03-01 02:22:49 × Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 260 seconds)
2021-03-01 02:24:43 → DataComputist joins (~lumeng@50.43.26.251)
2021-03-01 02:27:56 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-01 02:30:19 → bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net)
2021-03-01 02:30:35 × nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection)
2021-03-01 02:34:56 → Narinas joins (~Narinas@187.178.93.112)
2021-03-01 02:35:25 × puke quits (~vroom@217.138.252.56) (Quit: puke)
2021-03-01 02:37:59 × gitgood quits (~gitgood@80-44-13-206.dynamic.dsl.as9105.com) (Ping timeout: 245 seconds)
2021-03-01 02:40:19 × Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds)
2021-03-01 02:40:32 × zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-03-01 02:40:54 → zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr)
2021-03-01 02:41:56 → myShoggoth joins (~myShoggot@75.164.81.55)
2021-03-01 02:42:52 → Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362)
2021-03-01 02:44:01 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-01 02:45:35 × redmp quits (~redmp@172.58.38.156) (Ping timeout: 240 seconds)
2021-03-01 02:45:36 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit)
2021-03-01 02:46:22 × conal quits (~conal@192.145.118.119) (Quit: Computer has gone to sleep.)
2021-03-01 02:47:05 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-01 02:47:26 × melkor quits (~melkor@2a02:2b88:2:1::5b34:1) (Ping timeout: 264 seconds)
2021-03-01 02:47:44 → melkor joins (~melkor@31.31.76.126)
2021-03-01 02:48:23 → slack1256 joins (~slack1256@45.4.2.52)
2021-03-01 02:49:17 × saitamaplus quits (uid272474@gateway/web/irccloud.com/x-tqrynpyipoxrnkjn) (Quit: Connection closed for inactivity)
2021-03-01 02:49:39 × acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds)
2021-03-01 02:50:53 × merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds)
2021-03-01 02:52:05 → tromp joins (~tromp@dhcp-077-249-230-040.chello.nl)
2021-03-01 02:52:22 × dansho quits (~dansho@ec2-52-69-229-22.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving)
2021-03-01 02:52:45 → conal joins (~conal@66.115.157.106)
2021-03-01 02:52:46 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in)
2021-03-01 02:54:29 × viluon quits (uid453725@gateway/web/irccloud.com/x-nrcpcvymghsotxnv) (Quit: Connection closed for inactivity)
2021-03-01 02:54:29 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-01 02:55:23 × matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit)
2021-03-01 02:56:15 × tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-03-01 02:56:56 × bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds)
2021-03-01 02:59:27 → matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-03-01 03:01:49 × xff0x quits (~xff0x@2001:1a81:5349:9200:2806:fad1:e222:a1c8) (Ping timeout: 272 seconds)
2021-03-01 03:02:14 × slack1256 quits (~slack1256@45.4.2.52) (Remote host closed the connection)
2021-03-01 03:03:08 → xff0x joins (~xff0x@2001:1a81:5383:2100:7be7:dddc:2608:44b7)
2021-03-01 03:09:35 × __minoru__shirae quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds)
←Prev  Next→
Page 1 .. 3545 3546 3547 3548 3549 3550 3551 3552 3553 3554 3555 .. 5022

All times are in UTC.