| 2021-10-24 00:00:18 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-10-24 00:00:28 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
| 2021-10-24 00:02:36 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2021-10-24 00:03:09 +0200 | ssipos | (~ssipos@86.123.18.123) |
| 2021-10-24 00:06:32 +0200 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 244 seconds) |
| 2021-10-24 00:06:35 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Read error: Connection reset by peer) |
| 2021-10-24 00:06:53 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 00:08:02 +0200 | pavonia | (~user@user/siracusa) |
| 2021-10-24 00:23:51 +0200 | nvmd | (~nvmd@user/nvmd) (Ping timeout: 265 seconds) |
| 2021-10-24 00:26:08 +0200 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) |
| 2021-10-24 00:28:47 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 00:28:54 +0200 | ubert | (~Thunderbi@77.119.175.138.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2021-10-24 00:29:29 +0200 | n3t | (n3t@user/n3t) (Ping timeout: 264 seconds) |
| 2021-10-24 00:29:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-10-24 00:33:56 +0200 | Guest52 | (~Guest52@144.164.185.81.rev.sfr.net) (Ping timeout: 256 seconds) |
| 2021-10-24 00:36:24 +0200 | MoC | (~moc@user/moc) |
| 2021-10-24 00:40:38 +0200 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-10-24 00:40:44 +0200 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 00:41:30 +0200 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) |
| 2021-10-24 00:44:15 +0200 | benin | (~benin@183.82.207.116) (Ping timeout: 244 seconds) |
| 2021-10-24 00:44:20 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-10-24 00:44:46 +0200 | benin | (~benin@183.82.207.116) |
| 2021-10-24 01:02:11 +0200 | Kaiepi | (~Kaiepi@156.34.44.192) (Remote host closed the connection) |
| 2021-10-24 01:04:29 +0200 | cherim | (UserNick@host-217-197-197-182.rev.as20985.net) |
| 2021-10-24 01:04:53 +0200 | cherim | (UserNick@host-217-197-197-182.rev.as20985.net) (Closing Window) |
| 2021-10-24 01:05:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 01:06:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 01:06:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 01:06:18 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 01:10:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 01:11:51 +0200 | <zero> | is Rational treated diferently by ghc or could we create it ourselves and do this: |
| 2021-10-24 01:11:58 +0200 | <zero> | > 10.0 :: Rational |
| 2021-10-24 01:11:59 +0200 | <lambdabot> | 10 % 1 |
| 2021-10-24 01:12:57 +0200 | <geekosaur> | whatr do you mean differently? |
| 2021-10-24 01:13:03 +0200 | <geekosaur> | > 10 % 1 |
| 2021-10-24 01:13:05 +0200 | <lambdabot> | 10 % 1 |
| 2021-10-24 01:13:32 +0200 | <zero> | as in you can use literals |
| 2021-10-24 01:13:35 +0200 | <hpc> | Rational is a type alias for Ratio Integer |
| 2021-10-24 01:13:43 +0200 | <hpc> | which is defined at https://hackage.haskell.org/package/base-4.15.0.0/docs/src/GHC-Real.html#Ratio |
| 2021-10-24 01:13:47 +0200 | <geekosaur> | there is some special handling where any literal with a decimal point is converted to a Rational and then fromRational applied to it\ |
| 2021-10-24 01:13:51 +0200 | <hpc> | numeric literals are provided by its Num instance |
| 2021-10-24 01:15:02 +0200 | <hpc> | fromInteger x = fromInteger x :% 1 |
| 2021-10-24 01:15:05 +0200 | <hpc> | fromRational (x:%y) = fromInteger x % fromInteger y |
| 2021-10-24 01:15:15 +0200 | <hpc> | and you can do that for any type |
| 2021-10-24 01:16:26 +0200 | <zero> | i see, thanks |
| 2021-10-24 01:16:46 +0200 | <zero> | i still get confused somethimes with all the numeric types |
| 2021-10-24 01:17:04 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 01:18:29 +0200 | <zero> | geekosaur: that was it |
| 2021-10-24 01:18:51 +0200 | <zero> | there is no Ratio Double or Ratio Float |
| 2021-10-24 01:19:40 +0200 | <davean> | I mean what would it mean for there to be? That'd get "fun" |
| 2021-10-24 01:20:09 +0200 | <davean> | I think the why is pretty immediately obvious there |
| 2021-10-24 01:20:11 +0200 | <geekosaur> | but one could argue for being able to work with ratios whose denominator is some multiple of pi |
| 2021-10-24 01:20:19 +0200 | <zero> | oops, i got confused again |
| 2021-10-24 01:20:23 +0200 | <zero> | of course there isnt' |
| 2021-10-24 01:20:37 +0200 | <geekosaur> | thaen again I suppose that's better handled as a newtype over Rational |
| 2021-10-24 01:20:46 +0200 | <davean> | geekosaur: as I said "fun" |
| 2021-10-24 01:20:57 +0200 | <davean> | I didn't say "entirely nonsensical" |
| 2021-10-24 01:21:39 +0200 | <zero> | this is what confused me: |
| 2021-10-24 01:22:00 +0200 | <zero> | > (10 :: Float) :: Rational |
| 2021-10-24 01:22:01 +0200 | <lambdabot> | error: |
| 2021-10-24 01:22:02 +0200 | <lambdabot> | • Couldn't match type ‘Float’ with ‘Ratio Integer’ |
| 2021-10-24 01:22:02 +0200 | <lambdabot> | Expected type: Rational |
| 2021-10-24 01:22:07 +0200 | <zero> | > (10 :: Double) :: Rational |
| 2021-10-24 01:22:09 +0200 | <lambdabot> | error: |
| 2021-10-24 01:22:09 +0200 | <lambdabot> | • Couldn't match type ‘Double’ with ‘Ratio Integer’ |
| 2021-10-24 01:22:09 +0200 | <lambdabot> | Expected type: Rational |
| 2021-10-24 01:22:17 +0200 | <zero> | > (10 :: Floating a => a) :: Rational |
| 2021-10-24 01:22:18 +0200 | <lambdabot> | error: |
| 2021-10-24 01:22:18 +0200 | <lambdabot> | • No instance for (Floating (Ratio Integer)) |
| 2021-10-24 01:22:18 +0200 | <lambdabot> | arising from an expression type signature |
| 2021-10-24 01:23:05 +0200 | <zero> | but 10.0 :: Rational works |
| 2021-10-24 01:23:13 +0200 | <zero> | so what is 10.0 ? |
| 2021-10-24 01:23:21 +0200 | <zero> | there's the special handling |
| 2021-10-24 01:23:28 +0200 | <zero> | right? |
| 2021-10-24 01:24:03 +0200 | <ski> | because `10.0' gets transformed into `fromRational (10.0 :: Rational)', where `10.0 :: Rational' here (doesn't get transformed and) is directly a value of type `Rational' |
| 2021-10-24 01:24:11 +0200 | <davean> | zero: I mean you said "Its a Float" "Oh wait its a Rational" |
| 2021-10-24 01:24:13 +0200 | <davean> | how COULD that work? |
| 2021-10-24 01:24:20 +0200 | <davean> | You specificly said something directly contradictory |
| 2021-10-24 01:24:23 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 264 seconds) |
| 2021-10-24 01:24:48 +0200 | <davean> | Float /= Rational |
| 2021-10-24 01:24:55 +0200 | <ski> | (the `fromRational' converts from `Rational' to any `Fractional' type, like `Rational',`Float',`Double',`Complex Float',`Complex Double',..) |
| 2021-10-24 01:26:06 +0200 | <zero> | right |
| 2021-10-24 01:26:10 +0200 | <zero> | and that makes sense |
| 2021-10-24 01:26:15 +0200 | <geekosaur> | :t 10.0 |
| 2021-10-24 01:26:16 +0200 | <lambdabot> | Fractional p => p |
| 2021-10-24 01:26:18 +0200 | <ski> | `:: Rational' is not a "cast", nor a type coercion. it's a type ascription, explicitly stating what type the value already has (often being used to help out the implementation by pinning down what exact type it should have, rather than letting the implementation infer a type, often in a polymorphic way) |
| 2021-10-24 01:26:21 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 01:26:54 +0200 | <ski> | (`fromInteger' is the same, except for integral literals, converting from `Integer' to any `Integral' type) |
| 2021-10-24 01:27:11 +0200 | <ski> | @type 10 |
| 2021-10-24 01:27:11 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Read error: Connection reset by peer) |
| 2021-10-24 01:27:12 +0200 | <lambdabot> | Num p => p |
| 2021-10-24 01:27:28 +0200 | <ski> | ah, right, any `Num', not any `Integral' |
| 2021-10-24 01:28:29 +0200 | <zero> | so we can't create a type that interprets a literal like Rational does without some magic, right? |
| 2021-10-24 01:29:12 +0200 | <ski> | the numeric literals have special support. but apart from that portion of magic, `Ratio' isn't special |
| 2021-10-24 01:29:22 +0200 | <zero> | right |
| 2021-10-24 01:29:42 +0200 | <geekosaur> | right, you need the compiler to wrap the literal in some function that will convert to any compatible type |
| 2021-10-24 01:29:58 +0200 | <zero> | got it |
| 2021-10-24 01:30:19 +0200 | <zero> | i need to revisit the numeric types graph |
| 2021-10-24 01:30:33 +0200 | <geekosaur> | like it does fr literal integers and fromInteger, literal rationals (which look like floats) and fromRational, and with OverloadedStrings it does the same with literal strings and fromString |
| 2021-10-24 01:31:04 +0200 | awpr | has been meaning to write an `OverloadedBools` plugin/library |
| 2021-10-24 01:31:09 +0200 | <geekosaur> | I think you could add such a type using a plugin |
| 2021-10-24 01:31:28 +0200 | <zero> | awpr: how so? |
| 2021-10-24 01:31:55 +0200 | <awpr> | `class IsBool b where fromBool :: b -> Bool; toBool :: Bool -> b`, something like that |
| 2021-10-24 01:32:33 +0200 | evocatus | (~evocatus@84.51.113.13) |
| 2021-10-24 01:32:34 +0200 | <awpr> | and then `ifThenElse :: IsBool b => b -> a -> a -> a` and `RebindableSyntax` |
| 2021-10-24 01:32:57 +0200 | <zero> | can you show an example where that would be useful? |
| 2021-10-24 01:33:12 +0200 | <awpr> | oh it's for the acme category for sure |
| 2021-10-24 01:33:41 +0200 | <zero> | acme category? |
| 2021-10-24 01:33:52 +0200 | <awpr> | or at least, I'd call it acme-overloaded-bools or acme-truthiness or something, and then if someone uses it because they miss Python, that's on their conscience |
| 2021-10-24 01:33:53 +0200 | <zero> | i dunno what's that :3 |
| 2021-10-24 01:34:02 +0200 | <awpr> | "acme" is the Hackage category for joke packages |
| 2021-10-24 01:34:11 +0200 | <zero> | ah :) |
| 2021-10-24 01:34:12 +0200 | <geekosaur> | stolen from perl |
| 2021-10-24 01:34:14 +0200 | <awpr> | e.g. https://hackage.haskell.org/package/acme-dont |
| 2021-10-24 01:35:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-10-24 01:35:48 +0200 | <awpr> | although tbh it might be nice in some cases, I do kinda like being able to say `if (something :: Maybe a) then blah else blah`, in a "guilty pleasure" sort of way |
| 2021-10-24 01:36:00 +0200 | <Hecate> | https://twitter.com/eddyb_r/status/1451679543702478860 |
| 2021-10-24 01:36:02 +0200 | <Hecate> | DAMN |
| 2021-10-24 01:38:14 +0200 | <zero> | instance IsBool (Maybe a) where { toBool Nothing = False; toBool _ = True; fromBool False = Nothing; fromBool True = ? |
| 2021-10-24 01:38:45 +0200 | <awpr> | would have to split the class for that, I started typing that a bit ago but got distracted |
| 2021-10-24 01:39:50 +0200 | <awpr> | `class IsBool a where fromBool :: Bool -> a` and `class Truthy a where toBool :: a -> Bool`, then `ifThenElse :: Truthy b => b -> a -> a -> a` |
| 2021-10-24 01:39:51 +0200 | <ski> | s/Maybe a/Maybe ()/ |
| 2021-10-24 01:40:30 +0200 | <awpr> | also could split even further: `class IsTrue a where fromTrue :: a`, then `instance a ~ b => IsTrue (a :~: b)` |
| 2021-10-24 01:40:44 +0200 | <awpr> | `where fromTrue = Refl` |
| 2021-10-24 01:41:54 +0200 | <awpr> | with enough type-level fiddling, then maybe even `if sameType (typeOf x) (typeOf y) then x else y` could type-check |
| 2021-10-24 01:41:58 +0200 | <juri_> | Hecate: if i had a dollar for every cryptocurrency startup that approached me, it wouldn't matter because fiat is dead. |
| 2021-10-24 01:42:34 +0200 | n3t | (n3t@s45.mydevil.net) |
| 2021-10-24 01:42:34 +0200 | <juri_> | (crypto is bad, mmmkay?) |
| 2021-10-24 01:42:50 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 260 seconds) |
| 2021-10-24 01:43:10 +0200 | wootehfoot | Supersaiyan_IV |
| 2021-10-24 01:43:40 +0200 | Supersaiyan_IV | wootehfoot |
| 2021-10-24 01:43:40 +0200 | mvk | (~mvk@2607:fea8:5cc1:300::4b63) |
| 2021-10-24 01:46:21 +0200 | drdo | (~drdo@overlord0.drdo.eu) (Quit: ...) |
| 2021-10-24 01:47:51 +0200 | <zero> | `if then else` is soo lame |
| 2021-10-24 01:48:11 +0200 | zero | rolls eyes |
| 2021-10-24 01:49:38 +0200 | <awpr> | ♫ `if let x` ♫ |
| 2021-10-24 01:52:10 +0200 | <zero> | what now? |
| 2021-10-24 01:52:26 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 01:52:26 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 01:52:26 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 01:54:42 +0200 | drdo | (~drdo@roach0.drdo.eu) |
| 2021-10-24 01:55:08 +0200 | <awpr> | oh no, I can't find it |
| 2021-10-24 01:56:08 +0200 | <awpr> | somebody made a cheesy song about Rust's language feature "if let" |
| 2021-10-24 01:56:20 +0200 | <awpr> | which is basically pattern guards wedged into if-then-else |
| 2021-10-24 01:56:35 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 244 seconds) |
| 2021-10-24 01:58:03 +0200 | <awpr> | https://www.youtube.com/watch?v=ToBqbpm3LDM |
| 2021-10-24 01:58:28 +0200 | <zero> | ah i remember that when i was learning rust before i got angry at the direction the syntax updates were going |
| 2021-10-24 01:58:32 +0200 | <zero> | i hate rust syntax |
| 2021-10-24 01:59:05 +0200 | <zero> | and it's a shame because rust is an interesting lanuage |
| 2021-10-24 01:59:48 +0200 | <awpr> | personally I don't mind it. if I have to write something in a systems language for some reason, I would want it to be Rust |
| 2021-10-24 02:00:06 +0200 | <zero> | i switched to nim at the time |
| 2021-10-24 02:00:43 +0200 | <zero> | shame it didn't get as populat |
| 2021-10-24 02:00:50 +0200 | <zero> | popular |
| 2021-10-24 02:01:28 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) (Ping timeout: 252 seconds) |
| 2021-10-24 02:01:38 +0200 | drdo | (~drdo@roach0.drdo.eu) (Quit: The Lounge - https://thelounge.chat) |
| 2021-10-24 02:04:01 +0200 | drdo | (~drdo@roach0.drdo.eu) |
| 2021-10-24 02:05:28 +0200 | <ski> | awpr : it's somewhat similar to `let'-`try' ? |
| 2021-10-24 02:05:50 +0200 | jgeerds | (~jgeerds@55d40de2.access.ecotel.net) (Ping timeout: 265 seconds) |
| 2021-10-24 02:05:50 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4852:7354:5eb5:641f) (Remote host closed the connection) |
| 2021-10-24 02:06:03 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-10-24 02:06:41 +0200 | <janus> | how does try fit into it? i thought it was `if let Some(x) = maybeSomething { <x is bound here> }` |
| 2021-10-24 02:07:04 +0200 | <awpr> | it's like if instead of `case () of _ | Just x <- mx -> x; _ -> somethingElse`, you could write `if Just x <- mx then x else somethingElse` |
| 2021-10-24 02:07:22 +0200 | <awpr> | where the Rust spelling of the latter is like what janus wrote |
| 2021-10-24 02:07:23 +0200 | <ski> | `let'-`try' is for binding a result of an expression, while simultaneously also handling some exceptions |
| 2021-10-24 02:07:33 +0200 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2021-10-24 02:07:45 +0200 | <awpr> | this construct is instead just pattern-matching |
| 2021-10-24 02:07:49 +0200 | drdo | (~drdo@roach0.drdo.eu) |
| 2021-10-24 02:08:12 +0200 | drdo | (~drdo@roach0.drdo.eu) (Client Quit) |
| 2021-10-24 02:08:19 +0200 | <ski> | catchBind :: Exception e => IO a -> (e -> IO b) -> (a -> IO b) |
| 2021-10-24 02:08:21 +0200 | <awpr> | just a particularly convenient form of pattern matching: one non-wildcard pattern and one underscore pattern |
| 2021-10-24 02:08:24 +0200 | <ski> | would give the same functionality |
| 2021-10-24 02:08:27 +0200 | drdo | (~drdo@roach0.drdo.eu) |
| 2021-10-24 02:08:54 +0200 | <ski> | er |
| 2021-10-24 02:08:56 +0200 | <ski> | catchBind :: Exception e => IO a -> (e -> IO b) -> (a -> IO b) -> IO b |
| 2021-10-24 02:10:51 +0200 | <ski> | it's desired, because a plain `catch :: Exception e => IO a -> (e -> IO a) -> IO a' would have issues with tail calls .. and using e.g. `try :: Exception e => IO a -> IO (Either e a)' would uselessly construct an `Either', only to be taken apart right after (barring a SSC) |
| 2021-10-24 02:12:11 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c703cb67a588bcb670b337ca.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-10-24 02:12:32 +0200 | <Cale> | Hecate: https://lib.rs/cryptography/cryptocurrencies hahahaha I love it |
| 2021-10-24 02:12:34 +0200 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-10-24 02:13:15 +0200 | <ski> | "Exceptional syntax" by Nick Benton,Andrew Kennnedy in 2001 at <https://www.cambridge.org/core/services/aop-cambridge-core/content/view/58206FB399EDC9F197A0D53BC4…> talks about this |
| 2021-10-24 02:14:32 +0200 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) |
| 2021-10-24 02:14:32 +0200 | dustee | (~dustee@63.81.59.158) |
| 2021-10-24 02:14:36 +0200 | falafel | (~falafel@cpe-76-168-195-162.socal.res.rr.com) |
| 2021-10-24 02:15:43 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 244 seconds) |
| 2021-10-24 02:16:30 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2021-10-24 02:21:17 +0200 | falafel | (~falafel@cpe-76-168-195-162.socal.res.rr.com) (Remote host closed the connection) |
| 2021-10-24 02:22:15 +0200 | alzgh | (~alzgh@user/alzgh) (Remote host closed the connection) |
| 2021-10-24 02:22:36 +0200 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-10-24 02:22:43 +0200 | <kronicmage> | does anyone know if it's possible to implement (!!) linearly? |
| 2021-10-24 02:22:49 +0200 | <kronicmage> | linear on both the list and the index |
| 2021-10-24 02:23:19 +0200 | Kaiepi | (~Kaiepi@156.34.44.192) |
| 2021-10-24 02:23:42 +0200 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 260 seconds) |
| 2021-10-24 02:23:50 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 02:24:20 +0200 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 02:24:55 +0200 | pparmin | (~pparmin@p20030006214e0337dcae6b48c40f53cd.dip0.t-ipconnect.de) (Quit: Client closed) |
| 2021-10-24 02:28:33 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 265 seconds) |
| 2021-10-24 02:29:58 +0200 | dustee | (~dustee@63.81.59.158) (Remote host closed the connection) |
| 2021-10-24 02:34:24 +0200 | <c_wraith> | kronicmage: I'm not entirely sure what you are asking. It *is* linear |
| 2021-10-24 02:34:51 +0200 | <kronicmage> | the (!!) in base is not linear |
| 2021-10-24 02:34:53 +0200 | <kronicmage> | c_wraith |
| 2021-10-24 02:34:56 +0200 | <c_wraith> | yes, it is |
| 2021-10-24 02:35:06 +0200 | <awpr> | linear typing vs. linear time complextiy |
| 2021-10-24 02:35:13 +0200 | <kronicmage> | i do mean typing |
| 2021-10-24 02:35:27 +0200 | <kronicmage> | (!!) in base has multiplicity many on both arguments |
| 2021-10-24 02:35:38 +0200 | <kronicmage> | i want [a] %1-> Int %1 -> a |
| 2021-10-24 02:36:06 +0200 | <dolio> | What does [a] mean linearly? |
| 2021-10-24 02:36:07 +0200 | <kronicmage> | is it possible to do so without Consumable a? |
| 2021-10-24 02:36:17 +0200 | <kronicmage> | dolio: -XLinearTypes |
| 2021-10-24 02:36:23 +0200 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 264 seconds) |
| 2021-10-24 02:36:27 +0200 | <kronicmage> | o wait |
| 2021-10-24 02:36:29 +0200 | <dolio> | The function clearly doesn't 'use' all the elements of the list. |
| 2021-10-24 02:36:29 +0200 | <kronicmage> | i see |
| 2021-10-24 02:36:33 +0200 | <kronicmage> | yes the consumable is required |
| 2021-10-24 02:36:35 +0200 | <kronicmage> | my bad |
| 2021-10-24 02:36:41 +0200 | <kronicmage> | thank you dolio |
| 2021-10-24 02:36:52 +0200 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 02:38:24 +0200 | Farzad | (~FarzadBek@151.238.114.164) |
| 2021-10-24 02:38:32 +0200 | Farzad | (~FarzadBek@151.238.114.164) (Client Quit) |
| 2021-10-24 02:40:08 +0200 | <kronicmage> | does anyone know if there are tagless final mtl-style monad transformer type classes that are linear? |
| 2021-10-24 02:40:25 +0200 | <kronicmage> | i know that linear-base has the explicit _T transformers, but not the typeclasses |
| 2021-10-24 02:42:55 +0200 | ente_ | (~ente@p200300dc5f17790014214a4427ad1af6.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2021-10-24 02:46:02 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-24 02:46:28 +0200 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) |
| 2021-10-24 03:02:10 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-10-24 03:06:05 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-10-24 03:06:22 +0200 | img | (~img@user/img) |
| 2021-10-24 03:07:36 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4852:7354:5eb5:641f) |
| 2021-10-24 03:07:47 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 03:11:46 +0200 | Cajun | (~Cajun@user/cajun) (Quit: Client closed) |
| 2021-10-24 03:12:48 +0200 | Cajun | (~Cajun@user/cajun) |
| 2021-10-24 03:18:01 +0200 | evocatus | (~evocatus@84.51.113.13) (Quit: Leaving) |
| 2021-10-24 03:19:46 +0200 | benin | (~benin@183.82.207.116) (Ping timeout: 244 seconds) |
| 2021-10-24 03:23:27 +0200 | benin | (~benin@183.82.207.116) |
| 2021-10-24 03:25:21 +0200 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) (Quit: Leaving) |
| 2021-10-24 03:31:44 +0200 | hololeap_ | hololeap |
| 2021-10-24 03:36:37 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 03:39:55 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-10-24 03:42:30 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 244 seconds) |
| 2021-10-24 03:50:08 +0200 | larryba | (~bc8165b6@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout)) |
| 2021-10-24 03:50:31 +0200 | xff0x | (~xff0x@2001:1a81:52c0:f300:1be9:ff56:80a8:5503) (Ping timeout: 245 seconds) |
| 2021-10-24 03:52:21 +0200 | xff0x | (~xff0x@2001:1a81:52fb:1200:6ff2:1757:36ee:1f2f) |
| 2021-10-24 03:53:30 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-10-24 03:56:24 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 03:56:30 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 04:01:05 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2021-10-24 04:10:34 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 04:10:43 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 04:23:06 +0200 | Topsi | (~Tobias@dyndsl-095-033-090-025.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-10-24 04:23:27 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-10-24 04:23:55 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.3) |
| 2021-10-24 04:33:16 +0200 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-10-24 04:36:23 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-10-24 04:37:12 +0200 | hololeap_ | (~hololeap@user/hololeap) |
| 2021-10-24 04:37:39 +0200 | hololeap | (~hololeap@user/hololeap) (Ping timeout: 276 seconds) |
| 2021-10-24 04:38:49 +0200 | td_ | (~td@muedsl-82-207-238-090.citykom.de) (Ping timeout: 244 seconds) |
| 2021-10-24 04:40:49 +0200 | td_ | (~td@muedsl-82-207-238-060.citykom.de) |
| 2021-10-24 04:42:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 260 seconds) |
| 2021-10-24 04:44:09 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2021-10-24 04:49:41 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 04:50:03 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 04:52:07 +0200 | <kronicmage> | where can one find the default ifThenElse? |
| 2021-10-24 04:52:08 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 04:52:18 +0200 | <kronicmage> | for RebindableSyntax purposes |
| 2021-10-24 04:53:10 +0200 | <awpr> | oddly enough I don't see it in base. given that, I'd hazard a guess that it doesn't exist, and RebindableSyntax uses a binding of that name only if there is one in scope. but that's only a guess |
| 2021-10-24 05:02:17 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 05:03:40 +0200 | hololeap_ | hololeap |
| 2021-10-24 05:04:25 +0200 | <janus> | monochrom: lol, the speaker labels mtl as 'completely unusable' in that effects talk you referenced. i had not expected that |
| 2021-10-24 05:05:07 +0200 | <awpr> | hmm, I think I've heard apocryphal tales of someone using mtl before, but I don't have a citation |
| 2021-10-24 05:06:47 +0200 | <hololeap> | the dead sea scrolls foretold this would happen... |
| 2021-10-24 05:09:03 +0200 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) |
| 2021-10-24 05:14:30 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 05:14:37 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 05:16:23 +0200 | jkaye | (~jkaye@2601:281:8300:7530:6274:3e6b:ca61:27ef) |
| 2021-10-24 05:21:40 +0200 | mvk | (~mvk@2607:fea8:5cc1:300::4b63) (Ping timeout: 252 seconds) |
| 2021-10-24 05:22:57 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:23:19 +0200 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2021-10-24 05:27:19 +0200 | connrs | (~connrs@user/connrs) (Read error: Connection reset by peer) |
| 2021-10-24 05:27:43 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 252 seconds) |
| 2021-10-24 05:29:12 +0200 | connrs | (~connrs@user/connrs) |
| 2021-10-24 05:29:16 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 245 seconds) |
| 2021-10-24 05:33:26 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 258 seconds) |
| 2021-10-24 05:35:14 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:37:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 05:40:10 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 05:41:31 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:44:40 +0200 | InstX1 | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2021-10-24 05:47:15 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 05:48:48 +0200 | nehsou^ | (~nehsou@wsip-68-227-92-38.mc.at.cox.net) (Remote host closed the connection) |
| 2021-10-24 05:48:48 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:49:35 +0200 | InstX1 | (~delicacie@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 260 seconds) |
| 2021-10-24 05:53:05 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-10-24 05:53:40 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 05:54:15 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2021-10-24 05:55:06 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 05:57:17 +0200 | Player001 | (~Player001@user/player001) (Quit: Read Hegel and Lacan and Marx) |
| 2021-10-24 06:00:27 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 06:02:22 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:02:56 +0200 | jkaye | (~jkaye@2601:281:8300:7530:6274:3e6b:ca61:27ef) (Quit: Leaving) |
| 2021-10-24 06:03:09 +0200 | jkaye | (~jkaye@2601:281:8300:7530:6274:3e6b:ca61:27ef) |
| 2021-10-24 06:05:24 +0200 | caef^ | (~caef@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 06:07:59 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 265 seconds) |
| 2021-10-24 06:09:39 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:10:00 +0200 | caef^ | (~caef@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 260 seconds) |
| 2021-10-24 06:11:09 +0200 | jonathanlorimer | (~jonathanl@cpebc4dfba75b43-cmbc4dfba75b40.cpe.net.fido.ca) |
| 2021-10-24 06:11:10 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 06:11:33 +0200 | JonathanLorimer8 | (~JonathanL@cpebc4dfba75b43-cmbc4dfba75b40.cpe.net.fido.ca) |
| 2021-10-24 06:11:38 +0200 | <jonathanlorimer> | hi |
| 2021-10-24 06:11:45 +0200 | <jonathanlorimer> | i am the real jonathanlorimer |
| 2021-10-24 06:12:00 +0200 | <JonathanLorimer8> | Oh no |
| 2021-10-24 06:12:04 +0200 | <jonathanlorimer> | just kidding he is |
| 2021-10-24 06:12:07 +0200 | jonathanlorimer | (~jonathanl@cpebc4dfba75b43-cmbc4dfba75b40.cpe.net.fido.ca) (Client Quit) |
| 2021-10-24 06:12:15 +0200 | <JonathanLorimer8> | Can someone approve jonathanlorimer on hackage? |
| 2021-10-24 06:13:16 +0200 | JonathanLorimer8 | (~JonathanL@cpebc4dfba75b43-cmbc4dfba75b40.cpe.net.fido.ca) (Client Quit) |
| 2021-10-24 06:14:24 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 06:14:38 +0200 | caef^ | (~caef@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 06:15:56 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:16:32 +0200 | <awpr> | huh, they both quit. was gonna say, https://hackage.haskell.org/users/register-request says you need to email Hackage trustees to get enabled (which is what I did just a few months ago) |
| 2021-10-24 06:21:07 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 06:23:11 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:23:26 +0200 | bitmapper | (uid464869@id-464869.lymington.irccloud.com) |
| 2021-10-24 06:24:59 +0200 | <awpr> | oof, there are so many gotchas in quarantining unsafeCoerces behind safe APIs... just realized I exported a "field selector" generated by a pattern synonym, which can now be used with record update syntax to break type safety |
| 2021-10-24 06:28:05 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 06:29:28 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:29:49 +0200 | <awpr> | maybe record updates shouldn't be type-changing across type parameters with (declared?) nominal role? |
| 2021-10-24 06:32:17 +0200 | CnnibisIndica | CannabisIndica |
| 2021-10-24 06:35:05 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 06:36:46 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:39:05 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 06:39:05 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 06:39:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 06:41:47 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 06:44:02 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:47:50 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-10-24 06:47:50 +0200 | trainlag1602 | (~saroa@user/trainlag1602) |
| 2021-10-24 06:48:30 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 06:50:15 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 06:50:20 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:53:23 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 2021-10-24 06:54:01 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-10-24 06:54:55 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 260 seconds) |
| 2021-10-24 06:55:44 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 06:57:36 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 06:57:54 +0200 | trainlag1602 | (~saroa@user/trainlag1602) () |
| 2021-10-24 06:58:55 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-10-24 07:01:56 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 07:03:51 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 07:04:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 07:04:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 07:04:01 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 07:08:15 +0200 | dolio | (~dolio@130.44.130.54) |
| 2021-10-24 07:08:30 +0200 | dolio | (~dolio@130.44.130.54) (Remote host closed the connection) |
| 2021-10-24 07:08:55 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-10-24 07:09:18 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 07:10:19 +0200 | dolio | (~dolio@130.44.130.54) |
| 2021-10-24 07:10:54 +0200 | dolio | (~dolio@130.44.130.54) (Client Quit) |
| 2021-10-24 07:11:08 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 07:11:40 +0200 | dolio | (~dolio@130.44.130.54) |
| 2021-10-24 07:15:28 +0200 | ravan | (~ravan@user/ravan) |
| 2021-10-24 07:15:59 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 264 seconds) |
| 2021-10-24 07:17:25 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 07:17:25 +0200 | mbuf | (~Shakthi@223.178.97.156) |
| 2021-10-24 07:22:07 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 07:22:36 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 07:22:57 +0200 | dolio | (~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-10-24 07:23:09 +0200 | MQ-17J | (~MQ-17J@8.21.10.17) |
| 2021-10-24 07:23:50 +0200 | dolio | (~dolio@130.44.130.54) |
| 2021-10-24 07:24:42 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 07:30:06 +0200 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 245 seconds) |
| 2021-10-24 07:30:18 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 07:31:05 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-10-24 07:31:58 +0200 | <Hecate> | juri_, Cale for that matter I hihgly respect and support lib.rs' decision |
| 2021-10-24 07:32:00 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 07:35:31 +0200 | ravan | (~ravan@user/ravan) (Ping timeout: 244 seconds) |
| 2021-10-24 07:36:33 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 244 seconds) |
| 2021-10-24 07:36:46 +0200 | ravan | (~ravan@42.201.198.151) |
| 2021-10-24 07:36:49 +0200 | ravan | (~ravan@42.201.198.151) (Client Quit) |
| 2021-10-24 07:38:16 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 07:43:50 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 260 seconds) |
| 2021-10-24 07:45:33 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 07:48:51 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-10-24 07:50:56 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 265 seconds) |
| 2021-10-24 07:52:49 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 07:54:01 +0200 | Hayek | (~xxx@2603-8000-b401-6099-7541-8f40-8f83-6bcb.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-10-24 07:56:21 +0200 | jkaye | (~jkaye@2601:281:8300:7530:6274:3e6b:ca61:27ef) (Ping timeout: 245 seconds) |
| 2021-10-24 07:57:42 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Ping timeout: 265 seconds) |
| 2021-10-24 07:57:49 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 07:59:05 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) |
| 2021-10-24 08:02:05 +0200 | mikoto-chan | (~mikoto-ch@185.237.102.117) (Read error: No route to host) |
| 2021-10-24 08:02:47 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 264 seconds) |
| 2021-10-24 08:03:42 +0200 | benin5 | (~benin@183.82.207.116) |
| 2021-10-24 08:04:30 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-10-24 08:05:47 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 08:06:05 +0200 | benin | (~benin@183.82.207.116) (Ping timeout: 260 seconds) |
| 2021-10-24 08:06:05 +0200 | benin5 | benin |
| 2021-10-24 08:06:21 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:07:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 08:10:26 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 260 seconds) |
| 2021-10-24 08:15:59 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-10-24 08:17:39 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:23:19 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-10-24 08:24:55 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:28:45 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-10-24 08:29:15 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-10-24 08:31:12 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:36:30 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-10-24 08:38:21 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 08:38:28 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:42:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 08:42:36 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-10-24 08:44:11 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-10-24 08:45:45 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:50:17 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-10-24 08:50:52 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-10-24 08:52:02 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 08:57:38 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 265 seconds) |
| 2021-10-24 08:59:17 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:02:09 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Read error: No route to host) |
| 2021-10-24 09:06:26 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-10-24 09:06:34 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:10:08 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 09:10:41 +0200 | aegon | (~mike@174.127.249.180) (Remote host closed the connection) |
| 2021-10-24 09:11:34 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-10-24 09:12:51 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:18:25 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-10-24 09:20:07 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:24:58 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 258 seconds) |
| 2021-10-24 09:26:24 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:28:04 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-10-24 09:31:55 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-10-24 09:32:36 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 09:33:42 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:35:02 +0200 | alzgh | (~alzgh@user/alzgh) |
| 2021-10-24 09:37:57 +0200 | phma | (~phma@host-67-44-208-174.hnremote.net) (Read error: Connection reset by peer) |
| 2021-10-24 09:39:00 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 244 seconds) |
| 2021-10-24 09:39:12 +0200 | phma | (~phma@host-67-44-208-101.hnremote.net) |
| 2021-10-24 09:40:58 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:41:58 +0200 | obviyus_ | obviyus |
| 2021-10-24 09:42:35 +0200 | Midjak | (~Midjak@82-65-111-221.subs.proxad.net) |
| 2021-10-24 09:45:05 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-10-24 09:45:40 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 252 seconds) |
| 2021-10-24 09:47:15 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:48:14 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-10-24 09:48:22 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 09:48:36 +0200 | caef^ | (~caef@wsip-68-227-92-38.mc.at.cox.net) (Remote host closed the connection) |
| 2021-10-24 09:49:14 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2021-10-24 09:49:15 +0200 | Server | +Cnt |
| 2021-10-24 09:52:31 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:4852:7354:5eb5:641f) (Remote host closed the connection) |
| 2021-10-24 09:52:36 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2021-10-24 09:52:42 +0200 | ubert | (~Thunderbi@178.115.74.156.wireless.dyn.drei.com) |
| 2021-10-24 09:54:32 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 09:54:57 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-10-24 09:56:07 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 09:56:21 +0200 | unit73e | (~emanuel@2001:818:e8dd:7c00:32b5:c2ff:fe6b:5291) |
| 2021-10-24 09:56:43 +0200 | darkstarx | (~darkstard@2601:1c2:300:c8a0::6c32) (Remote host closed the connection) |
| 2021-10-24 09:57:03 +0200 | darkstarx | (~darkstard@2601:1c2:300:c8a0::6c32) |
| 2021-10-24 09:59:16 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 245 seconds) |
| 2021-10-24 10:00:48 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 10:05:46 +0200 | hendursa1 | (~weechat@user/hendursaga) |
| 2021-10-24 10:06:15 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-10-24 10:08:05 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 10:08:30 +0200 | hendursaga | (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 2021-10-24 10:13:50 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 260 seconds) |
| 2021-10-24 10:15:21 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 10:16:30 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 10:19:42 +0200 | wei2912 | (~wei2912@138.75.71.147) |
| 2021-10-24 10:20:11 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-10-24 10:21:23 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 10:21:37 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 2021-10-24 10:25:16 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-10-24 10:26:19 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-10-24 10:27:23 +0200 | mikoto-chan | (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 264 seconds) |
| 2021-10-24 10:28:16 +0200 | poljar | (~poljar@93-139-113-226.adsl.net.t-com.hr) (Remote host closed the connection) |
| 2021-10-24 10:28:29 +0200 | poljar | (~poljar@93-139-113-226.adsl.net.t-com.hr) |
| 2021-10-24 10:29:09 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-10-24 10:31:20 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) (Remote host closed the connection) |
| 2021-10-24 10:32:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 10:32:56 +0200 | martin02 | (~silas@141.84.69.76) (Quit: WeeChat 3.2) |
| 2021-10-24 10:37:53 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 10:40:14 +0200 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 2021-10-24 10:41:04 +0200 | <maerwald> | Hecate: it's not particularly accurate wrt "energy waste" |
| 2021-10-24 10:44:00 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c703cb55ecd1c0be3c49da81.dip0.t-ipconnect.de) |
| 2021-10-24 10:44:18 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2021-10-24 10:48:14 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-10-24 10:52:55 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 10:55:29 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) (Remote host closed the connection) |
| 2021-10-24 10:57:23 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Ping timeout: 264 seconds) |
| 2021-10-24 10:57:29 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2021-10-24 10:57:48 +0200 | ozzymcduff | (~mathieu@81-234-151-21-no94.tbcn.telia.com) |
| 2021-10-24 11:00:14 +0200 | ixlun | (~ixlun@2001:470:69fc:105::41b3) (Quit: You have been kicked for being idle) |
| 2021-10-24 11:02:52 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-10-24 11:05:51 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 11:06:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-10-24 11:10:35 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 11:10:56 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 11:12:07 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-10-24 11:12:16 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-10-24 11:14:42 +0200 | jumper149 | (~jumper149@80.240.31.34) |
| 2021-10-24 11:15:04 +0200 | ulvarrefr | (~user@185.24.53.152) |
| 2021-10-24 11:16:21 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-10-24 11:17:08 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-10-24 11:26:59 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 244 seconds) |
| 2021-10-24 11:27:20 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 260 seconds) |
| 2021-10-24 11:28:13 +0200 | tafa | (~tafa@2a04:52c0:101:85c::1) (Quit: ZNC - https://znc.in) |
| 2021-10-24 11:28:13 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-10-24 11:28:46 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-10-24 11:30:50 +0200 | jinsun | (~quassel@user/jinsun) (Ping timeout: 260 seconds) |
| 2021-10-24 11:31:12 +0200 | jinsun | (~quassel@user/jinsun) |
| 2021-10-24 11:32:36 +0200 | tafa | (~tafa@5.2.76.31) |
| 2021-10-24 11:33:10 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi) (Ping timeout: 260 seconds) |
| 2021-10-24 11:35:26 +0200 | zer0bitz | (~zer0bitz@dsl-hkibng31-54fae3-116.dhcp.inet.fi) |
| 2021-10-24 11:41:37 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 11:45:21 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 11:46:02 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 260 seconds) |
| 2021-10-24 11:47:21 +0200 | <zincy> | Wow I didn't realise how much more optics offered than just "fixing the record problem" |
| 2021-10-24 11:48:10 +0200 | <zincy> | Many complain that code using lens is hard to read. |
| 2021-10-24 11:48:15 +0200 | mei | (~mei@user/mei) |
| 2021-10-24 11:48:17 +0200 | <zincy> | Is that fair? |
| 2021-10-24 11:48:42 +0200 | <[exa]> | [lens_operator_spray_meme.jpg] |
| 2021-10-24 11:48:53 +0200 | <unit73e> | I don't find it particularly hard |
| 2021-10-24 11:49:03 +0200 | <unit73e> | just kind of quirky with all the ' and _ |
| 2021-10-24 11:50:20 +0200 | <[exa]> | the thing I find problematic is that people tend to easily converge to using the 5435th variant of some (^.~~^!%^.) operator, which is not readable at all |
| 2021-10-24 11:50:58 +0200 | msmhbd^ | (~msmhbd@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 11:54:17 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-10-24 11:54:44 +0200 | gaspare | (~gastel@151.63.119.74) |
| 2021-10-24 11:56:51 +0200 | <zincy> | Seems very readable as long as you stray from those longer operators |
| 2021-10-24 11:57:01 +0200 | gaspare | (~gastel@151.63.119.74) (Client Quit) |
| 2021-10-24 11:57:02 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 11:57:17 +0200 | <zincy> | And some languages ban infix as unreadable ha |
| 2021-10-24 11:58:48 +0200 | Guest38 | (~Guest38@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-10-24 11:59:34 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 12:01:16 +0200 | fendor | (~fendor@77.119.214.28.wireless.dyn.drei.com) |
| 2021-10-24 12:01:22 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-10-24 12:02:38 +0200 | img | (~img@user/img) |
| 2021-10-24 12:04:03 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 258 seconds) |
| 2021-10-24 12:07:17 +0200 | <[exa]> | zincy: like it helps, if you've got a table of "commands" where the separator is `set` vs a table where the separator is just ^., it's better |
| 2021-10-24 12:09:46 +0200 | <[exa]> | I'm now trying to make local operators instead of using the complicated standard ones, the source is usually shorter and you have a proper "readable" definition hangin right next to the code in a let/where block |
| 2021-10-24 12:13:08 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2021-10-24 12:16:54 +0200 | <zincy> | Yeah that is a good idea |
| 2021-10-24 12:17:25 +0200 | <zincy> | Best of both worlds, name your custom operators |
| 2021-10-24 12:17:59 +0200 | <zincy> | I'm thinking about modelling a card game as a Mealy machine |
| 2021-10-24 12:18:26 +0200 | msmhbd^ | (~msmhbd@wsip-68-227-92-38.mc.at.cox.net) (Ping timeout: 245 seconds) |
| 2021-10-24 12:18:43 +0200 | <zincy> | Wondering if I will get a more principled approach to validating user moves and separating user actions from game progression actions |
| 2021-10-24 12:19:17 +0200 | <zincy> | When everyone has made a move and the turn is over there is a different kind of state transition where we deal the next card |
| 2021-10-24 12:19:50 +0200 | <[exa]> | with card games the rulechecking may get pretty nasty |
| 2021-10-24 12:20:01 +0200 | <zincy> | Yeah |
| 2021-10-24 12:20:13 +0200 | <zincy> | The validation of rules is nasty |
| 2021-10-24 12:20:31 +0200 | <[exa]> | actually you might want products of mealy machines |
| 2021-10-24 12:20:52 +0200 | <[exa]> | N machines for checking all players, a few extra machines for checking the global rules |
| 2021-10-24 12:20:57 +0200 | <zincy> | player is a mealy machine and game is a mealy machine? |
| 2021-10-24 12:21:28 +0200 | msmhbd^ | (~msmhbd@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 12:21:35 +0200 | <zincy> | ooh :D |
| 2021-10-24 12:21:41 +0200 | <[exa]> | like, this might be a good way to fight the complexity of building the whole state checker yourself |
| 2021-10-24 12:21:56 +0200 | <zincy> | Exciting thanks! |
| 2021-10-24 12:22:31 +0200 | <[exa]> | coding it ain't much hard either, but with having the composition abstracted out you kinda ensure that you don't forget about something when composing it manually |
| 2021-10-24 12:22:51 +0200 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) (Quit: Leaving) |
| 2021-10-24 12:23:47 +0200 | <[exa]> | that said, regarding the machines in latex, I'm still missing a suitable regex-like DFA compiler |
| 2021-10-24 12:24:02 +0200 | <[exa]> | s/latex/haskell/ wHaT a TyPo |
| 2021-10-24 12:25:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 12:25:43 +0200 | <zincy> | So is the idea about breaking down big transition functions into smaller ones |
| 2021-10-24 12:26:03 +0200 | <zincy> | I guess different game states would be different machines |
| 2021-10-24 12:26:24 +0200 | <zincy> | An inactive game table has different rules to an active game |
| 2021-10-24 12:28:24 +0200 | <[exa]> | I'd go for "small coherent parts of the ruleset to keep are different machies" |
| 2021-10-24 12:29:05 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 12:29:05 +0200 | <[exa]> | then just combine a bunch of those with https://en.wikipedia.org/wiki/Deterministic_finite_automaton#/media/File:Intersection1.png |
| 2021-10-24 12:29:41 +0200 | ubert | (~Thunderbi@178.115.74.156.wireless.dyn.drei.com) (Ping timeout: 245 seconds) |
| 2021-10-24 12:32:01 +0200 | <zincy> | So machines represent rules such as nextPlayerPositionToAct |
| 2021-10-24 12:33:10 +0200 | __monty__ | (~toonn@user/toonn) |
| 2021-10-24 12:41:46 +0200 | Farzad | (~FarzadBek@151.238.114.164) |
| 2021-10-24 12:41:49 +0200 | Liudvikas | (~Liudvikas@88.222.185.135) |
| 2021-10-24 12:43:15 +0200 | Liudvikas | (~Liudvikas@88.222.185.135) (Client Quit) |
| 2021-10-24 12:46:20 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 12:47:46 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) |
| 2021-10-24 12:50:47 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 12:52:51 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-10-24 12:53:10 +0200 | MoC | (~moc@user/moc) |
| 2021-10-24 12:53:35 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-10-24 12:54:46 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 12:59:11 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Ping timeout: 264 seconds) |
| 2021-10-24 13:00:01 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c703cb55ecd1c0be3c49da81.dip0.t-ipconnect.de) (Ping timeout: 258 seconds) |
| 2021-10-24 13:02:51 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) (Remote host closed the connection) |
| 2021-10-24 13:03:18 +0200 | ec_ | (~ec@gateway/tor-sasl/ec) |
| 2021-10-24 13:03:28 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 2021-10-24 13:05:19 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2021-10-24 13:08:08 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-10-24 13:20:31 +0200 | Guest38 | (~Guest38@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Quit: Client closed) |
| 2021-10-24 13:23:26 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 245 seconds) |
| 2021-10-24 13:25:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 13:26:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 13:30:56 +0200 | n3t | (n3t@s45.mydevil.net) (Changing host) |
| 2021-10-24 13:30:56 +0200 | n3t | (n3t@user/n3t) |
| 2021-10-24 13:31:35 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 13:32:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 13:37:40 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 13:42:58 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Remote host closed the connection) |
| 2021-10-24 13:46:51 +0200 | phma | (~phma@host-67-44-208-101.hnremote.net) (Read error: Connection reset by peer) |
| 2021-10-24 13:47:10 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 258 seconds) |
| 2021-10-24 13:47:48 +0200 | phma | (~phma@host-67-44-209-31.hnremote.net) |
| 2021-10-24 13:49:46 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 13:51:36 +0200 | gaspare | (~gastel@151.63.119.74) |
| 2021-10-24 13:54:23 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 13:56:42 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-10-24 14:01:10 +0200 | max22- | (~maxime@lfbn-ren-1-762-224.w81-53.abo.wanadoo.fr) (Ping timeout: 265 seconds) |
| 2021-10-24 14:04:02 +0200 | Guest|34 | (~Guest|34@65.49.199.186.16clouds.com) |
| 2021-10-24 14:04:29 +0200 | slowButPresent | (~slowButPr@user/slowbutpresent) |
| 2021-10-24 14:05:20 +0200 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) |
| 2021-10-24 14:08:21 +0200 | gaspare | (~gastel@151.63.119.74) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-10-24 14:11:47 +0200 | Guest|34 | (~Guest|34@65.49.199.186.16clouds.com) (Quit: Ping timeout (120 seconds)) |
| 2021-10-24 14:11:57 +0200 | sprout_ | (~quassel@86-82-44-193.fixed.kpn.net) |
| 2021-10-24 14:13:30 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 14:14:03 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 14:15:20 +0200 | sprout | (~quassel@2a02:a467:ccd6:1:5d6e:87c6:1a95:cc2d) (Ping timeout: 260 seconds) |
| 2021-10-24 14:18:12 +0200 | Guest|34 | (~Guest|34@65.49.199.186.16clouds.com) |
| 2021-10-24 14:22:32 +0200 | tfeb | (~tfb@88.98.95.237) |
| 2021-10-24 14:22:33 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 14:25:17 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2021-10-24 14:26:18 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2021-10-24 14:27:16 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 265 seconds) |
| 2021-10-24 14:29:16 +0200 | Guest|34 | (~Guest|34@65.49.199.186.16clouds.com) (Quit: Ping timeout (120 seconds)) |
| 2021-10-24 14:33:42 +0200 | tfeb | (~tfb@88.98.95.237) (Quit: died) |
| 2021-10-24 14:39:27 +0200 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2021-10-24 14:39:49 +0200 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 2021-10-24 14:39:54 +0200 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Remote host closed the connection) |
| 2021-10-24 14:41:20 +0200 | dajoer | (~david@user/gvx) |
| 2021-10-24 14:42:52 +0200 | wei2912 | (~wei2912@138.75.71.147) (Quit: Lost terminal) |
| 2021-10-24 14:44:16 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2021-10-24 14:48:59 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 14:49:07 +0200 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2021-10-24 14:49:53 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-10-24 14:53:01 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-10-24 14:56:43 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 15:00:56 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Ping timeout: 245 seconds) |
| 2021-10-24 15:01:30 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 15:05:46 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 2021-10-24 15:06:17 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-10-24 15:11:16 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 252 seconds) |
| 2021-10-24 15:19:37 +0200 | zincy | (~tom@2a00:23c8:970c:4801:8009:c2de:a6e:7c44) (Remote host closed the connection) |
| 2021-10-24 15:19:41 +0200 | tom_ | (~tom@host86-181-60-139.range86-181.btcentralplus.com) |
| 2021-10-24 15:22:16 +0200 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) |
| 2021-10-24 15:22:28 +0200 | <fuzzypixelz> | . |
| 2021-10-24 15:22:37 +0200 | fuzzypixelz | (~fuzzypixe@eth-west-pareq2-46-193-4-100.wb.wifirst.net) (Client Quit) |
| 2021-10-24 15:23:17 +0200 | mbuf | (~Shakthi@223.178.97.156) (Quit: Leaving) |
| 2021-10-24 15:30:28 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-10-24 15:34:25 +0200 | kilolympus | (~kilolympu@185.65.135.177) |
| 2021-10-24 15:34:32 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2021-10-24 15:35:59 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-10-24 15:55:21 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-10-24 15:55:24 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-10-24 15:58:00 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 16:00:48 +0200 | iammrinal0[m] | (~iammrinal@2001:470:69fc:105::1:2248) |
| 2021-10-24 16:05:00 +0200 | tom_ | (~tom@host86-181-60-139.range86-181.btcentralplus.com) (Quit: Leaving) |
| 2021-10-24 16:05:17 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2021-10-24 16:05:22 +0200 | tom_ | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) (Client Quit) |
| 2021-10-24 16:05:37 +0200 | zincy | (~tom@2a00:23c8:970c:4801:5b6a:e81b:79dc:f684) |
| 2021-10-24 16:07:20 +0200 | buona | (~buona@fi-19-194-76.service.infuturo.it) |
| 2021-10-24 16:07:33 +0200 | <buona> | list |
| 2021-10-24 16:07:46 +0200 | buona | (~buona@fi-19-194-76.service.infuturo.it) (Remote host closed the connection) |
| 2021-10-24 16:08:40 +0200 | mishugana | (~mishugana@user/mishugana) |
| 2021-10-24 16:12:04 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-10-24 16:12:08 +0200 | buona | (~buona@fi-19-194-76.service.infuturo.it) |
| 2021-10-24 16:12:38 +0200 | son0p | (~ff@181.136.122.143) |
| 2021-10-24 16:13:02 +0200 | <mishugana> | hello folks, beginner here, have a question about upping my Haskell game. |
| 2021-10-24 16:13:21 +0200 | <mishugana> | So I've finished Graham Hutton's "Programming in Haskell" (2nd Edition), which was great. Given that, how would you recommend I progress from here? |
| 2021-10-24 16:13:22 +0200 | <mishugana> | My main aim is not research but general-purpose programming as well as a special interest in compilers, if that helps |
| 2021-10-24 16:13:40 +0200 | <mishugana> | For reference, after finishing the book, I took a look at the HaskellWiki page for Monad Transformers, but was sorely disappointed that I couldn't make it past halfway through. |
| 2021-10-24 16:14:44 +0200 | buona | (~buona@fi-19-194-76.service.infuturo.it) (Remote host closed the connection) |
| 2021-10-24 16:15:48 +0200 | dajoer | (~david@user/gvx) (Quit: leaving) |
| 2021-10-24 16:23:17 +0200 | mishugana | (~mishugana@user/mishugana) () |
| 2021-10-24 16:23:38 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Quit: Leaving) |
| 2021-10-24 16:28:01 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 245 seconds) |
| 2021-10-24 16:28:16 +0200 | <zincy> | Have a look at https://haskellbook.com/ |
| 2021-10-24 16:28:57 +0200 | <zincy> | There is a chapter on monad transformers too. |
| 2021-10-24 16:29:48 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-10-24 16:30:16 +0200 | MoC | (~moc@user/moc) |
| 2021-10-24 16:30:37 +0200 | <hpc> | there's a lot of stuff on https://www.haskell.org/documentation/ too |
| 2021-10-24 16:30:38 +0200 | <zincy> | "Thinking with Types" by Sandy Maguire is a good read too |
| 2021-10-24 16:30:44 +0200 | <hpc> | even beyond books/tutorials |
| 2021-10-24 16:32:42 +0200 | <Profpatsch> | As Shea LaBeouf would say “do it! Just … do it! |
| 2021-10-24 16:33:41 +0200 | <zincy> | Diving into a project and asking here when you get stuck is a really good way to get to intermediate |
| 2021-10-24 16:34:07 +0200 | max22- | (~maxime@2a01cb0883359800e0f5f648c85a67fc.ipv6.abo.wanadoo.fr) |
| 2021-10-24 16:35:58 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 16:38:37 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-10-24 16:43:51 +0200 | <maerwald> | yeah, burn all the books and open your editor |
| 2021-10-24 16:45:44 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 16:46:11 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 2021-10-24 16:48:04 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-10-24 16:50:20 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 265 seconds) |
| 2021-10-24 16:50:37 +0200 | benin8 | (benin@gateway/vpn/protonvpn/benin) |
| 2021-10-24 16:52:04 +0200 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) |
| 2021-10-24 16:52:50 +0200 | benin | (~benin@183.82.207.116) (Ping timeout: 260 seconds) |
| 2021-10-24 16:52:51 +0200 | benin8 | benin |
| 2021-10-24 16:53:34 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 16:56:46 +0200 | neurocyte0132889 | (~neurocyte@213.188.113.34) |
| 2021-10-24 16:56:46 +0200 | neurocyte0132889 | (~neurocyte@213.188.113.34) (Changing host) |
| 2021-10-24 16:56:46 +0200 | neurocyte0132889 | (~neurocyte@user/neurocyte) |
| 2021-10-24 17:03:17 +0200 | <kronicmage> | hey does anyone know what the default confidence is for checkCoverage in Test.QuickCheck? |
| 2021-10-24 17:09:26 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-10-24 17:09:34 +0200 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) |
| 2021-10-24 17:11:15 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2021-10-24 17:13:51 +0200 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) (Ping timeout: 245 seconds) |
| 2021-10-24 17:17:06 +0200 | Guest9035 | (~Guest90@69.166.185.81.rev.sfr.net) |
| 2021-10-24 17:18:49 +0200 | benin8 | (benin@gateway/vpn/protonvpn/benin) |
| 2021-10-24 17:20:02 +0200 | jkaye | (~jkaye@2601:281:8300:7530:c3d4:ecc4:d44c:ce60) |
| 2021-10-24 17:21:50 +0200 | benin | (benin@gateway/vpn/protonvpn/benin) (Ping timeout: 258 seconds) |
| 2021-10-24 17:21:51 +0200 | benin8 | benin |
| 2021-10-24 17:21:59 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-10-24 17:25:35 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2021-10-24 17:28:08 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 244 seconds) |
| 2021-10-24 17:28:32 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-10-24 17:28:39 +0200 | msmhbd^ | (~msmhbd@wsip-68-227-92-38.mc.at.cox.net) (Remote host closed the connection) |
| 2021-10-24 17:30:17 +0200 | <Guest9035> | hello |
| 2021-10-24 17:30:28 +0200 | <janus> | Guest9035: HELLO |
| 2021-10-24 17:30:35 +0200 | <Guest9035> | if I have a module that only includes class instances, how do I import it? |
| 2021-10-24 17:30:52 +0200 | <Guest9035> | janus: how are you doing today |
| 2021-10-24 17:31:02 +0200 | <jkaye> | Same way would would import any other module |
| 2021-10-24 17:31:07 +0200 | <janus> | Guest9035: i think you can do "import Module ()" and it will get only the instances. but you could just import all of it |
| 2021-10-24 17:31:09 +0200 | <jkaye> | you would** |
| 2021-10-24 17:31:36 +0200 | <janus> | depends on whether you have -Wexplicit-import-lists on or not |
| 2021-10-24 17:31:43 +0200 | <janus> | (which i like) |
| 2021-10-24 17:31:57 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2021-10-24 17:33:22 +0200 | <merijn> | Having a module with *only* class instances sounds questionable |
| 2021-10-24 17:34:08 +0200 | <maerwald> | I think that's fine |
| 2021-10-24 17:34:10 +0200 | <Guest9035> | wel there are a couple functions, but it's only the instances I need |
| 2021-10-24 17:35:26 +0200 | <merijn> | maerwald: Well, if it only has instances it, by definition, has to be all orphans :p |
| 2021-10-24 17:35:32 +0200 | <maerwald> | so? |
| 2021-10-24 17:35:56 +0200 | <maerwald> | provide a PR and wait 6 months before you can complete your code? |
| 2021-10-24 17:37:30 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 17:38:14 +0200 | benin5 | (~benin@183.82.207.116) |
| 2021-10-24 17:38:56 +0200 | benin | (benin@gateway/vpn/protonvpn/benin) (Remote host closed the connection) |
| 2021-10-24 17:38:56 +0200 | benin5 | benin |
| 2021-10-24 17:40:01 +0200 | jinsun | (~quassel@user/jinsun) (Ping timeout: 244 seconds) |
| 2021-10-24 17:40:04 +0200 | jinsun__ | (~quassel@user/jinsun) |
| 2021-10-24 17:41:22 +0200 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) |
| 2021-10-24 17:42:09 +0200 | rk04 | (~rk04@user/rajk) (Ping timeout: 258 seconds) |
| 2021-10-24 17:45:27 +0200 | dsp | (~dsp@cpc152107-haye27-2-0-cust227.17-4.cable.virginm.net) (Quit: Leaving) |
| 2021-10-24 17:49:22 +0200 | jinsun__ | jinsun |
| 2021-10-24 17:51:02 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2021-10-24 17:51:24 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2021-10-24 17:53:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 17:53:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 17:53:42 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 17:57:26 +0200 | Guest9035 | (~Guest90@69.166.185.81.rev.sfr.net) (Quit: Client closed) |
| 2021-10-24 17:58:30 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 18:03:40 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 18:03:51 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-10-24 18:04:43 +0200 | fjmorazan | (~quassel@user/fjmorazan) (Quit: fjmorazan) |
| 2021-10-24 18:04:53 +0200 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 18:05:21 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2021-10-24 18:06:40 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-10-24 18:07:03 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2021-10-24 18:09:08 +0200 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) |
| 2021-10-24 18:09:35 +0200 | ubert | (~Thunderbi@91.141.57.54.wireless.dyn.drei.com) |
| 2021-10-24 18:09:50 +0200 | ArtVandelayer | (~ArtVandel@ip174-68-147-20.lv.lv.cox.net) (Ping timeout: 260 seconds) |
| 2021-10-24 18:11:06 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 18:12:52 +0200 | benin4 | (~benin@106.198.88.230) |
| 2021-10-24 18:13:05 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 244 seconds) |
| 2021-10-24 18:14:47 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-10-24 18:15:07 +0200 | benin | (~benin@183.82.207.116) (Ping timeout: 258 seconds) |
| 2021-10-24 18:15:08 +0200 | benin4 | benin |
| 2021-10-24 18:16:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2021-10-24 18:20:11 +0200 | benin | (~benin@106.198.88.230) (Read error: Connection reset by peer) |
| 2021-10-24 18:22:04 +0200 | benin | (~benin@183.82.207.116) |
| 2021-10-24 18:23:16 +0200 | kilolympus | (~kilolympu@185.65.135.177) (Remote host closed the connection) |
| 2021-10-24 18:23:44 +0200 | juand | (~a@p200300ef973db1c64086f0a6a24fc4dd.dip0.t-ipconnect.de) |
| 2021-10-24 18:25:29 +0200 | <juand> | Using guards I check n > m, n < m, n == m, n, m :: Natural, yet GHC says incomplete pattern matches. Is it supposed to be like this? |
| 2021-10-24 18:26:19 +0200 | <ski> | use `compare' ? |
| 2021-10-24 18:26:19 +0200 | <merijn> | juand: Yes |
| 2021-10-24 18:26:34 +0200 | <merijn> | juand: Because GHC doesn't have a complete logic solver to determine that |
| 2021-10-24 18:26:39 +0200 | <merijn> | But yeah, use compare |
| 2021-10-24 18:26:39 +0200 | <ski> | case n `compare` m of |
| 2021-10-24 18:26:45 +0200 | <ski> | GT -> .. |
| 2021-10-24 18:26:46 +0200 | kilolympus | (~kilolympu@185.65.135.177) |
| 2021-10-24 18:26:47 +0200 | <merijn> | > compare 2 3 |
| 2021-10-24 18:26:49 +0200 | <lambdabot> | LT |
| 2021-10-24 18:26:52 +0200 | <ski> | EQ -> .. |
| 2021-10-24 18:26:54 +0200 | <ski> | LT -> .. |
| 2021-10-24 18:26:56 +0200 | <hpc> | :t compare |
| 2021-10-24 18:26:57 +0200 | <lambdabot> | Ord a => a -> a -> Ordering |
| 2021-10-24 18:26:59 +0200 | <hpc> | @src Ordering |
| 2021-10-24 18:26:59 +0200 | <lambdabot> | data Ordering = LT | EQ | GT |
| 2021-10-24 18:27:36 +0200 | <juand> | That is a good idea. |
| 2021-10-24 18:27:42 +0200 | <ski> | (`compare' may be cheaper, in general, too) |
| 2021-10-24 18:28:16 +0200 | <merijn> | you only compare once too |
| 2021-10-24 18:29:09 +0200 | <merijn> | juand: Anyway, to answer the initial question, you'd have to teach GHC about laws for total ordering (and then assume Ord does indeed obey those, etc.) for it to be able to see those cases are complete |
| 2021-10-24 18:30:11 +0200 | <ski> | basically, using guards, it's hard to determine when you're exhaustive (unless you use a catch-all, like `otherwise' or a later defining equation that always matches), as well as checking for overlap |
| 2021-10-24 18:30:35 +0200 | ArtVandelayer | (~ArtVandel@ip174-68-147-20.lv.lv.cox.net) |
| 2021-10-24 18:30:45 +0200 | <ski> | when you can do it reasonably, prefer pattern-matching over guards |
| 2021-10-24 18:31:44 +0200 | <juand> | I used otherwise but it felt like a hack. But i get it now. compare is a nice solution. |
| 2021-10-24 18:32:04 +0200 | <hpc> | fun fact: otherwise is very much a hack |
| 2021-10-24 18:32:07 +0200 | <hpc> | @src otherwise |
| 2021-10-24 18:32:07 +0200 | <lambdabot> | otherwise = True |
| 2021-10-24 18:32:21 +0200 | <hpc> | not a keyword :D |
| 2021-10-24 18:33:17 +0200 | <hpc> | also even when you get near the limits of what pattern matching can do, you might still want to reach for something like view patterns before guards |
| 2021-10-24 18:33:20 +0200 | <hpc> | but that's a whole other topic |
| 2021-10-24 18:33:46 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-10-24 18:36:40 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-10-24 18:37:15 +0200 | dsrt^ | (~dsrt@wsip-68-227-92-38.mc.at.cox.net) |
| 2021-10-24 18:38:10 +0200 | MoC | (~moc@user/moc) (Quit: Konversation terminated!) |
| 2021-10-24 18:43:44 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 18:44:36 +0200 | peterhil | (~peterhil@mobile-access-5672cd-211.dhcp.inet.fi) (Ping timeout: 244 seconds) |
| 2021-10-24 18:49:38 +0200 | waleee | (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 2021-10-24 18:49:39 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 18:50:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 18:50:28 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 18:50:28 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 18:52:34 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 18:54:11 +0200 | econo | (uid147250@user/econo) |
| 2021-10-24 18:54:48 +0200 | <maerwald> | I always use `otherwise` instead of `True` in all my code |
| 2021-10-24 18:55:22 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2021-10-24 18:56:37 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2021-10-24 18:56:57 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 18:57:26 +0200 | jstolarek | (~jstolarek@137.220.120.162) |
| 2021-10-24 18:57:30 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-10-24 18:57:38 +0200 | aplainze1akind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-10-24 18:57:43 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2021-10-24 18:58:00 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2021-10-24 18:58:46 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 18:58:48 +0200 | Guest9016 | (~Guest90@69.166.185.81.rev.sfr.net) |
| 2021-10-24 19:00:44 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-10-24 19:00:59 +0200 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) (Remote host closed the connection) |
| 2021-10-24 19:02:01 +0200 | kuribas | (~user@ptr-25vy0i9x7go3dqtvv83.18120a2.ip6.access.telenet.be) |
| 2021-10-24 19:03:32 +0200 | kupi | (uid212005@id-212005.hampstead.irccloud.com) |
| 2021-10-24 19:05:12 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 19:06:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-10-24 19:07:12 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:ed38:680c:308b:2321) (Ping timeout: 268 seconds) |
| 2021-10-24 19:07:15 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 19:07:58 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:299b:88e7:728b:a92) |
| 2021-10-24 19:09:56 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 244 seconds) |
| 2021-10-24 19:12:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 2021-10-24 19:13:17 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 19:13:17 +0200 | <juand> | I think that a property P(x) always holds if some other property Q(x) holds. I want to use quickcheck to test this. Is it correct to test if: not (q x) || p x? Is if q x then p x else True the same proposition? |
| 2021-10-24 19:13:56 +0200 | <monochrom> | IIRC there is a ==> operator most well suited for this. |
| 2021-10-24 19:14:09 +0200 | <c_wraith> | I'd be careful with structuring your tests like that at all |
| 2021-10-24 19:14:24 +0200 | <c_wraith> | it leaves a good chance of quickcheck not testing anything |
| 2021-10-24 19:14:29 +0200 | <juand> | monochrom: Did not know that. Thank you. |
| 2021-10-24 19:14:41 +0200 | <juand> | c_wraith: how so? |
| 2021-10-24 19:15:03 +0200 | <c_wraith> | It will count everything where Q(x) doesn't hold as a successful test |
| 2021-10-24 19:15:55 +0200 | <juand> | That's true. |
| 2021-10-24 19:16:21 +0200 | <c_wraith> | If Q(x) is somewhat uncommon, you might end up testing very few cases where is does hold |
| 2021-10-24 19:16:42 +0200 | <c_wraith> | If you do that twice... quickcheck only defaults to 100 cases. |
| 2021-10-24 19:17:05 +0200 | <c_wraith> | You're much better off structuring the test such that all generated input has Q(x) hold by construction |
| 2021-10-24 19:17:56 +0200 | <c_wraith> | (not always possible, but it's a better option when it is) |
| 2021-10-24 19:18:43 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-10-24 19:19:02 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2021-10-24 19:19:07 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 19:19:14 +0200 | rk04 | (~rk04@user/rajk) |
| 2021-10-24 19:20:03 +0200 | <juand> | Q(x) is in fact uncommon. Good point. |
| 2021-10-24 19:20:29 +0200 | <c_wraith> | that's a gotcha with quickcheck I've run into before. |
| 2021-10-24 19:20:35 +0200 | rk04 | (~rk04@user/rajk) (Client Quit) |
| 2021-10-24 19:20:38 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2021-10-24 19:21:03 +0200 | Pickchea | (~private@user/pickchea) (Ping timeout: 258 seconds) |
| 2021-10-24 19:24:16 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-10-24 19:25:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 19:26:18 +0200 | zero | zzz |
| 2021-10-24 19:26:21 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2021-10-24 19:26:50 +0200 | zmt00 | (~zmt00@user/zmt00) (Quit: Gone.) |
| 2021-10-24 19:27:49 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-10-24 19:29:11 +0200 | <ski> | @type forAll |
| 2021-10-24 19:29:13 +0200 | <lambdabot> | (Show a, STestable prop) => Gen a -> (a -> prop) -> Test.QuickCheck.Safe.SProperty |
| 2021-10-24 19:29:28 +0200 | zmt00 | (~zmt00@user/zmt00) |
| 2021-10-24 19:30:01 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (Read error: No route to host) |
| 2021-10-24 19:30:38 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-10-24 19:32:40 +0200 | MQ-17J | (~MQ-17J@8.21.10.17) (Ping timeout: 244 seconds) |
| 2021-10-24 19:33:21 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2021-10-24 19:33:57 +0200 | rond_ | (~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) |
| 2021-10-24 19:34:36 +0200 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) |
| 2021-10-24 19:35:12 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2021-10-24 19:35:14 +0200 | peterhil | (~peterhil@dsl-hkibng32-54fb56-2.dhcp.inet.fi) |
| 2021-10-24 19:36:03 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 19:37:08 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2021-10-24 19:38:31 +0200 | <zincy> | Is there an easy way of getting a num instance for a newtyped Int |
| 2021-10-24 19:38:50 +0200 | <zincy> | When I try and derive it I get "no explicit implementation for Num ..." |
| 2021-10-24 19:38:50 +0200 | <awpr> | `deriving Num`, with `GeneralizedNewtypeDeriving` enabled |
| 2021-10-24 19:38:51 +0200 | <c_wraith> | If you just want Int's instance, yes. GeneralizedNewtypeDeriving |
| 2021-10-24 19:38:55 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 19:38:56 +0200 | <merijn> | GeneralizedNewtypeDeriving? |
| 2021-10-24 19:39:09 +0200 | jumper149 | (~jumper149@80.240.31.34) (Quit: WeeChat 3.3) |
| 2021-10-24 19:41:24 +0200 | <zincy> | Thanks! Must have just forgotten the language ext. |
| 2021-10-24 19:41:45 +0200 | <awpr> | ah, the error message sounds like you had `DeriveAnyClass` enabled and it picked that |
| 2021-10-24 19:42:38 +0200 | <awpr> | this sort of thing is why I prefer to enable `DerivingStrategies` and explicitly tell it how to derive: `deriving newtype Num deriving stock Show deriving anyclass NFData` |
| 2021-10-24 19:45:52 +0200 | <zincy> | Ah ok so that is what was happening |
| 2021-10-24 19:46:07 +0200 | Null_A | (~null_a@2601:645:8700:2290:f415:c2d6:236d:7d8b) (Remote host closed the connection) |
| 2021-10-24 19:46:24 +0200 | <zincy> | For Num DeriveAnyClass was being picked and hence the error "no explicit implementation" |
| 2021-10-24 19:49:30 +0200 | fluffyballoon | (~user@131.93.208.196) |
| 2021-10-24 19:50:36 +0200 | fluffyballoon | (~user@131.93.208.196) (Client Quit) |
| 2021-10-24 19:50:56 +0200 | fluffyballoon | (~user@131.93.208.196) |
| 2021-10-24 19:56:47 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 264 seconds) |
| 2021-10-24 19:59:32 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-10-24 19:59:42 +0200 | <Guest9016> | how difficult is it to submit a package on Hackage/Stackage? |
| 2021-10-24 20:00:15 +0200 | <Clint> | 2 |
| 2021-10-24 20:00:41 +0200 | <awpr> | just to create and upload: extremely easy (once you've gotten an account with permission to upload) |
| 2021-10-24 20:01:19 +0200 | <awpr> | for Hackage, I mean. not sure about Stackage |
| 2021-10-24 20:01:45 +0200 | <Clint> | for stackage you submit a pull request to add a hackage package to a yaml file |
| 2021-10-24 20:02:26 +0200 | <awpr> | to maintain and curate it properly, polish documentation, bump version bounds, set up CI and keep up with base changes, make it compatible with a wide range of GHCs, make the synopsis descriptive without word-wrapping: can be a lot of work |
| 2021-10-24 20:05:05 +0200 | Liudvikas | (~Liudvikas@88.222.185.135) |
| 2021-10-24 20:07:18 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 20:08:18 +0200 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) (Ping timeout: 244 seconds) |
| 2021-10-24 20:08:40 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-10-24 20:09:01 +0200 | Guest9016 | (~Guest90@69.166.185.81.rev.sfr.net) (Quit: Client closed) |
| 2021-10-24 20:10:38 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2021-10-24 20:13:01 +0200 | jkaye | (~jkaye@2601:281:8300:7530:c3d4:ecc4:d44c:ce60) (Ping timeout: 245 seconds) |
| 2021-10-24 20:15:18 +0200 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) |
| 2021-10-24 20:19:50 +0200 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-10-24 20:22:20 +0200 | Partmedia | (~kevinz@172-221-159-029.res.spectrum.com) |
| 2021-10-24 20:23:47 +0200 | mei | (~mei@user/mei) (Read error: Connection reset by peer) |
| 2021-10-24 20:29:48 +0200 | alx741 | (~alx741@186.178.108.74) (Quit: alx741) |
| 2021-10-24 20:30:36 +0200 | Farzad | (~FarzadBek@151.238.114.164) (Quit: Leaving) |
| 2021-10-24 20:30:43 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Ping timeout: 256 seconds) |
| 2021-10-24 20:34:02 +0200 | alx741 | (~alx741@186.178.108.74) |
| 2021-10-24 20:36:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-10-24 20:36:35 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 2021-10-24 20:36:35 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2021-10-24 20:36:35 +0200 | alx741 | (~alx741@186.178.108.74) (Client Quit) |
| 2021-10-24 20:53:45 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 260 seconds) |
| 2021-10-24 20:55:47 +0200 | mei | (~mei@user/mei) |
| 2021-10-24 20:56:04 +0200 | zzz | onion |
| 2021-10-24 20:57:51 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2021-10-24 21:00:30 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2021-10-24 21:06:14 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-10-24 21:08:34 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) |
| 2021-10-24 21:09:55 +0200 | Liudvikas | (~Liudvikas@88.222.185.135) (Quit: Konversation terminated!) |
| 2021-10-24 21:13:24 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) (Remote host closed the connection) |
| 2021-10-24 21:14:14 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 265 seconds) |
| 2021-10-24 21:14:55 +0200 | hololeap | (~hololeap@user/hololeap) (Remote host closed the connection) |
| 2021-10-24 21:15:14 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2021-10-24 21:16:28 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2021-10-24 21:16:53 +0200 | Pickchea | (~private@user/pickchea) |
| 2021-10-24 21:17:00 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-10-24 21:18:39 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 276 seconds) |
| 2021-10-24 21:25:38 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 21:26:14 +0200 | kuribas | (~user@ptr-25vy0i9x7go3dqtvv83.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-10-24 21:28:28 +0200 | Midjak | (~Midjak@82-65-111-221.subs.proxad.net) (Quit: This computer has gone to sleep) |
| 2021-10-24 21:31:16 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2021-10-24 21:36:54 +0200 | Daniel | (~Daniel@62.214.179.126) |
| 2021-10-24 21:37:00 +0200 | Daniel | Guest8769 |
| 2021-10-24 21:37:02 +0200 | Liudvikas | (~Liudvikas@88.222.185.135) |
| 2021-10-24 21:37:44 +0200 | Guest8769 | (~Daniel@62.214.179.126) (Client Quit) |
| 2021-10-24 21:39:15 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Read error: Connection reset by peer) |
| 2021-10-24 21:39:37 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 21:39:52 +0200 | notzmv | (~zmv@user/notzmv) |
| 2021-10-24 21:40:07 +0200 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2021-10-24 21:43:27 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2021-10-24 21:44:11 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2021-10-24 21:45:15 +0200 | eruditass | (uid248673@uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-10-24 21:45:57 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) (Ping timeout: 244 seconds) |
| 2021-10-24 21:47:00 +0200 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:a193:fe09:637c:a86c) |
| 2021-10-24 21:47:02 +0200 | rond_ | (~rond_@2a02:a31a:a23c:f480:2fd7:e087:5546:a438) (Quit: Client closed) |
| 2021-10-24 21:47:40 +0200 | dustee | (~dustee@63.81.59.158) |
| 2021-10-24 21:48:40 +0200 | segfaultfizzbuzz | (~segfaultf@135-180-0-138.static.sonic.net) |
| 2021-10-24 21:49:06 +0200 | MQ-17J | (~MQ-17J@d192-24-122-179.try.wideopenwest.com) |
| 2021-10-24 21:50:23 +0200 | olibiera | (~olibiera@a79-169-181-190.cpe.netcabo.pt) |
| 2021-10-24 21:53:07 +0200 | <olibiera> | hey guys im trying to create a function that runs thru a list and accumulates values and then returns a value, can anyone help me understand why is not working? thx in advance |
| 2021-10-24 21:53:18 +0200 | <olibiera> | votosCandidato :: [(String,(String,String,String))] -> String -> Int |
| 2021-10-24 21:53:18 +0200 | <olibiera> | votosCandidato xs y = votosCandidato' xs y 0 |
| 2021-10-24 21:53:19 +0200 | <olibiera> | where votosCandidato' [] _ _ = 0 |
| 2021-10-24 21:53:19 +0200 | <olibiera> | votosCandidato' (x:xs) y n |
| 2021-10-24 21:53:20 +0200 | <olibiera> | | y == fst x = votosCandidato' xs y n |
| 2021-10-24 21:53:20 +0200 | <olibiera> | | y == first (snd x) = votosCandidato' xs y (n + 3) |
| 2021-10-24 21:53:21 +0200 | <olibiera> | | y == second (snd x) = votosCandidato' xs y (n + 2) |
| 2021-10-24 21:53:21 +0200 | <olibiera> | | y == third (snd x) = votosCandidato' xs y (n + 1) |
| 2021-10-24 21:53:22 +0200 | <olibiera> | | otherwise = votosCandidato' xs y n |
| 2021-10-24 21:53:22 +0200 | <olibiera> | where first (d, _, _) = d |
| 2021-10-24 21:53:23 +0200 | <olibiera> | second (_, e, _) = e |
| 2021-10-24 21:53:23 +0200 | <olibiera> | third (_, _, f) = f |
| 2021-10-24 21:53:35 +0200 | <unit73e> | you know, you could use the paste tool |
| 2021-10-24 21:53:37 +0200 | <Franciman> | olibiera: can you use a paste system, the next time for more than 2 lines? |
| 2021-10-24 21:53:51 +0200 | <Franciman> | so it's easier to read and avoid a lot of cnfusing noise |
| 2021-10-24 21:53:52 +0200 | mei | (~mei@user/mei) (Ping timeout: 252 seconds) |
| 2021-10-24 21:54:10 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-10-24 21:54:23 +0200 | <olibiera> | whats the paste tool? |
| 2021-10-24 21:54:32 +0200 | <hpc> | in the topic |
| 2021-10-24 21:54:46 +0200 | <unit73e> | this: https://paste.tomsmeding.com |
| 2021-10-24 21:54:56 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c703cb55ecd1c0be3c49da81.dip0.t-ipconnect.de) |
| 2021-10-24 21:55:24 +0200 | <hpc> | :t first |
| 2021-10-24 21:55:25 +0200 | <lambdabot> | Arrow a => a b c -> a (b, d) (c, d) |
| 2021-10-24 21:55:32 +0200 | <olibiera> | ok will do next time! |
| 2021-10-24 21:55:40 +0200 | <hpc> | :t fst |
| 2021-10-24 21:55:41 +0200 | <lambdabot> | (a, b) -> a |
| 2021-10-24 21:55:42 +0200 | <ski> | @paste |
| 2021-10-24 21:55:43 +0200 | <lambdabot> | A pastebin: https://paste.debian.net/ |
| 2021-10-24 21:55:47 +0200 | <ski> | @where paste |
| 2021-10-24 21:55:48 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2021-10-24 21:55:49 +0200 | <hpc> | you're mixing fst and first |
| 2021-10-24 21:55:53 +0200 | <hpc> | :t third |
| 2021-10-24 21:55:54 +0200 | <lambdabot> | error: Variable not in scope: third |
| 2021-10-24 21:56:11 +0200 | <hpc> | or i am not reading the where clause |
| 2021-10-24 21:56:17 +0200 | <ski> | olibiera : use pattern-matching, instead of `fst',.. |
| 2021-10-24 21:57:30 +0200 | <ski> | (also, that code is way too much indented ..) |
| 2021-10-24 21:57:55 +0200 | <hpc> | maybe try breaking the problem up |
| 2021-10-24 21:58:18 +0200 | <hpc> | instead of solving it all at once, try first taking the [(String, (String, String, String))] and filtering it by y |
| 2021-10-24 21:58:24 +0200 | <hpc> | so you have [(String, String, String)] |
| 2021-10-24 21:58:36 +0200 | <hpc> | and then a separate, simpler summing function |
| 2021-10-24 21:58:39 +0200 | <ski> | also, you seem to be ignoring the final result of your accumulator |
| 2021-10-24 21:59:20 +0200 | <olibiera> | yes thats the problem, how can i return the final result in this case |
| 2021-10-24 21:59:24 +0200 | Liudvikas | (~Liudvikas@88.222.185.135) (Quit: Konversation terminated!) |
| 2021-10-24 21:59:28 +0200 | <ski> | stop ignoring it ? |
| 2021-10-24 21:59:37 +0200 | <olibiera> | by doing what? |
| 2021-10-24 21:59:39 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-10-24 21:59:54 +0200 | <ski> | start by locate where you're ignoring the final value of the accumulator |
| 2021-10-24 22:01:05 +0200 | dustee | (~dustee@63.81.59.158) () |
| 2021-10-24 22:01:59 +0200 | <hpc> | olibiera: try stepping through a simple case |
| 2021-10-24 22:02:30 +0200 | <ski> | (for that, using pattern-matching would help) |
| 2021-10-24 22:02:44 +0200 | <hpc> | votosCandidato [("x", ("a", "b", "c")] "a" |
| 2021-10-24 22:03:27 +0200 | <hpc> | do it by hand |
| 2021-10-24 22:04:58 +0200 | brainfreeze | (~brainfree@2a03:1b20:4:f011::20d) |
| 2021-10-24 22:05:04 +0200 | juhp | (~juhp@128.106.188.220) (Ping timeout: 244 seconds) |
| 2021-10-24 22:06:13 +0200 | <olibiera> | i just cant figure out how can i return "n" |
| 2021-10-24 22:06:25 +0200 | <olibiera> | will try something different, thx |
| 2021-10-24 22:08:11 +0200 | <ski> | olibiera : i suggest attempting the other suggestions (above), too |
| 2021-10-24 22:08:11 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 2021-10-24 22:08:19 +0200 | juhp | (~juhp@128.106.188.220) |
| 2021-10-24 22:08:43 +0200 | ski | . o O ( "Elegance isn't optional." ) |
| 2021-10-24 22:08:43 +0200 | <unit73e> | btw that's candidate votes if you're all wondering |
| 2021-10-24 22:09:09 +0200 | ski | figured |
| 2021-10-24 22:14:48 +0200 | fendor | (~fendor@77.119.214.28.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-10-24 22:19:17 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2021-10-24 22:20:24 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 276 seconds) |
| 2021-10-24 22:21:06 +0200 | hyiltiz | (~quassel@31.220.5.250) (Ping timeout: 244 seconds) |
| 2021-10-24 22:21:19 +0200 | rekahsoft | (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 2021-10-24 22:32:19 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-10-24 22:34:07 +0200 | stiell | (~stiell@gateway/tor-sasl/stiell) |
| 2021-10-24 22:40:08 +0200 | olibiera | (~olibiera@a79-169-181-190.cpe.netcabo.pt) (Quit: Client closed) |
| 2021-10-24 22:40:37 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) (Ping timeout: 252 seconds) |
| 2021-10-24 22:40:52 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2021-10-24 22:41:18 +0200 | beaky | (~beaky@2a03:b0c0:0:1010::1e:a001) |
| 2021-10-24 22:46:01 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 22:46:57 +0200 | seiryn | (~seiryn@2a01cb040147e000baac7520288c550c.ipv6.abo.wanadoo.fr) |
| 2021-10-24 22:47:11 +0200 | seiryn | (~seiryn@2a01cb040147e000baac7520288c550c.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.3) |
| 2021-10-24 22:48:17 +0200 | seiryn | (~seiryn@2a01cb040147e000baac7520288c550c.ipv6.abo.wanadoo.fr) |
| 2021-10-24 22:48:41 +0200 | <fendor[m]> | I have a endless cycle in a program I don't control, I want to abort execution after 3 seconds. Can I force that somehow? Performance hits are fine and I am already using `-fno-omit-yields` |
| 2021-10-24 22:50:00 +0200 | random-jellyfish | (~random-je@user/random-jellyfish) (Quit: Client closed) |
| 2021-10-24 22:51:18 +0200 | <geekosaur> | if System.Timeout doesn't work, probably not. hm, unless you are talking about an external program via System.Process, then you might be able to terminate the process (but this might require using the right process module for the system instead of the generic one) |
| 2021-10-24 22:51:37 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 252 seconds) |
| 2021-10-24 22:53:39 +0200 | <fendor[m]> | not an external program, unfortunately |
| 2021-10-24 22:56:19 +0200 | argento | (~argent0@168-227-96-26.ptr.westnet.com.ar) |
| 2021-10-24 22:58:28 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2021-10-24 23:00:01 +0200 | onion | yin |
| 2021-10-24 23:01:35 +0200 | fluffyballoon | (~user@131.93.208.196) (Ping timeout: 264 seconds) |
| 2021-10-24 23:02:30 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 265 seconds) |
| 2021-10-24 23:04:29 +0200 | shapr | (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 2021-10-24 23:07:09 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 23:09:54 +0200 | seiryn | (~seiryn@2a01cb040147e000baac7520288c550c.ipv6.abo.wanadoo.fr) (Quit: WeeChat 3.3) |
| 2021-10-24 23:12:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds) |
| 2021-10-24 23:12:39 +0200 | lavaman | (~lavaman@98.38.249.169) |
| 2021-10-24 23:13:34 +0200 | mcglk_ | (~mcglk@131.191.49.120) (Quit: (zzz)) |
| 2021-10-24 23:13:45 +0200 | ubert | (~Thunderbi@91.141.57.54.wireless.dyn.drei.com) (Ping timeout: 260 seconds) |
| 2021-10-24 23:14:21 +0200 | acidjnk_new | (~acidjnk@p200300d0c703cb555575e56a44659e48.dip0.t-ipconnect.de) |
| 2021-10-24 23:16:22 +0200 | <koz> | Is there any guides or instructions on how to do a 2-column layout with 'pretty'? |
| 2021-10-24 23:16:53 +0200 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 244 seconds) |
| 2021-10-24 23:18:01 +0200 | acidjnk_new3 | (~acidjnk@p200300d0c703cb55ecd1c0be3c49da81.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2021-10-24 23:18:32 +0200 | fluffyballoon | (~user@131.93.208.196) |
| 2021-10-24 23:19:04 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2021-10-24 23:19:37 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 23:24:50 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-10-24 23:27:36 +0200 | burnsidesLlama | (~burnsides@client-8-77.eduroam.oxuni.org.uk) |
| 2021-10-24 23:28:53 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 23:30:02 +0200 | jgeerds | (~jgeerds@55d40de2.access.ecotel.net) |
| 2021-10-24 23:31:43 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2021-10-24 23:32:37 +0200 | burnsidesLlama | (~burnsides@client-8-77.eduroam.oxuni.org.uk) (Remote host closed the connection) |
| 2021-10-24 23:33:14 +0200 | burnsidesLlama | (~burnsides@dhcp168-012.wadham.ox.ac.uk) |
| 2021-10-24 23:35:13 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:ab53:1c93:684e:f2ba) (Remote host closed the connection) |
| 2021-10-24 23:35:25 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:95ab:c391:8962:61e4) |
| 2021-10-24 23:37:03 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) |
| 2021-10-24 23:41:20 +0200 | Hayek | (~xxx@2603-8000-b401-6099-b41b-43a8-70e4-3938.res6.spectrum.com) (Ping timeout: 258 seconds) |
| 2021-10-24 23:42:55 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-10-24 23:51:21 +0200 | jstolarek | (~jstolarek@137.220.120.162) (Ping timeout: 245 seconds) |
| 2021-10-24 23:52:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-10-24 23:53:11 +0200 | cheater | (~Username@user/cheater) (Ping timeout: 264 seconds) |
| 2021-10-24 23:54:46 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-10-24 23:55:06 +0200 | Gurkenglas | (~Gurkengla@dslb-002-203-144-204.002.203.pools.vodafone-ip.de) |
| 2021-10-24 23:55:28 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-10-24 23:56:40 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 244 seconds) |
| 2021-10-24 23:57:33 +0200 | cjb | (~cjbayliss@user/cjb) |
| 2021-10-24 23:59:17 +0200 | myShoggoth | (~myShoggot@97-120-85-195.ptld.qwest.net) |
| 2021-10-24 23:59:38 +0200 | cheater | (~Username@user/cheater) |
