Newest at the top
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 |
2024-04-28 14:02:09 +0200 | <tomsmeding> | % :t show |
2024-04-28 14:02:07 +0200 | <yahb2> | <no output> |
2024-04-28 14:02:06 +0200 | <tomsmeding> | % :set -fprint-explicit-foralls |
2024-04-28 14:01:47 +0200 | <yin> | is there a difference between 'map (show @Double)' and 'map (show :: Double -> String)' ? |
2024-04-28 13:56:25 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
2024-04-28 13:53:23 +0200 | <tomsmeding> | these days, for better or for worse, a web browser is not something that you should want to get very old |
2024-04-28 13:53:04 +0200 | <int-e> | (aka buster) |
2024-04-28 13:52:50 +0200 | <int-e> | even oldstable is at 115 |
2024-04-28 13:52:08 +0200 | <tomsmeding> | which is significant |
2024-04-28 13:52:02 +0200 | <tomsmeding> | for any browser vulnerabilities since mid 2021 |
2024-04-28 13:51:40 +0200 | <yin> | for vulnerabilities like alert :) |
2024-04-28 13:50:10 +0200 | <tomsmeding> | be aware of missing security patches in basically everything on your machine though |
2024-04-28 13:49:51 +0200 | <tomsmeding> | ski: I see, thanks; that tells me that you might not be the only one |
2024-04-28 13:49:30 +0200 | <ski> | well, i installed debian-based distro on this laptop, a few years ago, and haven't gotten around to updating it |
2024-04-28 13:49:29 +0200 | <tomsmeding> | https://github.com/haskell/play-haskell/issues/3 |
2024-04-28 13:48:33 +0200 | <yin> | welp :) |
2024-04-28 13:48:29 +0200 | ocra8 | (ocra8@user/ocra8) |
2024-04-28 13:48:28 +0200 | <tomsmeding> | I might fallback to that |
2024-04-28 13:48:22 +0200 | <tomsmeding> | it was an alert() before :p |
2024-04-28 13:48:12 +0200 | <yin> | tomsmeding: have you considered https://caniuse.com/?search=alert ? |
2024-04-28 13:47:42 +0200 | <tomsmeding> | ski: why are you still on 91? Is it likely that it's just you or do you get this from some package manager somewhere that other people might also use? |
2024-04-28 13:47:27 +0200 | <yin> | i personally design for text only browsers first and build from there |
2024-04-28 13:47:05 +0200 | <yin> | cutoff |