Newest at the top
2024-04-30 19:10:21 +0200 | yin | (~yin@user/zero) |
2024-04-30 19:08:49 +0200 | yin | (~yin@user/zero) (Ping timeout: 256 seconds) |
2024-04-30 19:02:50 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
2024-04-30 19:02:42 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-04-30 19:02:42 +0200 | ft | (~ft@p3e9bc1bf.dip0.t-ipconnect.de) |
2024-04-30 19:00:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-30 18:57:52 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-30 18:57:35 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-30 18:57:24 +0200 | Square | (~Square@user/square) |
2024-04-30 18:51:40 +0200 | euleritian | (~euleritia@77.22.252.56) |
2024-04-30 18:51:33 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 272 seconds) |
2024-04-30 18:50:41 +0200 | <dminuoso> | Or `t -> t` even, stuff of that shape |
2024-04-30 18:50:19 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
2024-04-30 18:50:19 +0200 | <dminuoso> | Though its conceivable that bindings of type `(t -> t) -> t -> t` (without an explicit type signature) could fall into this trap as well |
2024-04-30 18:47:01 +0200 | <dminuoso> | Okay this is a bit more elaborate, but basically I had a polyvariadic typeclass trick going on, and indending the subsequent top level type signature placed it as an argument into the last (nested) where binding |
2024-04-30 18:43:05 +0200 | <dminuoso> | Oh yeah let me try and derive a motivating example that I can share |
2024-04-30 18:42:05 +0200 | mima | (~mmh@dhcp-138-246-3-42.dynamic.eduroam.mwn.de) (Ping timeout: 240 seconds) |
2024-04-30 18:40:40 +0200 | <yin> | i am not a fan of the layout rules but i can't picture such a case |
2024-04-30 18:36:37 +0200 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) (Remote host closed the connection) |
2024-04-30 18:36:34 +0200 | <danza> | but what you mean by "it altered the code"? |
2024-04-30 18:36:28 +0200 | <yin> | dminuoso: how? |
2024-04-30 18:36:02 +0200 | <danza> | sounds like consistent design... |
2024-04-30 18:35:32 +0200 | <dminuoso> | What a strange experience. |
2024-04-30 18:35:12 +0200 | <dminuoso> | Not just that, but in my specific code example, it altered the code, and type checked too. |
2024-04-30 18:34:49 +0200 | <dminuoso> | Haskell - where indenting a type signature lifts.. it well to the value level. |
2024-04-30 18:33:44 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 256 seconds) |
2024-04-30 18:31:56 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2024-04-30 18:29:35 +0200 | destituion | (~destituio@85.221.111.174) |
2024-04-30 18:29:20 +0200 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
2024-04-30 18:29:18 +0200 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Read error: Connection reset by peer) |
2024-04-30 18:28:01 +0200 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
2024-04-30 18:22:02 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
2024-04-30 18:21:46 +0200 | <yin> | TIL about autophobia |
2024-04-30 18:21:24 +0200 | mima | (~mmh@dhcp-138-246-3-42.dynamic.eduroam.mwn.de) |
2024-04-30 18:20:04 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
2024-04-30 18:19:26 +0200 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
2024-04-30 18:18:07 +0200 | peterbecich | (~Thunderbi@47.229.123.186) |
2024-04-30 18:15:06 +0200 | <danza> | :D |
2024-04-30 18:14:41 +0200 | <lambdabot> | that I'll be in a permanent state of autophobia. |
2024-04-30 18:14:41 +0200 | <lambdabot> | Baughn says: From my point of view, anyone who understands everything ghc can do is /scary/. I'm sure that will change once I reach that level myself, but then again, there's also the possibility |
2024-04-30 18:14:40 +0200 | <danza> | @quote again |
2024-04-30 18:10:40 +0200 | Aleksejs | (~Aleksejs@107.170.21.106) |
2024-04-30 18:09:39 +0200 | cashew | (~cashewsta@65.17.175.150) |
2024-04-30 18:08:45 +0200 | xal | (~xal@mx1.xal.systems) |
2024-04-30 18:08:41 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
2024-04-30 18:07:30 +0200 | xal | (~xal@mx1.xal.systems) (Quit: No Ping reply in 180 seconds.) |
2024-04-30 18:07:25 +0200 | thaumavorio | (~thaumavor@thaumavor.io) |
2024-04-30 18:05:26 +0200 | <lambdabot> | Ezla says: Why does Haskell need so many thunks? |
2024-04-30 18:05:26 +0200 | <shapr> | @quote |
2024-04-30 18:03:27 +0200 | mikess | (~mikess@user/mikess) |