Logs: freenode/#haskell
| 2021-05-16 11:16:03 | <Schrostfutz> | __monty__: Okay, I'm trying to wrap my head around that, thanks! |
| 2021-05-16 11:16:37 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-16 11:20:03 | × | acidjnk_new quits (~acidjnk@p200300d0c72b95208d2194a61b0d7b67.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-16 11:20:25 | <Schrostfutz> | Ah, now I understood. I actually tried using return before but with $ just because I mostly saw it used with that so far. Probably that messed up the associativity. |
| 2021-05-16 11:21:02 | <__monty__> | Yeah, feel free to pretend $ doesn't exist for now, just use parentheses. |
| 2021-05-16 11:21:40 | <Schrostfutz> | Alright. In the code above I should also probably use pure over return because Applicative is weaker than a Monad. |
| 2021-05-16 11:23:52 | <tomjaguarpaw> | It seems like I want a backwards version of trace that prints its message *after* something has been evaluated, something like ecart :: String -> a -> a; ecart msg a = seq a (trace msg a) . Has anyone else very wanted that or am I thinking about this wrong? |
| 2021-05-16 11:25:55 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-16 11:25:57 | <tomjaguarpaw> | *ever wanted that |
| 2021-05-16 11:27:20 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-16 11:29:17 | × | juuandyy quits (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-16 11:31:18 | → | sagax joins (~sagax_nb@213.138.71.146) |
| 2021-05-16 11:32:16 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-05-16 11:33:03 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:8c8b:ebd7:353b:3970) (Ping timeout: 250 seconds) |
| 2021-05-16 11:33:48 | × | LKoen quits (~LKoen@2a01cb0407597a004d60e6b5637735bc.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-16 11:34:54 | <kilolympus> | Is there any way to achieve this? f x a b c d e f g.... -> f a b c d e f g.... x |
| 2021-05-16 11:35:10 | <kilolympus> | Mainly for syntactic cleanness for my DSL |
| 2021-05-16 11:35:40 | → | rdivyanshu joins (sid322626@gateway/web/irccloud.com/x-svjqbhamqhuglbzu) |
| 2021-05-16 11:37:48 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:e1fb:f26b:5787:688a) |
| 2021-05-16 11:38:29 | <tomjaguarpaw> | @type flip . fmap flip . (fmap . fmap) flip . (fmap . fmap . fmap) flip |
| 2021-05-16 11:38:30 | <lambdabot> | (a1 -> a2 -> a3 -> a4 -> b -> c) -> b -> a1 -> a2 -> a3 -> a4 -> c |
| 2021-05-16 11:39:08 | <tomjaguarpaw> | @type (fmap . fmap . fmap) flip . (fmap . fmap) flip . fmap flip . flip |
| 2021-05-16 11:39:10 | <lambdabot> | (a -> b1 -> b2 -> b3 -> b4 -> c) -> b1 -> b2 -> b3 -> b4 -> a -> c |
| 2021-05-16 11:39:27 | <tomjaguarpaw> | kilolympus: I guess you wanted the second one. I'm not sure how to make that simpler though |
| 2021-05-16 11:40:20 | × | xenon- quits (~bc817c21@217.29.117.252) (Quit: http://www.okay.uz/ (Ping timeout)) |
| 2021-05-16 11:40:49 | <kilolympus> | Hmm |
| 2021-05-16 11:41:05 | <kilolympus> | That's exactly what I want, but with arbitrary elements |
| 2021-05-16 11:41:09 | <kilolympus> | s/elements/arguments |
| 2021-05-16 11:41:16 | <kilolympus> | which makes it much more difficult |
| 2021-05-16 11:41:35 | <kilolympus> | Maybe I'll take a look at redesigning my DSL then |
| 2021-05-16 11:42:02 | → | xenon- joins (~bc817c21@217.29.117.252) |
| 2021-05-16 11:42:04 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:e1fb:f26b:5787:688a) (Ping timeout: 245 seconds) |
| 2021-05-16 11:42:45 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 2021-05-16 11:43:17 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-16 11:45:55 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-16 11:46:14 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-16 11:48:50 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-16 11:51:01 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-16 11:52:09 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-16 11:53:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-16 11:54:28 | → | dsrt^ joins (~hph@ip98-184-89-2.mc.at.cox.net) |
| 2021-05-16 11:54:46 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-16 11:56:02 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-05-16 11:56:07 | → | drbean_ joins (~drbean@TC210-63-209-154.static.apol.com.tw) |
| 2021-05-16 11:56:26 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-16 11:56:58 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-16 11:57:49 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-05-16 11:59:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-16 11:59:32 | → | Deide joins (~Deide@217.155.19.23) |
| 2021-05-16 11:59:39 | → | LKoen joins (~LKoen@2a01cb0407597a007cd760cb85ed420d.ipv6.abo.wanadoo.fr) |
| 2021-05-16 12:01:52 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-16 12:11:33 | → | ddellacosta joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-16 12:14:01 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 2021-05-16 12:14:07 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-16 12:17:06 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-16 12:18:51 | × | ixlun quits (~user@109.249.184.235) (Read error: Connection reset by peer) |
| 2021-05-16 12:20:05 | × | LKoen quits (~LKoen@2a01cb0407597a007cd760cb85ed420d.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-16 12:20:17 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-16 12:20:52 | × | trepanger_ quits (~z@ics141-225.icsincorporated.com) (Ping timeout: 252 seconds) |
| 2021-05-16 12:25:52 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 2021-05-16 12:26:16 | Alleria | is now known as Guest53193 |
| 2021-05-16 12:26:36 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-16 12:28:05 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-16 12:32:59 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-16 12:33:47 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-16 12:35:12 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 2021-05-16 12:36:05 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 246 seconds) |
| 2021-05-16 12:36:23 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-16 12:36:42 | <kuribas> | is there a template haskell function to remove qualifiers? For example: GHC.Base.<> => <> |
| 2021-05-16 12:38:16 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2021-05-16 12:40:09 | <kuribas> | it's just for pretty printing |
| 2021-05-16 12:40:25 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-16 12:41:07 | × | rond_ quits (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-05-16 12:41:11 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-16 12:42:13 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 2021-05-16 12:44:43 | → | dmytrish_ joins (~mitra@37.228.247.154) |
| 2021-05-16 12:47:06 | × | zephyz quits (~zephyz@109.175.155.98) (Quit: zephyz) |
| 2021-05-16 12:48:14 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-05-16 12:49:53 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 240 seconds) |
| 2021-05-16 12:50:03 | × | rusua quits (uid124537@gateway/web/irccloud.com/x-cfwpbwrvytymqnad) (Quit: Connection closed for inactivity) |
| 2021-05-16 12:51:18 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-05-16 12:52:30 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-16 12:55:13 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-16 12:56:03 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:8dd2:2363:77ad:18a2) |
| 2021-05-16 12:56:30 | → | guriya joins (a0ee4bc4@unaffiliated/guriya) |
| 2021-05-16 12:57:04 | <guriya> | someone here write python inspired from haskell? |
| 2021-05-16 12:57:33 | × | dsrt^ quits (~hph@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-16 12:57:55 | → | dsrt^ joins (caef@ip98-184-89-2.mc.at.cox.net) |
| 2021-05-16 12:57:58 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-16 12:58:03 | <Logio> | it's generally not worth the trouble to emulate Haskellisms in Python |
| 2021-05-16 12:58:07 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-16 12:58:27 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-16 12:58:37 | <Logio> | it just makes you pine for purity even more than writing python in general |
| 2021-05-16 12:59:37 | <juri_> | i've had a haskell program i've written re-written in python at least three times. all of that effort was wasted, sadly. |
| 2021-05-16 13:00:09 | <kuribas> | juri_: just why? |
| 2021-05-16 13:00:26 | <juri_> | kuribas: people don't want to learn haskell, so they emulate it, badly. |
| 2021-05-16 13:03:26 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-16 13:03:42 | <juri_> | at least one of the rewrites was written to get around the license, and was a commercial success, however. |
| 2021-05-16 13:04:05 | juri_ | makes obscene gestures in that paticular user's direction. |
| 2021-05-16 13:04:08 | → | ddellacosta joins (~ddellacos@86.106.143.59) |
All times are in UTC.