Newest at the top
2024-04-28 16:10:11 +0200 | euleritian | (~euleritia@ip5f5ad3b0.dynamic.kabel-deutschland.de) |
2024-04-28 16:10:06 +0200 | causal | (~eric@50.35.88.207) |
2024-04-28 16:09:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
2024-04-28 16:08:18 +0200 | euleritian | (~euleritia@2a02:810a:b00:1568:71f7:8ec:15a3:342f) (Ping timeout: 256 seconds) |
2024-04-28 16:07:57 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
2024-04-28 16:07:38 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) (Remote host closed the connection) |
2024-04-28 15:59:37 +0200 | mima | (~mmh@eduroam-pool4-264.wlan.uni-bremen.de) |
2024-04-28 15:51:30 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
2024-04-28 15:49:37 +0200 | zetef | (~quassel@2a02:2f00:5202:1200:2128:605:71c4:66a4) |
2024-04-28 15:45:40 +0200 | <MelMalik> | gnern |
2024-04-28 15:42:05 +0200 | falafel | (~falafel@2a0c:5a87:3103:ec01::62b8) |
2024-04-28 15:31:28 +0200 | ddellacosta | (~ddellacos@ool-44c73d29.dyn.optonline.net) (Ping timeout: 256 seconds) |
2024-04-28 15:22:38 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 268 seconds) |
2024-04-28 15:22:34 +0200 | poscat0x04 | (~poscat@user/poscat) |
2024-04-28 15:01:37 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
2024-04-28 14:57:33 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) |
2024-04-28 14:55:29 +0200 | <ski> | (i did check both in graphical and terminal browser, and confirmed that `wget' (and i'd presume also `curl') sets the correct modified timestamp) |
2024-04-28 14:54:22 +0200 | <ski> | tomsmeding : ah, thank you very much ! :D |
2024-04-28 14:49:44 +0200 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
2024-04-28 14:43:38 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-28 14:42:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2024-04-28 14:39:09 +0200 | <tomsmeding> | (I'll be a way for an hour or two but I'll read logs) |
2024-04-28 14:38:32 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 268 seconds) |
2024-04-28 14:38:16 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Ping timeout: 255 seconds) |
2024-04-28 14:36:04 +0200 | <tomsmeding> | also please check that I correctly did the last-modified date thing ski |
2024-04-28 14:35:52 +0200 | <tomsmeding> | ski Rembane: I pushed some changes to the playground, there's metadata now on the paste view page (example: https://play.haskell.org/saved/AwWkZI0A ) and the raw link should work in text mode too |
2024-04-28 14:26:50 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-04-28 14:26:48 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) |
2024-04-28 14:26:15 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-04-28 14:24:12 +0200 | <yin> | reasonable |
2024-04-28 14:23:13 +0200 | <tomsmeding> | ambiguous types are very annoying to work with |
2024-04-28 14:23:05 +0200 | <tomsmeding> | it's good to be forced to add a Proxy argument if you do want to write one |
2024-04-28 14:22:49 +0200 | <tomsmeding> | because you _typically_ don't want to write an ambiguous type |
2024-04-28 14:22:24 +0200 | <yin> | why is AllowAmbiguousTypes not enabled by default? |
2024-04-28 14:22:22 +0200 | mrmr1553343 | (~mrmr@user/mrmr) |
2024-04-28 14:22:00 +0200 | <yin> | ok then my next question is |
2024-04-28 14:21:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
2024-04-28 14:13:23 +0200 | <tomsmeding> | being able to write `query @_ @(Maybe Int, String)` if I want to annotate that the result row is [nullable integer, text] is MUCH more convenient than having to give a full type annotation |
2024-04-28 14:12:49 +0200 | <yin> | thanks |
2024-04-28 14:12:47 +0200 | <yin> | i get it now |
2024-04-28 14:12:43 +0200 | <yin> | oh nvm |
2024-04-28 14:12:39 +0200 | <tomsmeding> | an example of the first is https://hackage.haskell.org/package/sqlite-simple-0.4.19.0/docs/Database-SQLite-Simple.html#v:query |
2024-04-28 14:11:30 +0200 | <yin> | tomsmeding: ok, but that requires a non default extension |
2024-04-28 14:11:05 +0200 | <tomsmeding> | and genuinely required if the original type was ambiguous |
2024-04-28 14:10:51 +0200 | <tomsmeding> | it is hugely more convenient in some cases |
2024-04-28 14:10:22 +0200 | <yin> | it surprises me that TypeApplications, being included in GHC2021 and GHC2024, just offer a slightly more convenient but also less readable way of type annotation |
2024-04-28 14:09:24 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
2024-04-28 14:09:15 +0200 | mrmr1553343 | (~mrmr@user/mrmr) (Quit: Bye, See ya later!) |
2024-04-28 14:08:38 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
2024-04-28 14:06:09 +0200 | <tomsmeding> | (which indeed needs AllowAmbiguousTypes) |