Home freenode/#haskell: Logs Calendar

Logs: freenode/#haskell

←Prev  Next→
Page 1 .. 657 658 659 660 661 662 663 664 665 666 667 .. 5022
— 502,152 events total
2020-10-15 20:07:10 <monochrom> Also, today's HWN lists https://generics.jasperwoudenberg.com/ which helps learning GHC.Generics.
2020-10-15 20:08:00 <monochrom> Dynamically typed languages have dependent rank-n types. Change my mind.
2020-10-15 20:08:20 <larou> dynamically or dependently?
2020-10-15 20:08:31 <monochrom> yes.
2020-10-15 20:09:34 × jneira_ quits (~jneira@80.30.100.250) (Ping timeout: 246 seconds)
2020-10-15 20:09:43 <monochrom> Clearly, C has rank-n types too, just not very polymorphic; and without local functions, not a lot of use cases.
2020-10-15 20:09:53 <larou> anyway, i think if i managed to show the idea working it would be easier to convince the GHC people to make a language extension
2020-10-15 20:10:07 → jneira_ joins (~jneira@80.30.100.250)
2020-10-15 20:10:11 <larou> or another language that compiles to haskell or something
2020-10-15 20:10:29 → acidjnk_new2 joins (~acidjnk@p200300d0c723787058597087ca157dd5.dip0.t-ipconnect.de)
2020-10-15 20:10:30 <larou> because whatever it ends up as, its not going to be legible
2020-10-15 20:10:52 <larou> all constraint continuations everywhere
2020-10-15 20:10:59 <larou> the worst...
2020-10-15 20:11:38 × knupfer quits (~Thunderbi@200116b82c60f7000129fdd9bc9ee5fc.dip.versatel-1u1.de) (Quit: knupfer)
2020-10-15 20:11:46 → knupfer joins (~Thunderbi@200116b82c60f7000129fdd9bc9ee5fc.dip.versatel-1u1.de)
2020-10-15 20:12:00 <larou> like, with this "Let" uniqueness, i think i can use params in the GADT definition to explicate the cycles
2020-10-15 20:12:10 × knupfer quits (~Thunderbi@200116b82c60f7000129fdd9bc9ee5fc.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:12:17 → kori joins (~kori@2804:14c:85a3:9105::1000)
2020-10-15 20:12:17 × kori quits (~kori@2804:14c:85a3:9105::1000) (Changing host)
2020-10-15 20:12:17 → kori joins (~kori@arrowheads/kori)
2020-10-15 20:12:18 → knupfer joins (~Thunderbi@200116b82c60f700a064bff6d45d9249.dip.versatel-1u1.de)
2020-10-15 20:12:19 × knupfer quits (~Thunderbi@200116b82c60f700a064bff6d45d9249.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-15 20:12:26 → knupfer joins (~Thunderbi@200116b82c60f700a064bff6d45d9249.dip.versatel-1u1.de)
2020-10-15 20:12:37 × knupfer quits (~Thunderbi@200116b82c60f700a064bff6d45d9249.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:12:43 → thir joins (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de)
2020-10-15 20:12:45 → knupfer joins (~Thunderbi@200116b82c60f700cd671c34e61e3b60.dip.versatel-1u1.de)
2020-10-15 20:12:58 hackage Z-Data 0.1.7.0 - Array, vector and text https://hackage.haskell.org/package/Z-Data-0.1.7.0 (winterland)
2020-10-15 20:13:03 × knupfer quits (~Thunderbi@200116b82c60f700cd671c34e61e3b60.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:13:25 × acidjnk_new quits (~acidjnk@p200300d0c723781658597087ca157dd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2020-10-15 20:13:35 → knupfer joins (~Thunderbi@200116b82c60f70028d48e202b17723f.dip.versatel-1u1.de)
2020-10-15 20:13:38 × knupfer quits (~Thunderbi@200116b82c60f70028d48e202b17723f.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:13:41 × larou quits (5201f2b7@gateway/web/cgi-irc/kiwiirc.com/ip.82.1.242.183) (Quit: Connection closed)
2020-10-15 20:13:47 → knupfer joins (~Thunderbi@200116b82c60f70028d48e202b17723f.dip.versatel-1u1.de)
2020-10-15 20:13:51 × knupfer quits (~Thunderbi@200116b82c60f70028d48e202b17723f.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:13:57 hackage numhask-free 0.0.1 - See readme.md https://hackage.haskell.org/package/numhask-free-0.0.1 (tonyday567)
2020-10-15 20:14:08 → knupfer joins (~Thunderbi@200116b82c60f700015b854466630b96.dip.versatel-1u1.de)
2020-10-15 20:14:08 × knupfer quits (~Thunderbi@200116b82c60f700015b854466630b96.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:14:21 → knupfer joins (~Thunderbi@200116b82c60f70011de69baa595b33d.dip.versatel-1u1.de)
2020-10-15 20:14:22 × knupfer quits (~Thunderbi@200116b82c60f70011de69baa595b33d.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:14:30 → knupfer joins (~Thunderbi@200116b82c60f70011de69baa595b33d.dip.versatel-1u1.de)
2020-10-15 20:14:30 × knupfer quits (~Thunderbi@200116b82c60f70011de69baa595b33d.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:14:39 → knupfer joins (~Thunderbi@200116b82c60f700fc4e716c5061e440.dip.versatel-1u1.de)
2020-10-15 20:14:54 × knupfer quits (~Thunderbi@200116b82c60f700fc4e716c5061e440.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:15:23 → knupfer joins (~Thunderbi@200116b82c60f700fc4e716c5061e440.dip.versatel-1u1.de)
2020-10-15 20:15:24 → wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2020-10-15 20:15:35 <dolio> monochrom: It's a waste of time to try to change the mind of anyone who would say something like that. :)
2020-10-15 20:15:36 × knupfer quits (~Thunderbi@200116b82c60f700fc4e716c5061e440.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-15 20:15:50 → knupfer joins (~Thunderbi@200116b82c60f70065b79fcbef4efc52.dip.versatel-1u1.de)
2020-10-15 20:15:52 × knupfer quits (~Thunderbi@200116b82c60f70065b79fcbef4efc52.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:16:00 → knupfer joins (~Thunderbi@200116b82c60f7008d4a8a7272ddcb4a.dip.versatel-1u1.de)
2020-10-15 20:16:02 × knupfer quits (~Thunderbi@200116b82c60f7008d4a8a7272ddcb4a.dip.versatel-1u1.de) (Read error: Connection reset by peer)
2020-10-15 20:16:04 × takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2020-10-15 20:16:11 → knupfer joins (~Thunderbi@200116b82c60f700f1d1cd8b16d57665.dip.versatel-1u1.de)
2020-10-15 20:16:21 × knupfer quits (~Thunderbi@200116b82c60f700f1d1cd8b16d57665.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:16:37 → knupfer joins (~Thunderbi@200116b82c60f700f843b4c2e0fad855.dip.versatel-1u1.de)
2020-10-15 20:16:48 × knupfer quits (~Thunderbi@200116b82c60f700f843b4c2e0fad855.dip.versatel-1u1.de) (Client Quit)
2020-10-15 20:16:57 → knupfer joins (~Thunderbi@200116b82c60f70035574b36d39cb792.dip.versatel-1u1.de)
2020-10-15 20:18:34 × jneira_ quits (~jneira@80.30.100.250) (Ping timeout: 256 seconds)
2020-10-15 20:19:00 × geekosaur quits (ac3a3b82@172.58.59.130) (Remote host closed the connection)
2020-10-15 20:19:12 × thir quits (~thir@p200300f27f025800e13a3eca7002ede4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds)
2020-10-15 20:19:17 → jneira_ joins (~jneira@80.30.100.250)
2020-10-15 20:19:40 × ambiso9 quits (~ambiso@209.182.239.205) (Quit: The Lounge - https://thelounge.chat)
2020-10-15 20:19:48 → chris joins (~chris@81.96.113.213)
2020-10-15 20:20:12 chris is now known as Guest34869
2020-10-15 20:20:19 → ambiso9 joins (~ambiso@209.182.239.205)
2020-10-15 20:21:05 × wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2020-10-15 20:21:47 × UpstreamSalmon quits (uid12077@gateway/web/irccloud.com/x-zuuxycbtcmkanyjf) (Quit: Connection closed for inactivity)
2020-10-15 20:22:41 → oisdk joins (~oisdk@2001:bb6:3329:d100:11d5:8dc1:169a:e187)
2020-10-15 20:24:45 <maerwald> he was right about commuting though
2020-10-15 20:25:19 × jneira_ quits (~jneira@80.30.100.250) (Ping timeout: 260 seconds)
2020-10-15 20:27:08 → jneira_ joins (~jneira@80.30.100.250)
2020-10-15 20:28:33 × mirrorbird quits (~psutcliff@2a00:801:42b:7891:16b1:e53f:55b2:15e1) (Ping timeout: 272 seconds)
2020-10-15 20:29:12 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-15 20:30:08 × justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) ()
2020-10-15 20:30:39 × proofofme quits (~proofofme@184-96-74-65.hlrn.qwest.net) (Remote host closed the connection)
2020-10-15 20:31:57 × AlterEgo- quits (~ladew@124-198-158-163.dynamic.caiway.nl) (Quit: Leaving)
2020-10-15 20:33:37 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 258 seconds)
2020-10-15 20:35:32 → nados joins (~dan@107-190-41-58.cpe.teksavvy.com)
2020-10-15 20:35:43 → snakemas1 joins (~snakemast@213.100.206.23)
2020-10-15 20:36:44 <maerwald> it's quite stressful, especially for an introvert haskeller
2020-10-15 20:37:37 → Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas)
2020-10-15 20:38:27 × emmanuel_erc quits (~user@cpe-67-243-153-99.nyc.res.rr.com) (Remote host closed the connection)
2020-10-15 20:38:42 → emmanuel_erc joins (~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1)
2020-10-15 20:39:17 × emmanuel_erc quits (~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1) (Remote host closed the connection)
2020-10-15 20:39:24 → emmanuel_erc joins (~user@2604:2000:1382:ce03:1864:d59f:f9f2:35b1)
2020-10-15 20:42:01 → karanlikmadde joins (~karanlikm@2a01:c22:3472:9400:2911:7597:97b9:174f)
2020-10-15 20:44:08 → Sgeo_ joins (~Sgeo@ool-18b982ad.dyn.optonline.net)
2020-10-15 20:45:30 ← grfn parts (sid449115@gateway/web/irccloud.com/x-hlnwfgmeeatrrnpe) ("ERC (IRC client for Emacs 27.0.91)")
2020-10-15 20:45:30 × fendor quits (~fendor@178.115.131.201.wireless.dyn.drei.com) (Remote host closed the connection)
2020-10-15 20:46:52 → grfn joins (sid449115@gateway/web/irccloud.com/x-hlnwfgmeeatrrnpe)
2020-10-15 20:47:40 × Sgeo quits (~Sgeo@ool-18b982ad.dyn.optonline.net) (Ping timeout: 272 seconds)
2020-10-15 20:48:27 <dolio> maerwald: I mean saying, "... dependent rank-n types, change my mind."
2020-10-15 20:49:37 <dolio> You can probably shorted it to just the last part.
2020-10-15 20:52:37 × snakemas1 quits (~snakemast@213.100.206.23) (Ping timeout: 246 seconds)
2020-10-15 20:52:41 → noumenon joins (~daemon@113.51-175-156.customer.lyse.net)
2020-10-15 20:52:44 × DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection)
2020-10-15 20:52:47 × GyroW quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 258 seconds)
2020-10-15 20:53:08 → GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be)
2020-10-15 20:53:09 × GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host)
2020-10-15 20:53:09 → GyroW joins (~GyroW@unaffiliated/gyrow)
←Prev  Next→
Page 1 .. 657 658 659 660 661 662 663 664 665 666 667 .. 5022

All times are in UTC.