Newest at the top
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 |
2024-04-28 13:47:01 +0200 | <yin> | tomsmeding: yeah you need to choose the cutoof |
2024-04-28 13:45:11 +0200 | <yin> | oh i see |
2024-04-28 13:44:56 +0200 | <tomsmeding> | I had previously decided that >=98 was wide enough, but maybe it isn't now |
2024-04-28 13:44:41 +0200 | <tomsmeding> | <dialog> works from firefox 98, and ski is using an old version 91.4 ESR |
2024-04-28 13:44:19 +0200 | <tomsmeding> | yin: what are you trying to say? |
2024-04-28 13:44:12 +0200 | <yin> | yes... |
2024-04-28 13:44:01 +0200 | <yin> | https://caniuse.com/?search=dialog |
2024-04-28 13:43:42 +0200 | <tomsmeding> | yin: "This method was removed in Chrome 43 and Firefox 56." |
2024-04-28 13:43:17 +0200 | <yin> | https://developer.mozilla.org/en-US/docs/Web/API/Window/showModalDialog |
2024-04-28 13:42:30 +0200 | <yin> | https://caniuse.com/?search=showModal |
2024-04-28 13:40:12 +0200 | <int-e> | tomsmeding: But then I get a 404 :P |
2024-04-28 13:39:59 +0200 | <tomsmeding> | yin: right, I see such a support box at the top of the mdn page for showModal() https://developer.mozilla.org/en-US/docs/Web/API/HTMLDialogElement/showModal |