Newest at the top
| 2024-05-31 23:08:02 +0200 | <EvanR> | many moons ago some jackass disagreed and uploaded the spoon package xD |
| 2024-05-31 23:07:54 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-31 23:07:24 +0200 | <monochrom> | More seriously, bottoms are not accessible in code so it doesn't help to count them. |
| 2024-05-31 23:06:04 +0200 | <EvanR> | the haskell value not mentionable in polite company |
| 2024-05-31 23:05:36 +0200 | <monochrom> | "we don't talk about that here" :) |
| 2024-05-31 23:05:24 +0200 | <EvanR> | how many is that if you count bottoms xD |
| 2024-05-31 23:05:23 +0200 | <ncf> | yeah |
| 2024-05-31 23:04:44 +0200 | <ncf> | does that work |
| 2024-05-31 23:04:39 +0200 | <ncf> | type Fin100 = (Bool, Bool, Maybe (Bool, Bool, Bool, Maybe Bool)) |
| 2024-05-31 23:03:46 +0200 | <ncf> | whatever |
| 2024-05-31 23:03:45 +0200 | <ncf> | Pair a = a + a |
| 2024-05-31 23:03:39 +0200 | <ncf> | er not Pair |
| 2024-05-31 23:02:51 +0200 | <ncf> | type Fin100 = Pair (Pair (Maybe (Pair (Pair (Pair (Maybe (Pair ()))))))) |
| 2024-05-31 23:01:29 +0200 | <lambdabot> | *Exception: Prelude.Enum.Bool.toEnum: bad argument |
| 2024-05-31 23:01:27 +0200 | <EvanR> | > toEnum 7 :: Bool |
| 2024-05-31 23:00:45 +0200 | <EvanR> | nice |
| 2024-05-31 23:00:25 +0200 | <monochrom> | deriving Enum then x+y = toEnum (fromEnum x + fromEnum y) |
| 2024-05-31 23:00:12 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-05-31 22:55:30 +0200 | <EvanR> | then write a script to produce the addition algorithm |
| 2024-05-31 22:55:18 +0200 | <EvanR> | data Fin100 ftw |
| 2024-05-31 22:54:40 +0200 | <EvanR> | that's like spice level 5 at suko thai |
| 2024-05-31 22:54:23 +0200 | <monochrom> | -50 to +50 except 0 is spicier. |
| 2024-05-31 22:54:09 +0200 | <ncf> | data Fin100 = F0 | F1 | ... | F99 |
| 2024-05-31 22:53:54 +0200 | <EvanR> | tolerance for spice levels vary |
| 2024-05-31 22:53:53 +0200 | <monochrom> | Oh heh OK |
| 2024-05-31 22:53:31 +0200 | <EvanR> | it seems spicier, I don't know about better |
| 2024-05-31 22:53:03 +0200 | <monochrom> | Why is 1 to 100 better than 0 to 99? |
| 2024-05-31 22:52:21 +0200 | <EvanR> | at the very least spice it up and make the require arguments 1 to 100 |
| 2024-05-31 22:51:47 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Quit: Leaving) |
| 2024-05-31 22:50:51 +0200 | <monochrom> | Sorry! I will in comments explain that it is unsatisfactory but it's just a weekly tutorial toy exercise. |
| 2024-05-31 22:50:43 +0200 | <Rembane> | Exciting! |
| 2024-05-31 22:50:26 +0200 | <monochrom> | And to your horror, I have decided to commit both crimes. |
| 2024-05-31 22:50:24 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 2024-05-31 22:50:03 +0200 | <monochrom> | Unfortunately I am only teaching elementary Haskell so I cannot use type-level numbers for this. |
| 2024-05-31 22:46:10 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) |
| 2024-05-31 22:45:52 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection) |
| 2024-05-31 22:45:02 +0200 | average | (uid473595@user/average) (Quit: Connection closed for inactivity) |
| 2024-05-31 22:43:46 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-31 22:42:23 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-31 22:41:52 +0200 | <EvanR> | Fin 100 |
| 2024-05-31 22:40:54 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-31 22:40:34 +0200 | <dmj`> | monochrom: maybe use the latter, but with Nat. foo :: (0 <= n, n <= 99, KnownNat n) => Proxy n -> Double , and you can be forgiven. |
| 2024-05-31 22:38:27 +0200 | mud | (~mud@user/kadoban) |
| 2024-05-31 22:37:47 +0200 | mud | (~mud@user/kadoban) (Ping timeout: 264 seconds) |
| 2024-05-31 22:36:11 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) |
| 2024-05-31 22:35:52 +0200 | andrei_n | (~andrei.n@2a02:a03f:c091:a800:7a1c:ed14:ce2e:23b1) (Remote host closed the connection) |
| 2024-05-31 22:32:16 +0200 | <EvanR> | balance restored |
| 2024-05-31 22:32:08 +0200 | <EvanR> | make it Int->Double but the argument must be -50 to +50 and not zero |
| 2024-05-31 22:27:17 +0200 | Guest184 | (~user@72.2.12.179) (Remote host closed the connection) |
| 2024-05-31 22:22:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |