Logs: freenode/#haskell
| 2021-05-16 14:18:20 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 2021-05-16 14:18:44 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 2021-05-16 14:20:52 | × | LKoen quits (~LKoen@lfbn-idf2-1-1523-141.w92-169.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-16 14:23:09 | → | ddellac__ joins (~ddellacos@86.106.143.176) |
| 2021-05-16 14:23:48 | → | jao joins (~jao@pdpc/supporter/professional/jao) |
| 2021-05-16 14:26:55 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-azmheisgydotdkpn) |
| 2021-05-16 14:27:51 | × | ddellac__ quits (~ddellacos@86.106.143.176) (Ping timeout: 260 seconds) |
| 2021-05-16 14:35:37 | → | benin joins (~benin@183.82.177.199) |
| 2021-05-16 14:36:29 | × | ddellacosta quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 246 seconds) |
| 2021-05-16 14:36:51 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds) |
| 2021-05-16 14:40:29 | → | idhugo joins (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) |
| 2021-05-16 14:46:58 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-16 14:48:46 | × | nicholasbulka quits (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-16 14:50:55 | × | ixlun quits (~user@109.249.184.235) (Remote host closed the connection) |
| 2021-05-16 14:51:15 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 2021-05-16 14:51:39 | → | ixlun joins (~user@109.249.184.235) |
| 2021-05-16 14:52:29 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
| 2021-05-16 14:52:37 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-16 14:54:50 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-16 14:55:37 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-16 14:57:00 | → | ddellacosta joins (~ddellacos@86.106.143.189) |
| 2021-05-16 14:59:46 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 240 seconds) |
| 2021-05-16 15:01:41 | × | ddellacosta quits (~ddellacos@86.106.143.189) (Ping timeout: 240 seconds) |
| 2021-05-16 15:02:27 | → | vchlup joins (~vchlup@115.128.broadband17.iol.cz) |
| 2021-05-16 15:06:56 | × | vchlup quits (~vchlup@115.128.broadband17.iol.cz) (Ping timeout: 260 seconds) |
| 2021-05-16 15:07:11 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-16 15:07:33 | → | hmachado joins (~hmachado@185.163.110.100) |
| 2021-05-16 15:09:08 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 2021-05-16 15:11:25 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-16 15:12:24 | × | Gurkenglas quits (~Gurkengla@unaffiliated/gurkenglas) (Remote host closed the connection) |
| 2021-05-16 15:12:49 | → | trepanger_ joins (~z@208.38.228.32) |
| 2021-05-16 15:12:58 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-16 15:14:32 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-16 15:15:04 | → | frozenErebus joins (~frozenEre@37.231.244.249) |
| 2021-05-16 15:15:41 | → | Schrostfutz joins (~Schrostfu@p4fc0a70a.dip0.t-ipconnect.de) |
| 2021-05-16 15:16:26 | → | alx741 joins (~alx741@186.178.108.187) |
| 2021-05-16 15:26:53 | → | malumore joins (~malumore@151.62.113.85) |
| 2021-05-16 15:28:17 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-16 15:30:29 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-16 15:32:53 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-16 15:34:46 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-16 15:34:58 | → | tungki_ joins (uid469991@gateway/web/irccloud.com/x-xceaiesvmlpclmms) |
| 2021-05-16 15:35:30 | tungki_ | is now known as tungki |
| 2021-05-16 15:37:26 | × | oxide quits (~lambda@unaffiliated/mclaren) (Ping timeout: 240 seconds) |
| 2021-05-16 15:37:46 | → | Lycurgus joins (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) |
| 2021-05-16 15:41:17 | → | xkapastel joins (uid17782@gateway/web/irccloud.com/x-vnzmonwkhmlwwzsx) |
| 2021-05-16 15:42:00 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2021-05-16 15:42:58 | × | Lycurgus quits (~niemand@cpe-45-46-140-49.buffalo.res.rr.com) (Quit: Exeunt) |
| 2021-05-16 15:44:22 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-16 15:48:35 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-05-16 15:48:44 | → | supercoven joins (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-05-16 15:49:16 | <Schrostfutz> | I find myself getting lots of naming clashes from imports. What is the idiomatic way to handle this? In python the haskell default import behavior is actually not liked, but is it recommended for haskell? I consider just qualifying all imports with some abbreviation like I'd do in python, but is that good style? |
| 2021-05-16 15:49:48 | <hpc> | sometimes, yes |
| 2021-05-16 15:50:10 | <boxscape> | Schrostfutz there are some commonly used abbreviations for common modules, like `import Data.Text as T`, for example |
| 2021-05-16 15:50:10 | <hpc> | if you're doing lots of stuff with text/bytestring you might want multiple modules imported that all have the same definitions |
| 2021-05-16 15:50:33 | <boxscape> | (actually `import qualified Data.Text as T`) |
| 2021-05-16 15:52:32 | <Schrostfutz> | hpc: That's exactly my situation. Thanks for the advice :) |
| 2021-05-16 15:52:58 | × | tomboy64 quits (~tomboy64@gateway/tor-sasl/tomboy64) (Remote host closed the connection) |
| 2021-05-16 15:53:37 | → | tomboy64 joins (~tomboy64@gateway/tor-sasl/tomboy64) |
| 2021-05-16 15:54:58 | <dmwit> | ?hoogle (a -> m a) -> m b |
| 2021-05-16 15:54:59 | <lambdabot> | No results found |
| 2021-05-16 15:55:06 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-16 15:55:29 | <hpc> | dmwit: looking for mfix? |
| 2021-05-16 15:55:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-16 15:55:57 | <dmwit> | No, I want the version that loops rather than executing just once. |
| 2021-05-16 15:56:52 | <dmwit> | Oh, I see, I got the wrong type, then, huh? |
| 2021-05-16 15:57:00 | <dmwit> | ?hoogle Monad m => (a -> m a) -> a -> m b |
| 2021-05-16 15:57:01 | <lambdabot> | Control.Monad.Loops iterateM_ :: Monad m => (a -> m a) -> a -> m b |
| 2021-05-16 15:57:01 | <lambdabot> | Data.ListLike mapM :: (ListLike full item, Monad m, ListLike full' item') => (item -> m item') -> full -> m full' |
| 2021-05-16 15:57:01 | <lambdabot> | Data.ListLike.Base mapM :: (ListLike full item, Monad m, ListLike full' item') => (item -> m item') -> full -> m full' |
| 2021-05-16 15:57:29 | <hpc> | :t \f -> fix (f >=>) |
| 2021-05-16 15:57:31 | <lambdabot> | Monad m => (a -> m a) -> a -> m c |
| 2021-05-16 15:57:39 | <dmwit> | Right, that. |
| 2021-05-16 15:57:55 | <hpc> | except without a starting point |
| 2021-05-16 15:57:56 | <hpc> | hmm |
| 2021-05-16 15:58:07 | <hpc> | not sure where it would be in hackage |
| 2021-05-16 15:58:22 | × | veverak quits (~veverak@ip-89-102-98-161.net.upcbroadband.cz) (Quit: WeeChat 3.0) |
| 2021-05-16 15:58:26 | <dmwit> | iterateM_ looks like what I want. |
| 2021-05-16 15:58:44 | <dmwit> | No, I'm okay with it having a starting point. I just had a weakness in my thinking on the first query. |
| 2021-05-16 15:59:02 | <hpc> | ah |
| 2021-05-16 15:59:03 | <dmwit> | Turns out I'm not as good at type inference as my computer is. ;-) |
| 2021-05-16 16:00:14 | × | mith[m] quits (mithmatrix@gateway/shell/matrix.org/x-enrsmyespcxtywvd) (Quit: Idle for 30+ days) |
| 2021-05-16 16:00:14 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 2021-05-16 16:00:15 | × | frozenErebus quits (~frozenEre@37.231.244.249) (Quit: leaving) |
| 2021-05-16 16:00:35 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 2021-05-16 16:01:26 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-16 16:01:28 | → | Tario joins (~Tario@201.192.165.173) |
| 2021-05-16 16:02:04 | × | elliott_ quits (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) (Ping timeout: 245 seconds) |
| 2021-05-16 16:02:46 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-16 16:06:02 | → | elliott_ joins (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-16 16:06:28 | <trepanger_> | exit |
| 2021-05-16 16:06:33 | × | trepanger_ quits (~z@208.38.228.32) (Quit: leaving) |
| 2021-05-16 16:07:40 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-16 16:08:03 | → | ddellacosta joins (~ddellacos@86.106.143.228) |
| 2021-05-16 16:09:00 | → | Salvo_ joins (~Username@host-79-35-109-26.retail.telecomitalia.it) |
| 2021-05-16 16:09:05 | × | Salvo_ quits (~Username@host-79-35-109-26.retail.telecomitalia.it) (Excess Flood) |
| 2021-05-16 16:09:33 | → | Salvo_ joins (~Username@host-79-35-109-26.retail.telecomitalia.it) |
| 2021-05-16 16:09:33 | × | Salvo_ quits (~Username@host-79-35-109-26.retail.telecomitalia.it) (Client Quit) |
| 2021-05-16 16:10:49 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 245 seconds) |
| 2021-05-16 16:11:30 | × | idhugo quits (~idhugo@80-62-116-231-mobile.dk.customer.tdc.net) (Ping timeout: 252 seconds) |
All times are in UTC.