Newest at the top
| 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) |
| 2024-04-28 14:05:44 +0200 | <mauke> | class Memorable a where { bitsNeeded :: Int } |
| 2024-04-28 14:05:02 +0200 | <tomsmeding> | and 2. if the type was defined using AllowAmbiguousTypes an annotation might not be enough |
| 2024-04-28 14:04:59 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2024-04-28 14:04:35 +0200 | <mauke> | sometimes there is nothing to annotate |
| 2024-04-28 14:04:31 +0200 | xff0x | (~xff0x@softbank219059019218.bbtec.net) (Ping timeout: 260 seconds) |
| 2024-04-28 14:04:30 +0200 | <tomsmeding> | because 1. sometimes the whole type is very large and contains many components that are irrelevant to this annotation |
| 2024-04-28 14:04:21 +0200 | <int-e> | show @Double is shorter than show :: Double -> String |
| 2024-04-28 14:03:57 +0200 | <yin> | why do we need TypeApplications if we can just annotate |
| 2024-04-28 14:03:46 +0200 | <yin> | no, i mean |
| 2024-04-28 14:03:36 +0200 | <tomsmeding> | the first only |
| 2024-04-28 14:03:28 +0200 | <yin> | in which case does one need TypeApplications? |
| 2024-04-28 14:03:20 +0200 | <int-e> | well, type applications are a language extensions |
| 2024-04-28 14:02:11 +0200 | <tomsmeding> | no |
| 2024-04-28 14:02:09 +0200 | <yahb2> | show :: forall a. Show a => a -> String |