Logs: freenode/#haskell
| 2020-09-20 19:30:50 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 2020-09-20 19:31:00 | → | niHiggim joins (~manjaro-u@2606-a000-4545-ba00-0000-0000-0000-0006.inf6.spectrum.com) |
| 2020-09-20 19:32:06 | → | knupfer1 joins (~Thunderbi@200116b82c2770004d12026ebf4c4ad8.dip.versatel-1u1.de) |
| 2020-09-20 19:32:08 | × | knupfer quits (~Thunderbi@i59F7FF48.versanet.de) (Quit: knupfer) |
| 2020-09-20 19:32:08 | knupfer1 | is now known as knupfer |
| 2020-09-20 19:33:32 | × | ryansmccoy quits (~ryansmcco@193.37.254.27) (Ping timeout: 256 seconds) |
| 2020-09-20 19:34:17 | → | ryansmccoy joins (~ryansmcco@156.96.151.132) |
| 2020-09-20 19:36:03 | × | mirrorbird quits (~psutcliff@2a00:801:44a:a00b:20c3:c64:eb15:73a2) (Ping timeout: 272 seconds) |
| 2020-09-20 19:38:17 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2020-09-20 19:42:31 | × | fendor quits (~fendor@77.119.128.171.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2020-09-20 19:49:19 | → | fendor joins (~fendor@77.119.128.171.wireless.dyn.drei.com) |
| 2020-09-20 19:49:45 | × | solonarv quits (~solonarv@astrasbourg-653-1-186-165.w90-13.abo.wanadoo.fr) (Ping timeout: 260 seconds) |
| 2020-09-20 19:51:25 | × | niHiggim quits (~manjaro-u@2606-a000-4545-ba00-0000-0000-0000-0006.inf6.spectrum.com) (Quit: Konversation terminated!) |
| 2020-09-20 19:56:23 | → | ahmr88 joins (~ahmr88@cpc85006-haye22-2-0-cust131.17-4.cable.virginm.net) |
| 2020-09-20 19:57:26 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2020-09-20 20:00:52 | × | auri__ quits (~auri_@fsf/memeber/auri-) (Ping timeout: 246 seconds) |
| 2020-09-20 20:02:27 | → | auri_ joins (~auri_@fsf/memeber/auri-) |
| 2020-09-20 20:03:02 | × | tsrt^ quits (tsrt@ip98-184-89-2.mc.at.cox.net) () |
| 2020-09-20 20:03:45 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-09-20 20:03:58 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-09-20 20:04:17 | → | ntwhaaci^ joins (ntwhaaci@ip98-184-89-2.mc.at.cox.net) |
| 2020-09-20 20:04:22 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-09-20 20:04:39 | → | shatriff joins (~vitaliish@176.52.219.10) |
| 2020-09-20 20:05:05 | × | shatriff quits (~vitaliish@176.52.219.10) (Remote host closed the connection) |
| 2020-09-20 20:05:07 | × | wroathe quits (~wroathe@c-73-24-27-54.hsd1.mn.comcast.net) (Quit: leaving) |
| 2020-09-20 20:06:48 | → | jobor_ joins (~jobor@83.24.161.211.ipv4.supernova.orange.pl) |
| 2020-09-20 20:07:02 | → | juuandyy joins (~juuandyy@90.166.144.65) |
| 2020-09-20 20:08:44 | × | jobor_ quits (~jobor@83.24.161.211.ipv4.supernova.orange.pl) (Client Quit) |
| 2020-09-20 20:09:09 | × | hekkaidekapus quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Remote host closed the connection) |
| 2020-09-20 20:09:33 | → | johnyb joins (~johnyb@83.24.161.211.ipv4.supernova.orange.pl) |
| 2020-09-20 20:09:51 | → | hekkaidekapus joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 2020-09-20 20:09:53 | × | geekosaur quits (ae68c070@cpe-174-104-192-112.neo.res.rr.com) (Remote host closed the connection) |
| 2020-09-20 20:11:38 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 272 seconds) |
| 2020-09-20 20:14:21 | → | g-belmonte joins (~g-belmont@2804:14c:8786:9312:3638:eaf5:dc36:146d) |
| 2020-09-20 20:16:49 | <kindaro> | Is there a nice library for logging messages in IO to standard output/error? |
| 2020-09-20 20:17:18 | <kindaro> | Like a fancy `putStrLn`, yes. |
| 2020-09-20 20:17:41 | <merijn> | @hackage monad-logger |
| 2020-09-20 20:17:41 | <lambdabot> | https://hackage.haskell.org/package/monad-logger |
| 2020-09-20 20:17:47 | <Uniaika> | co-log exists too |
| 2020-09-20 20:17:47 | <merijn> | And a billion others :p |
| 2020-09-20 20:17:50 | <[exa]> | logging? |
| 2020-09-20 20:17:58 | <[exa]> | ^^ actual package name |
| 2020-09-20 20:18:07 | × | johnyb quits (~johnyb@83.24.161.211.ipv4.supernova.orange.pl) (Quit: Leaving...) |
| 2020-09-20 20:18:22 | <kindaro> | No, these are not in IO, they have their own transformer or something. |
| 2020-09-20 20:18:37 | <merijn> | What I like about monad-logger is that you can start out lazy just using LoggingT and then you can easily later replace it and implement your own stuff |
| 2020-09-20 20:18:40 | <merijn> | eh |
| 2020-09-20 20:18:48 | <merijn> | Well, then "hPutStrLn"? :p |
| 2020-09-20 20:19:13 | <[exa]> | kindaro: https://hackage.haskell.org/package/logging even says "in IO" |
| 2020-09-20 20:19:14 | <ddellacosta> | kindaro: logging that [exa] mentioned is just in IO I thought |
| 2020-09-20 20:19:22 | <ddellacosta> | lol jinx |
| 2020-09-20 20:19:30 | <[exa]> | :] |
| 2020-09-20 20:19:30 | <kindaro> | I see `logging` has `log :: Text -> IO ()` — that I like. |
| 2020-09-20 20:20:46 | → | mariatsji joins (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) |
| 2020-09-20 20:22:40 | → | johnyb joins (5318a1d3@83.24.161.211.ipv4.supernova.orange.pl) |
| 2020-09-20 20:24:29 | × | ggole quits (~ggole@2001:8003:8119:7200:a81f:ad25:a0f4:9303) (Quit: Leaving) |
| 2020-09-20 20:25:18 | <kindaro> | By the way, I see `logging` is using the idiom of `logLevel = unsafePerformIO $ newIORef LevelDebug` for initializing an implicit global state. I know that `random` recently removed a similar feature. Has there been research that shows definitely that such use of `unsafePerformIO` is either safe or unsafe? |
| 2020-09-20 20:25:27 | × | mariatsji quits (~mariatsji@2a01:79d:53aa:c66c:342b:5324:f59b:5b0e) (Ping timeout: 272 seconds) |
| 2020-09-20 20:25:48 | × | borne quits (~fritjof@200116b86490460022497ba62715fb72.dip.versatel-1u1.de) (Ping timeout: 260 seconds) |
| 2020-09-20 20:26:59 | <kindaro> | Particularly, see this explanation: https://github.com/haskell/random/issues/57#issuecomment-649473745 |
| 2020-09-20 20:27:20 | <kindaro> | I am divided on this technique since then — should I like or dislike it? |
| 2020-09-20 20:27:25 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-09-20 20:28:12 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-20 20:29:12 | <[exa]> | kindaro: unsafePerformIO is often quite practical, like for tracing |
| 2020-09-20 20:29:45 | → | borne joins (~fritjof@200116b86490460022497ba62715fb72.dip.versatel-1u1.de) |
| 2020-09-20 20:29:47 | <Cale> | I dislike it just because it means that only one usage is possible. It's fine to use mutable stuff, but it would make more sense to have a little bundle of mutable state containing a handle for where the log message was going, together with the current log level perhaps |
| 2020-09-20 20:30:06 | <kindaro> | Not sure I follow. |
| 2020-09-20 20:30:21 | <Cale> | I guess the assumption here is that the log is only going to stderr |
| 2020-09-20 20:30:26 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Read error: Connection reset by peer) |
| 2020-09-20 20:30:37 | <Cale> | But say multiple libraries decide to use this log library |
| 2020-09-20 20:30:53 | <Cale> | Then they might interfere with each other when it comes to setting their log level |
| 2020-09-20 20:30:56 | johnyb | is now known as JonathanB |
| 2020-09-20 20:31:10 | JonathanB | is now known as JonatanB |
| 2020-09-20 20:31:18 | <Cale> | One library can't have a different log level than the other, even if it might appear that way, because some initialisation function takes a log level |
| 2020-09-20 20:31:22 | <Cale> | (and sets it) |
| 2020-09-20 20:31:48 | <Cale> | Just because they accidentally both used logging |
| 2020-09-20 20:32:08 | <c_wraith> | I'd probably argue libraries should never set the log level anyway, but that's beside the point a bit. With the point being that there are ways to design it that don't involve unsafePerformIO |
| 2020-09-20 20:32:58 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2020-09-20 20:33:12 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 2020-09-20 20:33:21 | <Cale> | Well, they might set the log level according to what the user of the library requests |
| 2020-09-20 20:33:41 | <Cale> | But yeah, I suppose if you're using 'logging', you don't really do that |
| 2020-09-20 20:34:06 | <Cale> | because it doesn't make sense, as you can't really have a distinct logging level from any other library which is using it |
| 2020-09-20 20:34:09 | JonatanB | is now known as jonatanb |
| 2020-09-20 20:36:42 | <jonatanb> | \nick jobo |
| 2020-09-20 20:37:19 | × | jonatanb quits (5318a1d3@83.24.161.211.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-09-20 20:37:33 | → | jonatanb` joins (~user@83.24.161.211.ipv4.supernova.orange.pl) |
| 2020-09-20 20:38:13 | × | sense quits (uid464711@gateway/web/irccloud.com/x-rdruibjtxeskwext) (Quit: Connection closed for inactivity) |
| 2020-09-20 20:38:23 | × | jonatanb` quits (~user@83.24.161.211.ipv4.supernova.orange.pl) (Client Quit) |
| 2020-09-20 20:38:57 | → | jonatanb joins (~user@83.24.161.211.ipv4.supernova.orange.pl) |
| 2020-09-20 20:41:20 | → | jonatanb27 joins (5318a1d3@83.24.161.211.ipv4.supernova.orange.pl) |
| 2020-09-20 20:41:34 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-09-20 20:42:20 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 2020-09-20 20:42:32 | × | jonatanb27 quits (5318a1d3@83.24.161.211.ipv4.supernova.orange.pl) (Remote host closed the connection) |
| 2020-09-20 20:43:05 | → | bahamas joins (~lucian@188.24.181.166) |
| 2020-09-20 20:43:05 | × | bahamas quits (~lucian@188.24.181.166) (Changing host) |
| 2020-09-20 20:43:05 | → | bahamas joins (~lucian@unaffiliated/bahamas) |
| 2020-09-20 20:44:58 | × | coot quits (~coot@37.30.49.42.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2020-09-20 20:47:37 | → | mirk0_ joins (~mirko@unaffiliated/-mirko-/x-2946915) |
| 2020-09-20 20:47:38 | × | lep-delete quits (~lep@94.31.82.44) (Read error: Connection reset by peer) |
| 2020-09-20 20:47:55 | → | lep-delete joins (~lep@94.31.82.44) |
| 2020-09-20 20:48:05 | × | bahamas quits (~lucian@unaffiliated/bahamas) (Ping timeout: 260 seconds) |
All times are in UTC.