Logs: liberachat/#haskell
| 2021-08-14 18:55:03 | <hpc> | heh |
| 2021-08-14 18:55:04 | <mikko> | i think the arguments need to be flipped somehow but i think i'm using "flip" wrong |
| 2021-08-14 18:55:06 | × | vito quits (sid1962@user/vito) (Ping timeout: 240 seconds) |
| 2021-08-14 18:55:06 | × | whez quits (sid470288@id-470288.tooting.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:55:07 | × | amir quits (sid22336@user/amir) (Ping timeout: 245 seconds) |
| 2021-08-14 18:55:11 | ← | haowenl parts (~Thunderbi@066-215-230-039.res.spectrum.com) () |
| 2021-08-14 18:55:17 | × | jakesyl quits (sid56879@id-56879.stonehaven.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-14 18:55:18 | × | aria quits (sid380617@id-380617.tooting.irccloud.com) (Ping timeout: 268 seconds) |
| 2021-08-14 18:55:23 | <hpc> | mikko: you're running into syntactic issues |
| 2021-08-14 18:55:24 | × | T_S_ quits (sid501726@id-501726.highgate.irccloud.com) (Read error: Connection reset by peer) |
| 2021-08-14 18:55:26 | × | enemeth79 quits (sid309041@id-309041.tooting.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-14 18:55:29 | <hpc> | (-1) is negative 1 |
| 2021-08-14 18:55:30 | × | hamishmack quits (sid389057@id-389057.stonehaven.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:55:30 | × | aarchi quits (sid486183@id-486183.highgate.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:55:30 | × | systemfault quits (sid267009@id-267009.highgate.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:55:30 | × | NemesisD quits (sid24071@id-24071.tooting.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:55:30 | × | SrPx quits (sid108780@id-108780.highgate.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:55:32 | × | gmc quits (sid58314@id-58314.charlton.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-14 18:55:34 | <hpc> | try (subtract 1) |
| 2021-08-14 18:55:35 | × | lbseale quits (~lbseale@user/ep1ctetus) (Remote host closed the connection) |
| 2021-08-14 18:55:40 | × | SanchayanMaity quits (sid478177@id-478177.stonehaven.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-14 18:55:40 | × | tritlo quits (sid58727@user/tritlo) (Ping timeout: 258 seconds) |
| 2021-08-14 18:55:40 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (Ping timeout: 258 seconds) |
| 2021-08-14 18:55:54 | × | hendi quits (sid489601@id-489601.tooting.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:55:55 | × | degraafk quits (sid71464@id-71464.tooting.irccloud.com) (Ping timeout: 268 seconds) |
| 2021-08-14 18:55:55 | × | truckasaurus quits (sid457088@id-457088.brockwell.irccloud.com) (Ping timeout: 268 seconds) |
| 2021-08-14 18:55:56 | <hpc> | :t (-1) |
| 2021-08-14 18:55:57 | × | iphy quits (sid67735@id-67735.tooting.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-14 18:55:57 | <lambdabot> | Num a => a |
| 2021-08-14 18:55:59 | <hpc> | :t subtract 1 |
| 2021-08-14 18:56:00 | <lambdabot> | Num a => a -> a |
| 2021-08-14 18:56:03 | <mikko> | huh, i didn't know subtract is a thing, thanks |
| 2021-08-14 18:56:03 | × | joel135 quits (sid136450@id-136450.stonehaven.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-14 18:56:03 | × | conjunctive quits (sid433686@id-433686.brockwell.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-14 18:56:03 | × | kaizen quits (sid501599@id-501599.brockwell.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-14 18:56:04 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 2021-08-14 18:56:08 | × | cbarrett quits (sid192934@id-192934.brockwell.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-14 18:56:08 | × | PotatoGim quits (sid99505@id-99505.tooting.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-14 18:56:12 | × | rubin55___ quits (sid175221@id-175221.stonehaven.irccloud.com) (Ping timeout: 272 seconds) |
| 2021-08-14 18:56:13 | <hololeap> | there is also pred |
| 2021-08-14 18:56:14 | × | totbwf__ quits (sid402332@id-402332.highgate.irccloud.com) (Read error: Connection reset by peer) |
| 2021-08-14 18:56:14 | × | hsiktas quits (sid224847@id-224847.tooting.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-14 18:56:16 | <hololeap> | :t pred |
| 2021-08-14 18:56:17 | <lambdabot> | Enum a => a -> a |
| 2021-08-14 18:56:22 | × | ephemient quits (uid407513@id-407513.tooting.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-14 18:56:23 | <hololeap> | > pred 4 |
| 2021-08-14 18:56:24 | × | angerman quits (sid209936@id-209936.charlton.irccloud.com) (Ping timeout: 276 seconds) |
| 2021-08-14 18:56:24 | <lambdabot> | 3 |
| 2021-08-14 18:56:34 | × | hook54321 quits (sid149355@user/hook54321) (Ping timeout: 256 seconds) |
| 2021-08-14 18:56:39 | → | SrPx joins (sid108780@highgate.irccloud.com) |
| 2021-08-14 18:56:41 | × | supersven quits (uid501114@id-501114.charlton.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-14 18:56:42 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 240 seconds) |
| 2021-08-14 18:56:47 | × | S11001001 quits (sid42510@id-42510.charlton.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-14 18:56:51 | → | T_S_ joins (sid501726@highgate.irccloud.com) |
| 2021-08-14 18:56:52 | <sm> | > (-(1)) 3 |
| 2021-08-14 18:56:53 | <lambdabot> | error: |
| 2021-08-14 18:56:53 | <lambdabot> | • Could not deduce (Num t0) |
| 2021-08-14 18:56:53 | <lambdabot> | from the context: (Num t, Num (t -> t1)) |
| 2021-08-14 18:57:00 | × | elvishjerricco quits (sid237756@id-237756.brockwell.irccloud.com) (Read error: Connection reset by peer) |
| 2021-08-14 18:57:06 | × | carter quits (sid14827@id-14827.brockwell.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:57:12 | × | stevenxl quits (uid133530@id-133530.highgate.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-14 18:57:12 | × | dsal quits (sid13060@id-13060.tooting.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-14 18:57:15 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 2021-08-14 18:57:25 | <mikko> | oh, pred is even better! |
| 2021-08-14 18:57:33 | → | degraafk joins (sid71464@tooting.irccloud.com) |
| 2021-08-14 18:57:34 | × | travv0 quits (sid293381@user/travv0) (Read error: Connection reset by peer) |
| 2021-08-14 18:57:35 | <hpc> | i would stick to subtract though, even if just to ward off the inevitable "why are you using an Enum operation on floats" |
| 2021-08-14 18:57:37 | × | tapas quits (sid467876@id-467876.charlton.irccloud.com) (Ping timeout: 245 seconds) |
| 2021-08-14 18:57:43 | → | enemeth79 joins (sid309041@tooting.irccloud.com) |
| 2021-08-14 18:57:46 | → | cbarrett joins (sid192934@brockwell.irccloud.com) |
| 2021-08-14 18:57:54 | × | alanz quits (sid110616@id-110616.highgate.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:57:56 | <hpc> | why should pred 5.0 be 4.0 when it could also be 4.9? |
| 2021-08-14 18:57:57 | → | whez joins (sid470288@tooting.irccloud.com) |
| 2021-08-14 18:57:57 | → | conjunctive joins (sid433686@brockwell.irccloud.com) |
| 2021-08-14 18:58:06 | <mikko> | the thing is i'm training for code golf :D |
| 2021-08-14 18:58:10 | <hololeap> | hpc: where would I start to begin learning about how types are assertions and values are proofs? I lack the fundamentals to even comprehend that. |
| 2021-08-14 18:58:11 | <hpc> | oh hah |
| 2021-08-14 18:58:16 | × | mrianbloom quits (sid350277@id-350277.charlton.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-14 18:58:16 | × | integral quits (sid296274@user/integral) (Ping timeout: 256 seconds) |
| 2021-08-14 18:58:16 | × | feepo quits (sid28508@id-28508.brockwell.irccloud.com) (Ping timeout: 256 seconds) |
| 2021-08-14 18:58:18 | × | cln quits (sid336875@id-336875.charlton.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:58:20 | × | davetapley quits (sid666@id-666.highgate.irccloud.com) (Read error: Connection reset by peer) |
| 2021-08-14 18:58:21 | × | nrr quits (sid20938@id-20938.tooting.irccloud.com) (Ping timeout: 276 seconds) |
| 2021-08-14 18:58:21 | × | b20n quits (sid115913@id-115913.highgate.irccloud.com) (Ping timeout: 276 seconds) |
| 2021-08-14 18:58:21 | × | bjs quits (sid190364@user/bjs) (Ping timeout: 258 seconds) |
| 2021-08-14 18:58:26 | × | dpratt_ quits (sid193493@id-193493.brockwell.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-14 18:58:26 | × | gregberns__ quits (sid315709@id-315709.brockwell.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-14 18:58:36 | → | systemfault joins (sid267009@highgate.irccloud.com) |
| 2021-08-14 18:58:41 | <sm> | nice. I had resorted to (+(negate 1)) |
| 2021-08-14 18:58:42 | × | NiKaN quits (sid385034@id-385034.brockwell.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:58:44 | × | jonrh quits (sid5185@id-5185.charlton.irccloud.com) (Ping timeout: 250 seconds) |
| 2021-08-14 18:58:53 | × | fvr quits (uid503686@id-503686.highgate.irccloud.com) (Ping timeout: 252 seconds) |
| 2021-08-14 18:58:54 | <hololeap> | why in the world does Float even have an Enum instance? |
| 2021-08-14 18:59:01 | → | elvishjerricco joins (sid237756@brockwell.irccloud.com) |
| 2021-08-14 18:59:06 | × | scav quits (sid309693@id-309693.brockwell.irccloud.com) (Ping timeout: 240 seconds) |
| 2021-08-14 18:59:07 | × | Adeon quits (sid418992@id-418992.tooting.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-14 18:59:07 | × | Pent quits (sid313808@id-313808.tooting.irccloud.com) (Ping timeout: 258 seconds) |
| 2021-08-14 18:59:17 | → | travv0 joins (sid293381@user/travv0) |
| 2021-08-14 18:59:20 | <hpc> | hololeap: start with "curry-howard correspondance" perhaps |
| 2021-08-14 18:59:20 | → | hook54321 joins (sid149355@user/hook54321) |
All times are in UTC.