Logs: freenode/#haskell
| 2021-04-09 16:01:49 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.91) |
| 2021-04-09 16:02:31 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 265 seconds) |
| 2021-04-09 16:02:33 | <ski> | @type traverse :: Applicative i => (var0 -> i var1) -> (MyExpr var0 -> i (MyExpr var1)) |
| 2021-04-09 16:02:34 | <lambdabot> | Applicative i => (var0 -> i var1) -> MyExpr var0 -> i (MyExpr var1) |
| 2021-04-09 16:02:36 | <ski> | @type (=<<) :: (var0 -> MyExpr var1) -> (MyExpr var0 -> MyExpr var1) |
| 2021-04-09 16:02:37 | cheater1 | is now known as cheater |
| 2021-04-09 16:02:38 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-09 16:02:38 | <lambdabot> | (var0 -> MyExpr var1) -> MyExpr var0 -> MyExpr var1 |
| 2021-04-09 16:02:39 | <ski> | @type let subst :: (var0 -> MyExpr var0) -> (MyExpr var0 -> MyExpr var1); subst env expr = do var <- expr; subst env (env var) in subst |
| 2021-04-09 16:02:40 | <lambdabot> | (var0 -> MyExpr var0) -> MyExpr var0 -> MyExpr var1 |
| 2021-04-09 16:02:43 | <ski> | thblt ^ |
| 2021-04-09 16:02:43 | × | Chousuke quits (oranenj@coffee.modeemi.fi) (Read error: Connection reset by peer) |
| 2021-04-09 16:02:55 | → | Chousuke joins (oranenj@coffee.modeemi.fi) |
| 2021-04-09 16:03:11 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-09 16:04:06 | <ski> | > And (Variable 'x') (Or (Variable 'y') (Variable 'x')) >>= \case 'x' -> T; 'y' -> And (Variable "bork") F |
| 2021-04-09 16:04:07 | <lambdabot> | And T (Or (And (Variable "bork") F) T) |
| 2021-04-09 16:04:17 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-04-09 16:05:41 | × | LKoen quits (~LKoen@65.250.88.92.rev.sfr.net) (Remote host closed the connection) |
| 2021-04-09 16:06:03 | × | cads2 quits (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 252 seconds) |
| 2021-04-09 16:07:16 | <ski> | @let foldExpr :: o -> o -> (o -> o -> o) -> (o -> o -> o) -> (var -> o) -> (MyExpr var -> o); foldExpr f t or and variable = loop where loop F = f; loop T = t; loop (Or e0 e1) = or (loop e0) (loop e1); loop (And e0 e1) = and (loop e0) (loop e1); loop (Variable var) = variable var |
| 2021-04-09 16:07:18 | <lambdabot> | Defined. |
| 2021-04-09 16:07:30 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-09 16:07:39 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-09 16:07:52 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-09 16:07:52 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-09 16:08:09 | → | Sgeo_ joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 2021-04-09 16:08:27 | <ski> | @let evalExpr :: (var -> Bool) -> (MyExpr var -> Bool); evalExpr = foldExpr False True (||) (&&) |
| 2021-04-09 16:08:29 | <lambdabot> | Defined. |
| 2021-04-09 16:08:51 | <c_wraith> | a wild catamorphism has appeared |
| 2021-04-09 16:08:56 | <ski> | > evalExpr (\case 'x' -> True; 'y' -> False) (And (Variable 'x') (Or (Variable 'y') (Variable 'x'))) |
| 2021-04-09 16:08:58 | <lambdabot> | True |
| 2021-04-09 16:09:19 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 2021-04-09 16:09:58 | × | kuribas quits (~user@ptr-25vy0i7x7kt7k06om1o.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-04-09 16:10:04 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-04-09 16:10:07 | <ski> | @let evalExprA :: Applicative i => (var -> i Bool) -> (MyExpr var -> i Bool); evalExpr = foldExpr (pure False) (pure True) (liftA2 (||)) (liftA2 (&&)) |
| 2021-04-09 16:10:08 | <lambdabot> | .L.hs:194:1: error: |
| 2021-04-09 16:10:08 | <lambdabot> | The type signature for ‘evalExprA’ lacks an accompanying binding |
| 2021-04-09 16:10:08 | <lambdabot> | Perhaps you meant ‘evalExpr’ (Defined at .L.hs:192:1) |
| 2021-04-09 16:10:15 | <ski> | @let evalExprA :: Applicative i => (var -> i Bool) -> (MyExpr var -> i Bool); evalExprA = foldExpr (pure False) (pure True) (liftA2 (||)) (liftA2 (&&)) |
| 2021-04-09 16:10:17 | <lambdabot> | Defined. |
| 2021-04-09 16:10:28 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-04-09 16:11:15 | <ski> | > evalExprA (\case 'x' -> Just True; 'y' -> Nothing; 'z' -> Just False) (And (Variable 'x') (Or (Variable 'y') (Variable 'x'))) -- modelling unbound variables by `Maybe' |
| 2021-04-09 16:11:17 | <lambdabot> | Nothing |
| 2021-04-09 16:13:10 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-04-09 16:15:44 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-04-09 16:16:03 | × | geekosaur quits (42d52137@66.213.33.55) (Ping timeout: 240 seconds) |
| 2021-04-09 16:20:43 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 252 seconds) |
| 2021-04-09 16:20:59 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2021-04-09 16:22:45 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-04-09 16:22:47 | → | waleee-cl joins (uid373333@gateway/web/irccloud.com/x-xuirxeygugdwojfv) |
| 2021-04-09 16:22:59 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-04-09 16:23:05 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 2021-04-09 16:27:12 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 2021-04-09 16:27:24 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-04-09 16:27:24 | × | blankshadow quits (~slimespid@115.135.230.105) (Remote host closed the connection) |
| 2021-04-09 16:28:39 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-04-09 16:29:03 | → | LKoen joins (~LKoen@65.250.88.92.rev.sfr.net) |
| 2021-04-09 16:29:29 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-09 16:31:16 | × | Major_Biscuit quits (~Major_Bis@82-169-100-198.biz.kpn.net) (Quit: WeeChat 3.0.1) |
| 2021-04-09 16:31:26 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-04-09 16:33:46 | <nut> | cabal bench --benchmark-option --output result.html |
| 2021-04-09 16:33:57 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-04-09 16:34:00 | <nut> | cabal: Unknown target 'result.html'. |
| 2021-04-09 16:34:08 | <nut> | what's wrong |
| 2021-04-09 16:34:37 | × | ArsenArsen quits (~Arsen@managarm/dev/ArsenArsen) (Quit: bye) |
| 2021-04-09 16:34:40 | → | unyu joins (~pyon@unaffiliated/pyon) |
| 2021-04-09 16:35:56 | → | NinjaTrappeur joins (~ninja@unaffiliated/ninjatrappeur) |
| 2021-04-09 16:36:28 | <fendor> | nut, I think the correct invocation is `cabal bench --benchmark-options="--output result.html"` |
| 2021-04-09 16:36:54 | <fendor> | I think result.html is interpreted as a cabal option |
| 2021-04-09 16:40:08 | → | geekosaur joins (42d52137@66.213.33.55) |
| 2021-04-09 16:41:19 | <nut> | nope |
| 2021-04-09 16:41:38 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Quit: Bye!) |
| 2021-04-09 16:41:51 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Remote host closed the connection) |
| 2021-04-09 16:42:02 | <nut> | invalid option |
| 2021-04-09 16:42:07 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 2021-04-09 16:43:19 | × | shalokshalom quits (~quassel@2a02:1748:dd5e:7f60:cf49:8384:7c93:3106) (Quit: https://quassel-irc.org - Komfortabler Chat. Überall.) |
| 2021-04-09 16:44:20 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 2021-04-09 16:44:22 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 2021-04-09 16:46:04 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-04-09 16:47:33 | × | gxt quits (~gxt@gateway/tor-sasl/gxt) (Ping timeout: 240 seconds) |
| 2021-04-09 16:47:38 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 2021-04-09 16:47:38 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 258 seconds) |
| 2021-04-09 16:48:16 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-04-09 16:48:36 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Client Quit) |
| 2021-04-09 16:48:36 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Client Quit) |
| 2021-04-09 16:49:02 | → | SquidDev joins (~SquidDev@autoclave.squiddev.cc) |
| 2021-04-09 16:49:04 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
| 2021-04-09 16:49:28 | × | ixlun quits (~matthew@213.205.241.25) (Read error: Connection reset by peer) |
| 2021-04-09 16:51:48 | → | fendor_ joins (~fendor@77.119.130.145.wireless.dyn.drei.com) |
| 2021-04-09 16:53:52 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:bc0d:525e:2ac7:f5de) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-04-09 16:54:06 | × | fendor quits (~fendor@178.165.130.18.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 2021-04-09 16:54:20 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 2021-04-09 16:54:48 | <monochrom> | Whoever instructed you to enter "cabal bench --benchmark-option --output result.html" must have been mistaken. --output is not an option of cabal bench. (Take a look at "cabal bench --help".) |
| 2021-04-09 16:55:12 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-evyyevhnqcscuwmd) |
| 2021-04-09 16:55:15 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:bc0d:525e:2ac7:f5de) |
| 2021-04-09 16:57:23 | × | {abby} quits (~{abby}@unaffiliated/demhydraz) (Quit: Bye!) |
| 2021-04-09 16:57:23 | × | SquidDev quits (~SquidDev@autoclave.squiddev.cc) (Quit: Bye!) |
| 2021-04-09 16:58:06 | × | idhugo quits (~idhugo@87-49-147-45-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds) |
| 2021-04-09 16:59:08 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-04-09 16:59:32 | → | {abby} joins (~{abby}@unaffiliated/demhydraz) |
All times are in UTC.