Logs: freenode/#haskell
| 2021-04-09 21:41:13 | × | srk quits (~sorki@unaffiliated/srk) (Ping timeout: 268 seconds) |
| 2021-04-09 21:41:37 | <hpc> | there's a website that shows how to escape strings in yaml |
| 2021-04-09 21:41:53 | <hpc> | it's got like 15 checkboxes for what syntax you want to use :( |
| 2021-04-09 21:42:00 | × | coot quits (~coot@37.30.50.130.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-04-09 21:42:04 | <monochrom> | The fundamental problem I see is that there are people who don't realize that \n is an escape code. |
| 2021-04-09 21:42:40 | <monochrom> | As usual, PEBKAC |
| 2021-04-09 21:42:44 | × | Sorna quits (~Sornaensi@102.129.202.233) (Read error: Connection reset by peer) |
| 2021-04-09 21:42:50 | <infinisil> | In the bot I kind of sidestepped that issue because IRC can't send linebreaks :P |
| 2021-04-09 21:44:26 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-04-09 21:44:49 | <monochrom> | I gave a C-and-unix assignment to students that required writing a program that accepts IPv4 socket connections and converses in an ascii protocol I specified. Newlines are involved. |
| 2021-04-09 21:44:55 | × | Sorny quits (~Sornaensi@077213203030.dynamic.telenor.dk) (Ping timeout: 268 seconds) |
| 2021-04-09 21:45:27 | <monochrom> | I had students who, when hand-testing it by netcat and hand-entering protocol messages, seriously believed that they were to enter backslash n. |
| 2021-04-09 21:46:47 | × | kaction quits (~kaction@ppsr.interfacefinancial.com) (Ping timeout: 268 seconds) |
| 2021-04-09 21:47:50 | <monochrom> | There is only one tool that will help them, and it doesn't yet exist. |
| 2021-04-09 21:48:04 | <monochrom> | The tool would take input e.g. abc\t\n |
| 2021-04-09 21:48:14 | <monochrom> | The tool would output this animation: |
| 2021-04-09 21:48:43 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-04-09 21:49:07 | <monochrom> | a picture of keyboard is show. a finger moves to the A, pushes it. moves to the B, pushes it. moves to the C, pushes it. moves to the tab key, pushes it. moves to the return key, pushes it. |
| 2021-04-09 21:49:27 | <monochrom> | I am not sure this tool should exist. |
| 2021-04-09 21:50:06 | <monochrom> | Just how much handholding and spoonfeeing is too much? Is there a bottom line? |
| 2021-04-09 21:52:49 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 2021-04-09 21:55:10 | → | johnw joins (~johnw@haskell/developer/johnw) |
| 2021-04-09 21:56:02 | × | hyperisco quits (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 268 seconds) |
| 2021-04-09 21:59:18 | <johnw> | Is polysemy still the "current" library to use if I want algebraic effects? |
| 2021-04-09 21:59:31 | → | Guest182 joins (~laudiacay@67.176.215.84) |
| 2021-04-09 22:00:27 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-04-09 22:04:07 | × | Guest182 quits (~laudiacay@67.176.215.84) (Ping timeout: 260 seconds) |
| 2021-04-09 22:04:52 | → | hypercube joins (hypercube@gateway/vpn/protonvpn/hypercube) |
| 2021-04-09 22:05:24 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-04-09 22:07:29 | → | todda7 joins (~torstein@athedsl-09242.home.otenet.gr) |
| 2021-04-09 22:09:42 | × | hpc quits (~juzz@ip98-169-35-13.dc.dc.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-09 22:09:59 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-04-09 22:10:01 | × | gitgood quits (~gitgood@80-44-10-151.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 2021-04-09 22:10:07 | <maerwald> | it's established that it's slow and the only solution for that requires a ghc patch that's not merged |
| 2021-04-09 22:11:29 | → | hpc joins (~juzz@ip98-169-35-13.dc.dc.cox.net) |
| 2021-04-09 22:13:15 | × | Zialus_PT quits (~RMF@2001:818:de63:c300:211:32ff:fe8d:ad29) (Quit: i'm out!) |
| 2021-04-09 22:14:12 | <wroathe> | monochrom: That THIH paper is great, but he's already managed to lose me on page 17 (when discussing entailment) :P I'll figure it out though. |
| 2021-04-09 22:14:13 | <yushyin> | the primops thingy from lexi-lambda? |
| 2021-04-09 22:16:41 | × | raichoo quits (~raichoo@dslb-092-073-202-075.092.073.pools.vodafone-ip.de) (Quit: Lost terminal) |
| 2021-04-09 22:17:07 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 252 seconds) |
| 2021-04-09 22:23:03 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-04-09 22:26:38 | → | royal_screwup219 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-09 22:27:45 | → | DTZUZU joins (~DTZUZO@205.ip-149-56-132.net) |
| 2021-04-09 22:30:15 | → | nut joins (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-09 22:30:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-09 22:31:47 | × | royal_screwup219 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-09 22:31:47 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-04-09 22:31:55 | × | jespada quits (~jespada@90.254.243.187) (Quit: Leaving) |
| 2021-04-09 22:32:10 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-04-09 22:32:11 | × | fiedlr_ quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-09 22:32:34 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-09 22:33:06 | × | fiedlr quits (~fiedlr@83.148.33.254) (Remote host closed the connection) |
| 2021-04-09 22:35:25 | → | Guest182 joins (~laudiacay@67.176.215.84) |
| 2021-04-09 22:37:23 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-04-09 22:38:57 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-04-09 22:42:54 | → | dscho joins (~dscho@178.239.168.171) |
| 2021-04-09 22:47:56 | → | kaction joins (~kaction@ppsr.interfacefinancial.com) |
| 2021-04-09 22:50:49 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-04-09 22:52:05 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-04-09 22:52:26 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-2-51.w83-200.abo.wanadoo.fr) |
| 2021-04-09 22:53:19 | × | solvr quits (57e3c46d@87.227.196.109) (Quit: Connection closed) |
| 2021-04-09 22:58:29 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-04-09 22:59:05 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-09 22:59:52 | → | fiedlr joins (~fiedlr@83.148.33.254) |
| 2021-04-09 22:59:52 | × | Guest182 quits (~laudiacay@67.176.215.84) (Changing host) |
| 2021-04-09 22:59:52 | → | Guest182 joins (~laudiacay@tjctf/organizer/laudiacay) |
| 2021-04-09 23:00:04 | Guest182 | is now known as laudiacay |
| 2021-04-09 23:00:15 | <laudiacay> | nother dummy question |
| 2021-04-09 23:00:37 | <laudiacay> | so i have a function that has type a -> b -> c -> d -> e |
| 2021-04-09 23:00:47 | <laudiacay> | and ive got a maybe a, but i want a maybe e |
| 2021-04-09 23:01:03 | <laudiacay> | how do i applicative only the first argument, neatly, without a case statement |
| 2021-04-09 23:02:36 | <arahael1> | fmal |
| 2021-04-09 23:02:38 | <monochrom> | Convert to g :: b->c->d->a->e. Then fmap (g b0 c0 d0) :: Maybe a -> Maybe e |
| 2021-04-09 23:02:41 | <arahael1> | fmap, rather. |
| 2021-04-09 23:03:18 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-04-09 23:03:21 | <hpc> | alternatively, perhaps something like \ma b c d -> f <*> ma <*> pure b <*> pure c <*> pure d |
| 2021-04-09 23:03:52 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-04-09 23:04:11 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-04-09 23:05:01 | × | acidjnk_new quits (~acidjnk@p200300d0c72b959958a3ac6e8e4310de.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-04-09 23:05:07 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 2021-04-09 23:07:57 | <laudiacay> | how do i make that conversion? |
| 2021-04-09 23:08:03 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 246 seconds) |
| 2021-04-09 23:08:10 | × | nut quits (~user@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-04-09 23:08:27 | <monochrom> | g b0 c0 d0 a0 = f a0 b0 c0 d0 |
| 2021-04-09 23:08:55 | <laudiacay> | how do i take a maybe (maybe a) and turn it into a maybe a |
| 2021-04-09 23:09:20 | <monochrom> | Do you mind using >>= ? |
| 2021-04-09 23:09:25 | <laudiacay> | nope |
| 2021-04-09 23:09:44 | arahael1 | is now known as Arahael |
| 2021-04-09 23:09:50 | <monochrom> | x >>= \y -> y |
| 2021-04-09 23:09:51 | <laudiacay> | it turns out that function had a type of a -> b -> c -> d -> maybe e |
| 2021-04-09 23:10:02 | <laudiacay> | and i want to have a maybe e anyway |
| 2021-04-09 23:10:05 | <laudiacay> | so maybe not fmap |
| 2021-04-09 23:10:10 | <laudiacay> | wait this is starting to look like a bind |
| 2021-04-09 23:10:12 | <laudiacay> | hold on |
| 2021-04-09 23:10:18 | <monochrom> | >>= is bind |
| 2021-04-09 23:10:31 | <laudiacay> | oh the answer ended up being |
| 2021-04-09 23:10:41 | × | __minoru__shirae quits (~shiraeesh@46.34.206.174) (Ping timeout: 240 seconds) |
| 2021-04-09 23:10:43 | <laudiacay> | (maybe_a) >>= function |
| 2021-04-09 23:10:46 | <laudiacay> | and then i got a maybe e out |
| 2021-04-09 23:11:25 | <laudiacay> | hon hon hon i feel fancy now |
All times are in UTC.