IRCBrowse

2021/02/01

2021-02-01 00:00:34 +0100Ariakenom(~Ariakenom@2001:9b1:efb:fc00:3de8:edd9:c9fe:a9b7) (Quit: Leaving)
2021-02-01 00:00:37 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds)
2021-02-01 00:00:49 +0100xsperry(~as@unaffiliated/xsperry) (Remote host closed the connection)
2021-02-01 00:00:52 +0100 <Squarism> if i pattern match on a list. Instead of pulling say first element into a local scope value make sure say first value of list == some value. Is that possible in some short form?
2021-02-01 00:00:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 00:01:52 +0100 <Squarism> case lst of ; imADefinedValue : [] -> ...
2021-02-01 00:02:10 +0100jedws(~jedws@121.209.199.128)
2021-02-01 00:02:36 +0100 <Squarism> such that match if first element == imADefinedValue
2021-02-01 00:02:42 +0100 <Axman6> Squarism: if you can pattern match on that type you can. like case lst of 0 : xs -> ...
2021-02-01 00:03:03 +0100 <Axman6> there's also view patterns,
2021-02-01 00:03:22 +0100 <Axman6> case lst of x@((== someValue) -> True) : xs -> ...
2021-02-01 00:04:11 +0100LKoen(~LKoen@107.173.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-02-01 00:05:22 +0100son0p(~son0p@181.136.122.143) (Quit: Lost terminal)
2021-02-01 00:05:58 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 00:08:34 +0100jonn(~sweater@206.81.18.26) (Quit: WeeChat 2.8)
2021-02-01 00:12:29 +0100heatsink(~heatsink@2600:1700:bef1:5e10:75dd:a55d:449b:280f)
2021-02-01 00:13:46 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 00:14:01 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 00:17:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 00:18:14 +0100alx741(~alx741@186.178.110.149)
2021-02-01 00:19:44 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.)
2021-02-01 00:20:30 +0100 <ski> Squarism : also `case lst of [element] | element == imADefinedValue -> ...; ...'
2021-02-01 00:20:57 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:217b:6c7a:eac3:3be9)
2021-02-01 00:24:41 +0100neiluj(~jco@unaffiliated/neiluj) (Quit: leaving)
2021-02-01 00:25:43 +0100forgottenone(~forgotten@176.42.24.169) (Ping timeout: 246 seconds)
2021-02-01 00:25:55 +0100 <Squarism> Axman6, ah ok. in this case my constant is of type String. Would that work? I just got the impression the constant (value ref) i put there shadowed the constant and instead became a local value.
2021-02-01 00:26:14 +0100 <ski> Squarism : is it a `String' literal, or is it bound to a variable ?
2021-02-01 00:26:38 +0100 <ski> if it's a variable name, then yes, it would just shadow the non-local
2021-02-01 00:26:39 +0100worc3131(~quassel@2a02:c7f:dcc4:6500:217b:6c7a:eac3:3be9) (Ping timeout: 265 seconds)
2021-02-01 00:26:47 +0100xsperry(~as@unaffiliated/xsperry)
2021-02-01 00:27:08 +0100 <ski> (unlike in say Erlang, which got this behaviour from Prolog. Mercury also behaves the same)
2021-02-01 00:28:17 +0100 <Squarism> ski, Ah, thanks. That explains it
2021-02-01 00:28:32 +0100 <ski> you probably want to use a guard
2021-02-01 00:28:49 +0100 <ski> (view pattern could also work, but it probably less readable)
2021-02-01 00:30:30 +0100skiidly notes guards doesn't work with lambdas
2021-02-01 00:30:45 +0100 <ski> > (\n | n > 0 -> n) 2
2021-02-01 00:30:47 +0100 <lambdabot> <hint>:1:5: error: <hint>:1:5: error: parse error on input ‘|’
2021-02-01 00:31:10 +0100 <ski> > (\n@((> 0) -> True) -> n) 2
2021-02-01 00:31:12 +0100 <lambdabot> 2
2021-02-01 00:31:13 +0100 <ski> > (\n@((> 0) -> True) -> n) 0
2021-02-01 00:31:15 +0100 <lambdabot> *Exception: <interactive>:3:2-24: Non-exhaustive patterns in lambda
2021-02-01 00:33:31 +0100 <Squarism> 6
2021-02-01 00:33:41 +0100 <Squarism> ops. Ok!
2021-02-01 00:33:47 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-01 00:33:51 +0100zebrag(~inkbottle@aaubervilliers-654-1-102-193.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-01 00:34:00 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-02-01 00:34:14 +0100zebrag(~inkbottle@aaubervilliers-654-1-102-193.w86-212.abo.wanadoo.fr)
2021-02-01 00:35:09 +0100 <sm[m]> tomsmeding: hi, weren't you running ircbrowse.net ? where is/was it most recently ?
2021-02-01 00:35:55 +0100forgottenone(~forgotten@176.42.19.155)
2021-02-01 00:36:06 +0100 <sm[m]> aha, https://ircbrowse.tomsmeding.com
2021-02-01 00:37:15 +0100 <ski> @where ircbrowse
2021-02-01 00:37:15 +0100 <lambdabot> I know nothing about ircbrowse.
2021-02-01 00:37:30 +0100 <ski> @where+ ircbrowse https://ircbrowse.tomsmeding.com
2021-02-01 00:37:30 +0100 <lambdabot> Okay.
2021-02-01 00:38:46 +0100toasty_avocado[m(toastyavoc@gateway/shell/matrix.org/x-twwexxfwljxysnrf)
2021-02-01 00:39:37 +0100chunibio(47a27949@pool-71-162-121-73.bstnma.fios.verizon.net)
2021-02-01 00:40:28 +0100chunibio(47a27949@pool-71-162-121-73.bstnma.fios.verizon.net) (Client Quit)
2021-02-01 00:41:16 +0100 <sm[m]> tomsmeding: and I have a small request, when you're around
2021-02-01 00:42:35 +0100fendor__(~fendor@91.141.0.151.wireless.dyn.drei.com) (Read error: Connection reset by peer)
2021-02-01 00:44:12 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-02-01 00:48:45 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-02-01 00:51:24 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-02-01 00:51:28 +0100conal(~conal@64.71.133.70)
2021-02-01 00:59:21 +0100usr25(~usr25@unaffiliated/usr25) (Quit: Leaving)
2021-02-01 00:59:47 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 00:59:55 +0100tessier_(~treed@kernel-panic/copilotco)
2021-02-01 01:00:01 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection)
2021-02-01 01:00:02 +0100zopsi(zopsi@2600:3c00::f03c:91ff:fe14:551f) (Write error: Connection reset by peer)
2021-02-01 01:00:14 +0100atk(~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.)
2021-02-01 01:00:17 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-02-01 01:00:34 +0100tessier(~treed@kernel-panic/copilotco) (Ping timeout: 264 seconds)
2021-02-01 01:00:36 +0100atk(~Arch-TK@ircpuzzles/staff/Arch-TK)
2021-02-01 01:00:37 +0100zopsi(zopsi@2600:3c00::f03c:91ff:fe14:551f)
2021-02-01 01:01:58 +0100__monty__(~toonn@unaffiliated/toonn) (Quit: leaving)
2021-02-01 01:04:29 +0100e71__(~e71@c-73-109-24-52.hsd1.wa.comcast.net)
2021-02-01 01:04:32 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 260 seconds)
2021-02-01 01:06:40 +0100e71_(~e71@89.187.165.99) (Ping timeout: 246 seconds)
2021-02-01 01:07:50 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving)
2021-02-01 01:07:58 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 01:08:24 +0100miguel_clean(~Miguel@89-72-187-203.dynamic.chello.pl) (Quit: Leaving.)
2021-02-01 01:09:46 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 01:11:44 +0100recursion_ninja(ad4dccaf@pool-173-77-204-175.nycmny.fios.verizon.net)
2021-02-01 01:12:10 +0100 <recursion_ninja> @djinn f :: Applicative m => (a -> b -> c) -> m a -> m (x -> b) -> m (x -> c)
2021-02-01 01:12:10 +0100 <lambdabot> Cannot parse command
2021-02-01 01:12:21 +0100 <recursion_ninja> @djinn Applicative m => (a -> b -> c) -> m a -> m (x -> b) -> m (x -> c)
2021-02-01 01:12:21 +0100 <lambdabot> Error: Class not found: Applicative
2021-02-01 01:12:47 +0100 <recursion_ninja> @djinn Applicative m => (a -> b -> c) -> m a -> m (x -> b) -> m (x -> c)
2021-02-01 01:12:48 +0100 <lambdabot> Error: Class not found: Applicative
2021-02-01 01:13:08 +0100 <recursion_ninja> I guess Djinn doesn't know about Applicatives :(
2021-02-01 01:13:19 +0100 <ski> it doesn't
2021-02-01 01:13:22 +0100 <ski> @djinn-env
2021-02-01 01:13:23 +0100 <lambdabot> data () = ()
2021-02-01 01:13:23 +0100 <lambdabot> data Either a b = Left a | Right b
2021-02-01 01:13:23 +0100 <lambdabot> data Maybe a = Nothing | Just a
2021-02-01 01:13:23 +0100 <lambdabot> data Bool = False | True
2021-02-01 01:13:23 +0100 <lambdabot> data Void
2021-02-01 01:13:25 +0100 <lambdabot> [3 @more lines]
2021-02-01 01:13:27 +0100 <ski> @more
2021-02-01 01:13:27 +0100 <lambdabot> type Not x = x -> Void
2021-02-01 01:13:29 +0100 <lambdabot> class Monad m where return :: a -> m a; (>>=) :: m a -> (a -> m b) -> m b
2021-02-01 01:13:31 +0100 <lambdabot> class Eq a where (==) :: a -> a -> Bool
2021-02-01 01:14:01 +0100 <recursion_ninja> @djinn Monad m => (a -> b -> c) -> m a -> m (x -> b) -> m (x -> c)
2021-02-01 01:14:01 +0100 <lambdabot> -- f cannot be realized.
2021-02-01 01:14:43 +0100dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 246 seconds)
2021-02-01 01:14:43 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds)
2021-02-01 01:14:44 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-02-01 01:14:51 +0100recursion_ninja(ad4dccaf@pool-173-77-204-175.nycmny.fios.verizon.net) (Client Quit)
2021-02-01 01:15:14 +0100Tario(~Tario@201.192.165.173)
2021-02-01 01:17:07 +0100 <ski> @type \f ma mxb -> (\a xb -> f a . xb) <$> ma <*> mxb
2021-02-01 01:17:08 +0100 <lambdabot> Applicative f => (t -> b -> c) -> f t -> f (a -> b) -> f (a -> c)
2021-02-01 01:17:13 +0100 <ski> oh, they left
2021-02-01 01:23:03 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-02-01 01:23:49 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net) ()
2021-02-01 01:24:57 +0100lagothrix(~lagothrix@unaffiliated/lagothrix) (Quit: lagothrix)
2021-02-01 01:25:05 +0100troydm(~troydm@unaffiliated/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset)
2021-02-01 01:25:21 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-01 01:27:24 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 01:27:44 +0100troydm(~troydm@unaffiliated/troydm)
2021-02-01 01:29:05 +0100jchia__(~jchia@58.32.36.158)
2021-02-01 01:29:08 +0100jchia__(~jchia@58.32.36.158) (Client Quit)
2021-02-01 01:30:38 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-01 01:35:08 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 01:35:45 +0100TommyC(~TommyC@unaffiliated/sepulchralbloom) (Ping timeout: 240 seconds)
2021-02-01 01:35:59 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer)
2021-02-01 01:36:04 +0100tromp_(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 01:36:54 +0100e71_(~e71@85.254.72.24)
2021-02-01 01:37:15 +0100TommyC(~TommyC@unaffiliated/sepulchralbloom)
2021-02-01 01:38:38 +0100e71_(~e71@85.254.72.24) (Client Quit)
2021-02-01 01:39:16 +0100e71__(~e71@c-73-109-24-52.hsd1.wa.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 01:39:38 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection)
2021-02-01 01:40:05 +0100finn_elija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-01 01:41:19 +0100tromp_(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 272 seconds)
2021-02-01 01:47:03 +0100forgottenone(~forgotten@176.42.19.155) (Quit: Konversation terminated!)
2021-02-01 01:47:11 +0100rajivr(uid269651@gateway/web/irccloud.com/x-frflijpnslhdckqg)
2021-02-01 01:51:27 +0100tsrt^(tsrt@ip98-184-89-2.mc.at.cox.net) ()
2021-02-01 01:51:55 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-kotwuyuzikeamtlu) (Quit: Connection closed for inactivity)
2021-02-01 02:01:05 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net) (Ping timeout: 240 seconds)
2021-02-01 02:02:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 02:02:46 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-02-01 02:04:44 +0100nuh^(nuh@ip98-184-89-2.mc.at.cox.net)
2021-02-01 02:04:45 +0100Tops2(~Tobias@dyndsl-095-033-019-168.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-02-01 02:05:04 +0100 <frdg> In my program I need to listen for output from a program that runs indefinetly and prints output to the terminal. Any reccomendations for how to constantly read this output?
2021-02-01 02:05:17 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection)
2021-02-01 02:05:41 +0100Dominick(Dominick@cpe-66-65-179-161.nyc.res.rr.com)
2021-02-01 02:05:49 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus) (Ping timeout: 246 seconds)
2021-02-01 02:05:53 +0100berberman_(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-01 02:06:18 +0100berberman(~berberman@unaffiliated/berberman)
2021-02-01 02:06:19 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 02:07:58 +0100Maxdamantus(~Maxdamant@unaffiliated/maxdamantus)
2021-02-01 02:08:38 +0100cocytus(~cocytus@cpe-76-95-48-109.socal.res.rr.com)
2021-02-01 02:11:45 +0100 <hpc> createProcess
2021-02-01 02:12:13 +0100 <hpc> it's non-blocking, and the subprocess's std* are available as Handles
2021-02-01 02:12:36 +0100alx741(~alx741@186.178.110.149) (Quit: alx741)
2021-02-01 02:12:53 +0100 <frdg> ok nice thanks
2021-02-01 02:13:22 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 260 seconds)
2021-02-01 02:14:20 +0100Dominick(Dominick@cpe-66-65-179-161.nyc.res.rr.com) ()
2021-02-01 02:14:51 +0100Rudd0(~Rudd0@185.189.115.108) (Remote host closed the connection)
2021-02-01 02:17:16 +0100jedws(~jedws@121.209.199.128)
2021-02-01 02:21:09 +0100jespada(~jespada@90.254.242.138) (Ping timeout: 256 seconds)
2021-02-01 02:23:25 +0100jespada(~jespada@90.254.242.138)
2021-02-01 02:30:28 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 02:33:09 +0100nij(~user@2001-48F8-9004-117B-9BAB-B961-6183-49F2-dynamic.midco.net)
2021-02-01 02:33:38 +0100 <nij> Has anyone read the paper \Notions of computation and monads-[Eugenio Moggi]\ before? I wonder what's the point of it?
2021-02-01 02:34:15 +0100 <nij> Some of my background: a mathematician who are comfortable with basic category theory. Know what a monad is as it is mathematically.
2021-02-01 02:34:39 +0100 <nij> But.. for many times this paper has been mentioned in this (or other FP) community.
2021-02-01 02:34:56 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-01 02:35:22 +0100 <nij> I'm sure I can follow each detail of it if I pay the work.. but I'd rather know what the point is first. So if someone has some advice, I'd appreciate a lot :-) Thanks!
2021-02-01 02:41:19 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 02:41:33 +0100xlei(~akans@unaffiliated/xlei) (Ping timeout: 256 seconds)
2021-02-01 02:45:58 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-02-01 02:47:18 +0100 <ski> the point being that it's useful to model computational effects of programming languages with monads ?
2021-02-01 02:47:44 +0100inkbottle(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-01 02:48:02 +0100 <c_wraith> It actually seems a bit stronger: That's it's just plain good to model computation with Kleisli categories, and oh whoops, monads!
2021-02-01 02:48:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 264 seconds)
2021-02-01 02:48:47 +0100 <ski> monads (in general) express a notion of sequencing (just as monoids do). composition of effects often depend on sequencing order
2021-02-01 02:48:52 +0100zebrag(~inkbottle@aaubervilliers-654-1-102-193.w86-212.abo.wanadoo.fr) (Ping timeout: 246 seconds)
2021-02-01 02:49:10 +0100 <ski> (applicative functors express a weaker notion of sequencing)
2021-02-01 02:50:10 +0100 <ski> (and later, Wadler discovered that it can also be useful to model effects *within* a programming language, by using monads)
2021-02-01 02:50:54 +0100 <nij> so, what does the word "model" mean here? I think that's the source of confusion for me.
2021-02-01 02:54:02 +0100 <ski> btw, as an application of monads in another context, "Monads for natural language semantics" by Chung-chieh Shan in 2002-05-17 at <https://arxiv.org/abs/cs/0205026> might perhaps be interesting. (he's also written about using continuations to model phenomena in natural languages, and about linguistic side-effects, see <http://homes.sice.indiana.edu/ccshan/>)
2021-02-01 02:55:26 +0100 <ski> nij : denotational semantics aims to give mathematical meaning to phrases in programming languages by (compositionally) mapping them into mathematical structures
2021-02-01 02:55:49 +0100 <nij> but.. what is "model"?
2021-02-01 02:56:18 +0100 <ski> "give a rigorous elaboration of" ?
2021-02-01 02:56:20 +0100 <nij> I can feel the correspondence between the algebra (monad) and the applications (logic, computations, .. etc)..
2021-02-01 02:57:07 +0100 <c_wraith> a model is a simplified system with precise properties. They aren't the thing, they're a useful way to describe behavior of a thing.
2021-02-01 03:00:29 +0100renzhi(~renzhi@2607:fa49:6500:6f00::1e43) (Ping timeout: 272 seconds)
2021-02-01 03:01:22 +0100 <nij> i see
2021-02-01 03:03:32 +0100d3od(~nickmeno3@78-0-99-153.adsl.net.t-com.hr) (Ping timeout: 265 seconds)
2021-02-01 03:04:24 +0100d3od(~nickmeno3@78-1-65-9.adsl.net.t-com.hr)
2021-02-01 03:04:33 +0100toorevitimirp(~tooreviti@117.182.181.145)
2021-02-01 03:04:34 +0100toorevitimirp(~tooreviti@117.182.181.145) (Remote host closed the connection)
2021-02-01 03:05:48 +0100Tian_(~textual@103.116.47.200)
2021-02-01 03:07:14 +0100gentauro(~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer)
2021-02-01 03:07:45 +0100gentauro(~gentauro@unaffiliated/gentauro)
2021-02-01 03:08:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving)
2021-02-01 03:08:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 03:11:30 +0100Tian_(~textual@103.116.47.200) (Quit: Textual IRC Client: www.textualapp.com)
2021-02-01 03:14:58 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 03:15:04 +0100nij(~user@2001-48F8-9004-117B-9BAB-B961-6183-49F2-dynamic.midco.net) ("ERC (IRC client for Emacs 27.1)")
2021-02-01 03:16:07 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 256 seconds)
2021-02-01 03:18:56 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-01 03:21:09 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-01 03:24:45 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 03:26:14 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
2021-02-01 03:27:49 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-02-01 03:28:23 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 03:29:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 260 seconds)
2021-02-01 03:32:36 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds)
2021-02-01 03:33:11 +0100samba1(~samba1@modemcable115.2-179-173.mc.videotron.ca)
2021-02-01 03:34:03 +0100xff0x_(~xff0x@2001:1a81:52bf:eb00:e63f:41c2:291d:74fd) (Ping timeout: 272 seconds)
2021-02-01 03:34:36 +0100sudden(~lax@unaffiliated/laxask) (Ping timeout: 240 seconds)
2021-02-01 03:34:56 +0100jedws(~jedws@121.209.199.128)
2021-02-01 03:35:35 +0100xff0x_(~xff0x@2001:1a81:52fa:6600:ca9b:5f50:944e:a8a9)
2021-02-01 03:35:45 +0100sudden(~lax@unaffiliated/laxask)
2021-02-01 03:35:46 +0100 <samba1> I have a question about using MonadUnliftIO functions within a freer-effects context, here's a paste that describes it: https://pastebin.com/LM69aEMA
2021-02-01 03:36:40 +0100 <samba1> Basically working within an effect context, but calling an pooledForConcurrentlyN_ (MonadUnliftIO) on something that does an IO effect (rather than "normal" IO)
2021-02-01 03:38:55 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 03:39:32 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-02-01 03:41:45 +0100teardown(~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds)
2021-02-01 03:42:35 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0)
2021-02-01 03:42:40 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 03:42:41 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-02-01 03:42:52 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-01 03:43:16 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-01 03:44:21 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-02-01 03:44:48 +0100ddere(uid110888@gateway/web/irccloud.com/x-clazbmdoizdgaoai)
2021-02-01 03:47:23 +0100deviantfero(~deviantfe@190.150.27.58) (Client Quit)
2021-02-01 03:47:46 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-01 03:51:20 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-02-01 03:53:07 +0100Yarrbeard(~Yarrbeard@2603-7081-6701-2976-d474-9e60-5ce3-9342.res6.spectrum.com) (Read error: Connection reset by peer)
2021-02-01 03:55:29 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 03:55:40 +0100 <samba1> I could use forConcurrently alternatively, if the just IO is easier. But the question remains, how to do that. Do I need to do an explicit interpret? Seems wrong
2021-02-01 03:58:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 03:59:55 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds)
2021-02-01 04:01:07 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-02-01 04:04:18 +0100raym(~ray@45.64.220.55) (Quit: leaving)
2021-02-01 04:04:35 +0100raym(~ray@45.64.220.55)
2021-02-01 04:04:57 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 04:04:57 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Read error: Connection reset by peer)
2021-02-01 04:06:37 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 04:06:45 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Client Quit)
2021-02-01 04:07:14 +0100urodna(~urodna@unaffiliated/urodna) (Quit: urodna)
2021-02-01 04:08:15 +0100Tario(~Tario@201.192.165.173) (Read error: Connection reset by peer)
2021-02-01 04:08:25 +0100Tario(~Tario@201.192.165.173)
2021-02-01 04:11:30 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 04:12:10 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 04:15:21 +0100Tops2(~Tobias@dyndsl-095-033-019-168.ewe-ip-backbone.de)
2021-02-01 04:17:29 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 04:17:45 +0100samba1(~samba1@modemcable115.2-179-173.mc.videotron.ca) (Quit: leaving)
2021-02-01 04:18:36 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 04:18:59 +0100Tops21(~Tobias@dyndsl-095-033-019-168.ewe-ip-backbone.de)
2021-02-01 04:19:14 +0100brantje(~brantje@139.28.218.148)
2021-02-01 04:21:41 +0100drbean(~drbean@TC210-63-209-88.static.apol.com.tw)
2021-02-01 04:22:40 +0100Tops2(~Tobias@dyndsl-095-033-019-168.ewe-ip-backbone.de) (Ping timeout: 246 seconds)
2021-02-01 04:23:28 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2021-02-01 04:24:34 +0100theDon(~td@94.134.91.199) (Ping timeout: 264 seconds)
2021-02-01 04:24:56 +0100jedws(~jedws@121.209.199.128)
2021-02-01 04:25:59 +0100theDon(~td@muedsl-82-207-238-102.citykom.de)
2021-02-01 04:27:47 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 04:28:35 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 04:30:31 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 04:31:19 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 04:31:42 +0100sakirious02(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Read error: Connection reset by peer)
2021-02-01 04:31:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 04:32:02 +0100sakirious02(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2021-02-01 04:32:44 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 04:32:57 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 04:34:33 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 04:34:47 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 04:37:24 +0100tendency25(~user@94.198.42.252)
2021-02-01 04:40:24 +0100FinnElija(~finn_elij@gateway/tor-sasl/finnelija/x-67402716)
2021-02-01 04:40:24 +0100finn_elijaGuest76478
2021-02-01 04:40:24 +0100FinnElijafinn_elija
2021-02-01 04:42:07 +0100mmohammadi9812(~mmohammad@2.178.164.60) (Ping timeout: 260 seconds)
2021-02-01 04:43:27 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 04:44:02 +0100Guest76478(~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds)
2021-02-01 04:44:52 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection)
2021-02-01 04:45:36 +0100mmohammadi9812(~mmohammad@5.115.226.197)
2021-02-01 04:50:48 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 04:51:02 +0100 <koz_> I just realized that if I have a newtype called 'Unsafe', I would have to have its 'accessor' be 'unUnsafe', which is 'safe'?
2021-02-01 04:51:19 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 04:52:25 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-01 04:53:30 +0100 <Tops21> why not runUnsafe? ;)
2021-02-01 04:53:54 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 04:53:54 +0100 <Tops21> I mean it's also runState
2021-02-01 04:54:04 +0100 <koz_> And runIdentity.
2021-02-01 04:54:11 +0100 <koz_> I guess it works too.
2021-02-01 04:54:23 +0100 <koz_> 'getX' is also a convention.
2021-02-01 04:54:27 +0100 <koz_> getUnsafe rofl.
2021-02-01 04:57:10 +0100ski. o O ( `runsafe' )
2021-02-01 04:57:41 +0100 <Axman6> rUnsafe
2021-02-01 04:57:50 +0100 <koz_> rUUnsafe?
2021-02-01 04:58:01 +0100 <Tops21> aaaand it's safe again
2021-02-01 04:58:18 +0100 <Axman6> gUnsafe (g = get)
2021-02-01 04:58:22 +0100 <Axman6> pew pew
2021-02-01 04:58:50 +0100 <orzo> somebody should write up a ghc-proposal about this
2021-02-01 05:00:37 +0100Rudd0(~Rudd0@185.189.115.108)
2021-02-01 05:01:59 +0100catt(~r@31.124.181.226) (Remote host closed the connection)
2021-02-01 05:05:28 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 05:06:31 +0100deviantfero(~deviantfe@190.150.27.58) (Quit: WeeChat 3.0)
2021-02-01 05:11:31 +0100 <ski> runSafe
2021-02-01 05:11:43 +0100 <ski> is it unsafe to construct, but safe to deconstruct ?
2021-02-01 05:11:58 +0100 <Axman6> runUnUnberellaEllaEllaEhEh
2021-02-01 05:12:17 +0100 <koz_> Axman6: That's the run function of 'newtype Rihanna a'.
2021-02-01 05:13:56 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 05:14:28 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 05:15:28 +0100plutoniix(~q@184.82.204.218)
2021-02-01 05:19:39 +0100jespada(~jespada@90.254.242.138) (Ping timeout: 256 seconds)
2021-02-01 05:20:36 +0100 <MarcelineVQ> runSafe
2021-02-01 05:20:50 +0100 <MarcelineVQ> ski: darn yous!
2021-02-01 05:21:21 +0100 <Axman6> koz_: newtype Rhianna eh
2021-02-01 05:22:53 +0100 <MarcelineVQ> newtype DeathGrips eh = forall b. WhoYouThinkYouAre (b -> eh)
2021-02-01 05:23:24 +0100jespada(~jespada@90.254.242.138)
2021-02-01 05:24:14 +0100ski. o O ( `rumberhulk' )
2021-02-01 05:26:10 +0100 <koz_> Does 'manyTill foo end' consume whatever 'end' parses?
2021-02-01 05:27:14 +0100 <MarcelineVQ> immediate instinct is yes, but whom'st's manyTill?
2021-02-01 05:27:25 +0100 <koz_> MarcelineVQ: parsec's.
2021-02-01 05:29:56 +0100toorevitimirp(~tooreviti@117.182.181.145)
2021-02-01 05:30:29 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net)
2021-02-01 05:32:46 +0100 <MarcelineVQ> parseTest (manyTill (char 'f') (char 's') *> char 's') "ffs"
2021-02-01 05:32:48 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-02-01 05:34:29 +0100jedws(~jedws@121.209.199.128)
2021-02-01 05:34:46 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving)
2021-02-01 05:34:54 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 05:34:57 +0100plutoniix(~q@184.82.204.218) (Quit: Leaving)
2021-02-01 05:35:40 +0100inkbottle(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-01 05:36:57 +0100vicfred(~vicfred@unaffiliated/vicfred) (Quit: Leaving)
2021-02-01 05:39:38 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-02-01 05:41:25 +0100nuh^(nuh@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 246 seconds)
2021-02-01 05:41:40 +0100nuh^(srt@ip98-184-89-2.mc.at.cox.net)
2021-02-01 05:44:12 +0100Tario(~Tario@201.192.165.173) (Ping timeout: 246 seconds)
2021-02-01 05:44:49 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 248 seconds)
2021-02-01 05:45:31 +0100tendency25(~user@94.198.42.252) (Quit: Leaving)
2021-02-01 05:49:41 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-02-01 05:54:46 +0100jonn(~sweater@206.81.18.26)
2021-02-01 05:57:25 +0100cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2021-02-01 05:59:28 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 06:00:03 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 06:00:13 +0100nuh^(srt@ip98-184-89-2.mc.at.cox.net) ()
2021-02-01 06:00:26 +0100conal(~conal@64.71.133.70)
2021-02-01 06:01:26 +0100conal(~conal@64.71.133.70) (Client Quit)
2021-02-01 06:02:33 +0100conal(~conal@64.71.133.70)
2021-02-01 06:03:38 +0100TMA(tma@twin.jikos.cz) (Ping timeout: 272 seconds)
2021-02-01 06:05:05 +0100TMA(tma@twin.jikos.cz)
2021-02-01 06:08:01 +0100cyphase(~cyphase@unaffiliated/cyphase)
2021-02-01 06:09:18 +0100ixaxaar(~ixaxaar@49.207.210.215)
2021-02-01 06:14:00 +0100paintcan`(~user@cpe-69-206-241-99.nyc.res.rr.com)
2021-02-01 06:14:17 +0100mmohammadi9812(~mmohammad@5.115.226.197) (Ping timeout: 260 seconds)
2021-02-01 06:14:46 +0100mmohammadi9812(~mmohammad@2.178.200.138)
2021-02-01 06:16:17 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 272 seconds)
2021-02-01 06:18:15 +0100h2017(~h2017@bras-base-clbaon0201w-grc-32-142-114-145-140.dsl.bell.ca)
2021-02-01 06:18:16 +0100 <h2017> hi
2021-02-01 06:18:24 +0100 <h2017> i'm not sure how to use hoogle
2021-02-01 06:19:12 +0100catt(~r@31.124.181.226)
2021-02-01 06:19:24 +0100 <h2017> i put in s -> m (a, s) and i would like it if some results pertaining to StateT came up but nothing comes up
2021-02-01 06:19:29 +0100 <h2017> what am i doing wrong?
2021-02-01 06:19:29 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 06:19:36 +0100metreo(~Thunderbi@unaffiliated/metreo) (Quit: metreo)
2021-02-01 06:21:36 +0100nfip^(nfip@ip98-184-89-2.mc.at.cox.net)
2021-02-01 06:23:01 +0100Tops21(~Tobias@dyndsl-095-033-019-168.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2021-02-01 06:23:57 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-02-01 06:23:58 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 06:24:02 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 06:25:00 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 06:25:40 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-01 06:26:05 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 06:26:20 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 06:26:26 +0100vicfred(~vicfred@unaffiliated/vicfred)
2021-02-01 06:28:40 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 06:32:03 +0100jedws(~jedws@121.209.199.128)
2021-02-01 06:37:40 +0100 <slack1256> h2017: You need to put a :: before searching type signatures
2021-02-01 06:37:52 +0100 <slack1256> Otherwise it tries to search by name IIRC.
2021-02-01 06:38:24 +0100 <slack1256> https://hoogle.haskell.org/?hoogle=%3A%3A%20MonadState%20k%20m%20%3D%3E%20k%20-%3E%20m%20()&scope=set%3Ahaskell-platform
2021-02-01 06:38:28 +0100 <glguy> h2017, I think it only matches the whole type, so you'd want something like "s -> m ()"
2021-02-01 06:38:40 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 06:39:27 +0100 <glguy> or "(s -> (a, s)) -> StateT s m a"
2021-02-01 06:39:48 +0100 <slack1256> https://hoogle.haskell.org/?hoogle=%3A%3A+s+-%3E+m+%28%29&scope=set%3Ahaskell-platform
2021-02-01 06:40:20 +0100 <slack1256> I think the " can be omitted, but the :: has been helpful to force it to search type signatures.
2021-02-01 06:45:30 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-02-01 06:47:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 06:48:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 06:48:55 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber)
2021-02-01 06:54:54 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-01 06:57:01 +0100 <d34df00d> I must be late in the evening and having a stupid question, but
2021-02-01 06:57:11 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection)
2021-02-01 06:57:41 +0100 <d34df00d> I'm doing roughly start <- liftIO getCPUTime; liftIO (threadDelay 1000000); end <- liftIO getCPUTime; and computing end - start
2021-02-01 06:57:58 +0100 <d34df00d> I'm getting 72475896000, which seems to be about 72 milliseconds.
2021-02-01 06:58:10 +0100 <d34df00d> Isn't threadDelay 1000000 guarantee at least a second delay?
2021-02-01 06:59:04 +0100 <MarcelineVQ> sure but cpu is sleepin maybe, is CPUTime the time you want to be tracking?
2021-02-01 07:00:05 +0100 <d34df00d> Oh.
2021-02-01 07:00:06 +0100 <d34df00d> Dang.
2021-02-01 07:00:08 +0100 <d34df00d> Right.
2021-02-01 07:00:15 +0100 <d34df00d> I'm stupid and gotta go to sleep.
2021-02-01 07:00:18 +0100 <d34df00d> Thanks!
2021-02-01 07:02:47 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-01 07:04:22 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-02-01 07:05:09 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-02-01 07:06:41 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-02-01 07:08:37 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 07:10:09 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection)
2021-02-01 07:11:16 +0100carldd11(~carldd@90-224-49-113-no56.tbcn.telia.com) (Read error: Connection reset by peer)
2021-02-01 07:11:31 +0100carldd11(~carldd@90-224-49-113-no56.tbcn.telia.com)
2021-02-01 07:14:33 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 07:14:34 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-01 07:15:10 +0100h2017(~h2017@bras-base-clbaon0201w-grc-32-142-114-145-140.dsl.bell.ca) (Quit: Leaving)
2021-02-01 07:16:44 +0100takuan(~takuan@178-116-218-225.access.telenet.be)
2021-02-01 07:17:35 +0100teardown(~user@gateway/tor-sasl/mrush) (Ping timeout: 268 seconds)
2021-02-01 07:18:13 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-02-01 07:19:02 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 260 seconds)
2021-02-01 07:22:45 +0100bashke(bashke@90.221.74.173) (Ping timeout: 264 seconds)
2021-02-01 07:25:56 +0100mirrorbird(~psutcliff@2a00:801:42d:5efa:6585:c362:5f1c:676)
2021-02-01 07:26:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 07:27:13 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 07:27:29 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 07:27:58 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 07:28:33 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 07:30:02 +0100jedws(~jedws@121.209.199.128) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-01 07:30:56 +0100slack1256(~slack1256@dvc-186-186-101-190.movil.vtr.net) (Remote host closed the connection)
2021-02-01 07:31:47 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-01 07:37:04 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-02-01 07:39:22 +0100conal(~conal@64.71.133.70) (Read error: Connection reset by peer)
2021-02-01 07:43:33 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Quit: Leaving)
2021-02-01 07:44:37 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 07:44:43 +0100conal(~conal@64.71.133.70)
2021-02-01 07:44:44 +0100pent(sid313808@gateway/web/irccloud.com/x-ngzfqqrmoukawicd) (Ping timeout: 260 seconds)
2021-02-01 07:44:45 +0100Kamuela(sid111576@gateway/web/irccloud.com/x-dsynqsqrieicyecx) (Ping timeout: 260 seconds)
2021-02-01 07:44:57 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 07:45:54 +0100m-renaud(sid333785@gateway/web/irccloud.com/x-kwpzxcgxkpajgdmm) (Ping timeout: 260 seconds)
2021-02-01 07:45:54 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com) (Ping timeout: 260 seconds)
2021-02-01 07:46:05 +0100m-renaud(sid333785@gateway/web/irccloud.com/x-rstexfpsjovfrhfo)
2021-02-01 07:46:34 +0100pent(sid313808@gateway/web/irccloud.com/x-lvyaqtakawbatxhe)
2021-02-01 07:46:45 +0100Kamuela(sid111576@gateway/web/irccloud.com/x-eouqoolzyumexoyp)
2021-02-01 07:47:32 +0100amiri(~amiri@cpe-76-91-154-9.socal.res.rr.com)
2021-02-01 07:47:52 +0100plutoniix(~q@184.82.204.218)
2021-02-01 07:50:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 07:50:38 +0100tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2021-02-01 07:52:30 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 07:53:37 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection)
2021-02-01 07:53:52 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 07:54:47 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-02-01 07:54:47 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Client Quit)
2021-02-01 07:55:43 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection)
2021-02-01 07:56:44 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 08:00:56 +0100atwm(~andrew@19-193-28-81.ftth.cust.kwaoo.net) (Ping timeout: 240 seconds)
2021-02-01 08:00:57 +0100knupfer(~Thunderbi@dynamic-046-114-150-095.46.114.pool.telefonica.de)
2021-02-01 08:02:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 08:02:44 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa)
2021-02-01 08:04:50 +0100d3od(~nickmeno3@78-1-65-9.adsl.net.t-com.hr) (Remote host closed the connection)
2021-02-01 08:05:03 +0100d3od(~nickmeno3@78-1-65-9.adsl.net.t-com.hr)
2021-02-01 08:05:07 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 260 seconds)
2021-02-01 08:05:32 +0100d3od(~nickmeno3@78-1-65-9.adsl.net.t-com.hr) (Client Quit)
2021-02-01 08:07:23 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 08:07:32 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 08:09:31 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 08:09:37 +0100d3od(~nickmeno3@78-1-65-9.adsl.net.t-com.hr)
2021-02-01 08:09:42 +0100d3od(~nickmeno3@78-1-65-9.adsl.net.t-com.hr) (Excess Flood)
2021-02-01 08:09:57 +0100d3od(~nickmeno3@78-1-65-9.adsl.net.t-com.hr)
2021-02-01 08:10:33 +0100d3od(~nickmeno3@78-1-65-9.adsl.net.t-com.hr) (Client Quit)
2021-02-01 08:11:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 08:12:14 +0100garFF(~garff@0x3e2c8761.mobile.telia.dk)
2021-02-01 08:12:33 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds)
2021-02-01 08:15:37 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 260 seconds)
2021-02-01 08:15:51 +0100ddere(uid110888@gateway/web/irccloud.com/x-clazbmdoizdgaoai) (Quit: Connection closed for inactivity)
2021-02-01 08:16:36 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 08:18:38 +0100forgottenone(~forgotten@176.42.19.155)
2021-02-01 08:18:48 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com)
2021-02-01 08:20:32 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 08:20:54 +0100_ht(~quassel@82-169-194-8.biz.kpn.net)
2021-02-01 08:21:27 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds)
2021-02-01 08:23:06 +0100mananamenos(~mananamen@84.122.202.215.dyn.user.ono.com) (Client Quit)
2021-02-01 08:25:26 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 265 seconds)
2021-02-01 08:29:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 08:32:42 +0100jpds_(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-01 08:33:06 +0100jpds_(~jpds@gateway/tor-sasl/jpds)
2021-02-01 08:34:14 +0100nathan1(~nathan@mx-ll-183.89.166-181.dynamic.3bb.co.th)
2021-02-01 08:34:39 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 08:34:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 08:35:52 +0100vikid(~vikid@bba428846.alshamil.net.ae) (Remote host closed the connection)
2021-02-01 08:36:35 +0100cfricke(~cfricke@unaffiliated/cfricke)
2021-02-01 08:36:45 +0100vikid(~vikid@bba428846.alshamil.net.ae)
2021-02-01 08:36:48 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 08:37:08 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 08:37:09 +0100Rudd0(~Rudd0@185.189.115.108) (Ping timeout: 264 seconds)
2021-02-01 08:40:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 264 seconds)
2021-02-01 08:41:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 08:41:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 08:45:55 +0100knupfer1(~Thunderbi@dynamic-046-114-146-132.46.114.pool.telefonica.de)
2021-02-01 08:46:13 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 08:47:40 +0100knupfer(~Thunderbi@dynamic-046-114-150-095.46.114.pool.telefonica.de) (Ping timeout: 256 seconds)
2021-02-01 08:47:41 +0100knupfer1knupfer
2021-02-01 08:48:31 +0100 <ij> Would anyone be interested to review? https://github.com/siers/ppmz/
2021-02-01 08:49:46 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2021-02-01 08:49:54 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-02-01 08:53:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 08:55:15 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-02-01 08:58:18 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-02-01 08:58:48 +0100drbean(~drbean@TC210-63-209-88.static.apol.com.tw) (Ping timeout: 246 seconds)
2021-02-01 08:59:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 08:59:43 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 09:04:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 09:10:19 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 09:14:52 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Ping timeout: 256 seconds)
2021-02-01 09:16:45 +0100cyphase(~cyphase@unaffiliated/cyphase) (Ping timeout: 240 seconds)
2021-02-01 09:20:45 +0100totoro2022(~t@unaffiliated/totoro2021) (Read error: Connection reset by peer)
2021-02-01 09:20:57 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 09:20:59 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net)
2021-02-01 09:21:10 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-01 09:22:00 +0100totoro2022(~t@unaffiliated/totoro2021)
2021-02-01 09:27:35 +0100Tuplanolla(~Tuplanoll@91-159-68-239.elisa-laajakaista.fi)
2021-02-01 09:28:12 +0100charukiewicz(~quassel@irouteince04.i.subnet.rcn.com)
2021-02-01 09:28:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 09:30:38 +0100cyphase(~cyphase@unaffiliated/cyphase)
2021-02-01 09:31:45 +0100idhugo(~idhugo@80-62-117-97-mobile.dk.customer.tdc.net) (Ping timeout: 240 seconds)
2021-02-01 09:32:57 +0100jespada(~jespada@90.254.242.138) (Ping timeout: 264 seconds)
2021-02-01 09:34:19 +0100knupfer(~Thunderbi@dynamic-046-114-146-132.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2021-02-01 09:34:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 09:35:03 +0100jespada(~jespada@90.254.242.138)
2021-02-01 09:36:24 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-02-01 09:37:42 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-01 09:38:37 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 09:39:18 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de)
2021-02-01 09:39:26 +0100bitmagie(~Thunderbi@200116b80692de00f957341c12523bc0.dip.versatel-1u1.de)
2021-02-01 09:39:58 +0100pavonia(~user@unaffiliated/siracusa) (Quit: Bye!)
2021-02-01 09:40:44 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-01 09:41:40 +0100themba_(themba@90.221.74.173)
2021-02-01 09:43:23 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 09:43:43 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer)
2021-02-01 09:44:18 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 09:44:58 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer)
2021-02-01 09:45:56 +0100mirrorbird(~psutcliff@2a00:801:42d:5efa:6585:c362:5f1c:676) (Quit: Leaving)
2021-02-01 09:46:13 +0100miguel_clean(~Miguel@89-72-187-203.dynamic.chello.pl)
2021-02-01 09:47:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 09:48:25 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-02-01 09:49:32 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-02-01 09:52:41 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 09:55:17 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 09:59:23 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 10:02:26 +0100shiraeeshi(~shiraeesh@109.166.57.33)
2021-02-01 10:03:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 10:04:16 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 240 seconds)
2021-02-01 10:04:56 +0100bitmagie(~Thunderbi@200116b80692de00f957341c12523bc0.dip.versatel-1u1.de) (Quit: bitmagie)
2021-02-01 10:05:19 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 10:05:58 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-whsjkrfdrfxedqaj)
2021-02-01 10:09:29 +0100m0rphism1(~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de)
2021-02-01 10:13:38 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-02-01 10:15:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 10:18:23 +0100heatsink(~heatsink@2600:1700:bef1:5e10:75dd:a55d:449b:280f) (Remote host closed the connection)
2021-02-01 10:21:39 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-01 10:22:01 +0100ph88(~ph88@95.90.247.26)
2021-02-01 10:23:59 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net)
2021-02-01 10:24:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 10:24:38 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 264 seconds)
2021-02-01 10:25:30 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 10:26:45 +0100nathan1(~nathan@mx-ll-183.89.166-181.dynamic.3bb.co.th) (Quit: WeeChat 3.0)
2021-02-01 10:28:29 +0100unlink2(~unlink2@p200300ebcf12ea00013250d6b4625a26.dip0.t-ipconnect.de) (Read error: Connection reset by peer)
2021-02-01 10:28:43 +0100zaquest(~notzaques@5.128.210.178) (Quit: Leaving)
2021-02-01 10:29:15 +0100Tian_(~textual@103.116.47.87)
2021-02-01 10:29:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-01 10:29:52 +0100unlink2(~unlink2@p200300ebcf12ea00013250d6b4625a26.dip0.t-ipconnect.de)
2021-02-01 10:30:24 +0100knupfer(~Thunderbi@dynamic-046-114-146-132.46.114.pool.telefonica.de)
2021-02-01 10:30:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 10:32:18 +0100Tian_(~textual@103.116.47.87) (Remote host closed the connection)
2021-02-01 10:32:20 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-prvdoscebbvquvnj) (Quit: Connection closed for inactivity)
2021-02-01 10:32:38 +0100maier(~maier@i577BCD8A.versanet.de)
2021-02-01 10:34:22 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-01 10:35:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 10:37:09 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64) (Ping timeout: 264 seconds)
2021-02-01 10:37:11 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 10:37:13 +0100Tian_(~textual@103.116.47.86)
2021-02-01 10:37:26 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 10:39:12 +0100Tian_(~textual@103.116.47.86) (Remote host closed the connection)
2021-02-01 10:39:12 +0100knupfer(~Thunderbi@dynamic-046-114-146-132.46.114.pool.telefonica.de) (Read error: Connection reset by peer)
2021-02-01 10:39:50 +0100Tian_(~textual@103.116.47.86)
2021-02-01 10:40:08 +0100Tian_(~textual@103.116.47.86) (Client Quit)
2021-02-01 10:40:22 +0100TianGTY(~textual@103.116.47.86)
2021-02-01 10:40:38 +0100charukiewicz(~quassel@irouteince04.i.subnet.rcn.com) (Quit: charukiewicz)
2021-02-01 10:42:10 +0100sqrt2_(~ben@unaffiliated/sqrt2) (Quit: ZNC - http://znc.in)
2021-02-01 10:42:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds)
2021-02-01 10:42:39 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 260 seconds)
2021-02-01 10:43:10 +0100sqrt2(~ben@unaffiliated/sqrt2)
2021-02-01 10:44:09 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 265 seconds)
2021-02-01 10:44:17 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Quit: Leaving)
2021-02-01 10:45:11 +0100jonathanx(~jonathan@h-176-109.A357.priv.bahnhof.se)
2021-02-01 10:45:54 +0100__monty__(~toonn@unaffiliated/toonn)
2021-02-01 10:48:58 +0100TianGTY(~textual@103.116.47.86) (Remote host closed the connection)
2021-02-01 10:50:16 +0100frozenErebus(~frozenEre@37.231.239.43)
2021-02-01 10:51:11 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 10:51:24 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 10:51:28 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 10:51:43 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 10:52:14 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 10:52:19 +0100TianGTY(~textual@103.116.47.86)
2021-02-01 10:52:30 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 10:53:02 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 10:53:18 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 10:53:49 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 10:56:25 +0100TianGTY(~textual@103.116.47.86) (Remote host closed the connection)
2021-02-01 10:57:48 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-02-01 10:58:41 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 10:58:50 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 10:59:46 +0100TianGTY(~textual@103.116.47.86)
2021-02-01 11:00:39 +0100Rudd0(~Rudd0@185.189.115.103)
2021-02-01 11:01:39 +0100sigmundv_(~sigmundv@178.62.72.87)
2021-02-01 11:01:48 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 11:03:33 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds)
2021-02-01 11:03:33 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 11:06:33 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-01 11:06:36 +0100zaquest(~notzaques@5.128.210.178)
2021-02-01 11:07:40 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it)
2021-02-01 11:10:52 +0100TianGTY(~textual@103.116.47.86) (Remote host closed the connection)
2021-02-01 11:13:47 +0100garFF(~garff@0x3e2c8761.mobile.telia.dk) (Read error: Connection reset by peer)
2021-02-01 11:14:00 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 11:14:14 +0100TianGTY(~textual@103.116.47.86)
2021-02-01 11:15:29 +0100garFF(~garff@0x3e2c8761.mobile.telia.dk)
2021-02-01 11:16:13 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-02-01 11:17:23 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 11:18:46 +0100heatsink(~heatsink@2600:1700:bef1:5e10:75dd:a55d:449b:280f)
2021-02-01 11:18:55 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 11:21:45 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 240 seconds)
2021-02-01 11:22:57 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 11:23:02 +0100zar(~zar@fw1.ciirc.cvut.cz)
2021-02-01 11:24:39 +0100heatsink(~heatsink@2600:1700:bef1:5e10:75dd:a55d:449b:280f) (Ping timeout: 260 seconds)
2021-02-01 11:25:02 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-01 11:28:08 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 265 seconds)
2021-02-01 11:28:17 +0100Lord_of_Life_Lord_of_Life
2021-02-01 11:28:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 11:28:29 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 11:29:26 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 240 seconds)
2021-02-01 11:29:35 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 11:30:09 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 11:31:23 +0100DavidEichmann(~david@234.109.45.217.dyn.plus.net)
2021-02-01 11:32:15 +0100thc202(~thc202@unaffiliated/thc202)
2021-02-01 11:32:43 +0100 <ArsenArsen> hey! why does cabal rebuild libraries that I installed via dnf (ghc-hakyll specifically)
2021-02-01 11:32:46 +0100 <ArsenArsen> and it's deps
2021-02-01 11:33:08 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 256 seconds)
2021-02-01 11:33:08 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 11:34:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 11:34:56 +0100 <dminuoso> Say I have `data RG = RG_Red | RG_Green` and `data RGB = RGB_Red | RGB_Green | RGB_Blue`, is there a handwaving name for `RG -> RGB`?
2021-02-01 11:35:03 +0100kuribas(~user@ptr-25vy0i7cngosydw8s7t.18120a2.ip6.access.telenet.be)
2021-02-01 11:35:18 +0100 <dminuoso> The question is not particualr to the choice of color here, Im trying to find something generic that sort of "injects" a sum type into a larger sum type
2021-02-01 11:35:53 +0100 <dminuoso> It's slightly more than just an injection, since it's of course implicitly assumed that `f RG_Red = RGB_Red` etc
2021-02-01 11:37:38 +0100 <dminuoso> And similarly, the dual going from `data ABC = ABC { a :: Int, b :: Char, c :: Float }` to `data AB = AB { a :: Int, b :: Char }`
2021-02-01 11:38:31 +0100fendor_(~fendor@91.141.0.151.wireless.dyn.drei.com)
2021-02-01 11:38:40 +0100 <dminuoso> Right now, Ive been using `raise/raiseRG` and `lower/lowerABC` - just not sure whether there's something more adequate or idiomatic
2021-02-01 11:40:47 +0100 <merijn> ArsenArsen: What is dnf?
2021-02-01 11:41:35 +0100 <shiraeeshi> dminuoso: in a dynamically typed language you would only have one type - the wider one
2021-02-01 11:42:05 +0100 <shiraeeshi> dminuoso: that way you wouldn't have to bother with conversions
2021-02-01 11:42:08 +0100 <ArsenArsen> merijn: it's fedoras package manager
2021-02-01 11:42:18 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 11:43:23 +0100 <merijn> ArsenArsen: Well, the obvious reason would be "dnf didn't install the package into the global package database", which tbh, is probably the right call, because installing packages into the global package database is a great way to get a trip to unhappy town
2021-02-01 11:43:37 +0100 <lortabac> dminuoso: upcast/downcast o inject/project
2021-02-01 11:44:24 +0100 <ArsenArsen> merijn: well, I might need to figure out a way to correct that then, because I'd like to not rebuild pandoc every time I push a commit :^)
2021-02-01 11:44:34 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 11:44:36 +0100 <shiraeeshi> dminuoso: in scala there are implicits, they allow implicitly invoking a conversion function by specifying the needed type
2021-02-01 11:44:37 +0100 <merijn> ArsenArsen: If you've got a package in the global package database, that will restrict the possible versions of anything you ever wanna use
2021-02-01 11:44:39 +0100plutoniix(~q@184.82.204.218) (Quit: Leaving)
2021-02-01 11:45:24 +0100 <lortabac> dminuoso: https://hackage.haskell.org/package/generic-lens-2.1.0.0/docs/Data-Generics-Sum-Subtype.html
2021-02-01 11:45:24 +0100 <ArsenArsen> that's fine for this use-case
2021-02-01 11:45:24 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds)
2021-02-01 11:45:27 +0100 <__monty__> ArsenArsen: If you're rebuilding pandoc for every commit you'll have to rebuild pandoc for every commit. Cabal doesn't rebuild anything unless it has to.
2021-02-01 11:45:34 +0100 <merijn> ArsenArsen: It should only build your dependencies *once*
2021-02-01 11:45:48 +0100 <ArsenArsen> maybe I need to install ghc-hakyll-devel, I'll try that
2021-02-01 11:45:59 +0100 <ArsenArsen> merijn __monty__: yes, but I can't cache those deps across CI runs
2021-02-01 11:46:14 +0100 <merijn> Why not?
2021-02-01 11:46:38 +0100 <ArsenArsen> limitations of the platform
2021-02-01 11:47:32 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 272 seconds)
2021-02-01 11:48:48 +0100sigmundv_(~sigmundv@178.62.72.87) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-01 11:49:04 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 11:49:23 +0100sigmundv_(~sigmundv@178.62.72.87)
2021-02-01 11:50:18 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 11:50:31 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 258 seconds)
2021-02-01 11:50:51 +0100 <shiraeeshi> :lortabac, so can I say that lens are about conversions?
2021-02-01 11:51:13 +0100unlink2(~unlink2@p200300ebcf12ea00013250d6b4625a26.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-02-01 11:51:16 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-02-01 11:51:30 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 11:52:26 +0100unlink2(~unlink2@p57b8511e.dip0.t-ipconnect.de)
2021-02-01 11:54:33 +0100Codaraxis__(Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 264 seconds)
2021-02-01 11:55:05 +0100 <Franciman> shiraeeshi, they are about adapting
2021-02-01 11:55:13 +0100 <Franciman> and so also conversion
2021-02-01 11:55:46 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 11:55:54 +0100shiraeeshi(~shiraeesh@109.166.57.33) (Read error: Connection reset by peer)
2021-02-01 11:56:21 +0100maier(~maier@i577BCD8A.versanet.de) (Quit: leaving)
2021-02-01 11:57:11 +0100shiraeeshi(~shiraeesh@109.166.57.33)
2021-02-01 11:58:48 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-02-01 11:59:06 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 11:59:40 +0100 <dminuoso> lortabac: Mmm, and super/upcast/smash for products. Thanks, those could actually work. In fact, Im tempted to even use this library now. :)
2021-02-01 11:59:53 +0100Codaraxis__(Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-02-01 12:01:23 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 12:02:02 +0100sigmundv_(~sigmundv@178.62.72.87) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-01 12:02:04 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr)
2021-02-01 12:02:51 +0100jpds_(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-01 12:03:14 +0100jpds_(~jpds@gateway/tor-sasl/jpds)
2021-02-01 12:04:38 +0100oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Ping timeout: 272 seconds)
2021-02-01 12:06:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 12:06:38 +0100TianGTY(~textual@103.116.47.86) (Remote host closed the connection)
2021-02-01 12:07:51 +0100Codaraxis__(Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection)
2021-02-01 12:09:13 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 265 seconds)
2021-02-01 12:10:11 +0100TianGTY(~textual@103.116.47.86)
2021-02-01 12:13:19 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 12:13:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 12:14:58 +0100ADG1089__(~aditya@223.236.190.35)
2021-02-01 12:15:37 +0100rdivyanshu(uid322626@gateway/web/irccloud.com/x-whsjkrfdrfxedqaj) (Quit: Connection closed for inactivity)
2021-02-01 12:17:30 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 12:18:28 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 12:20:47 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886)
2021-02-01 12:20:57 +0100frozenErebus(~frozenEre@37.231.239.43) (Ping timeout: 264 seconds)
2021-02-01 12:21:13 +0100_linker_(~linker@2a02:a31a:a045:3500:444d:215c:647d:b95c)
2021-02-01 12:22:09 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-02-01 12:23:30 +0100heredoc(heredoc@2a01:7e01::f03c:91ff:fec1:de1d) (Quit: ZNC - http://znc.in)
2021-02-01 12:23:43 +0100sigmundv_(~sigmundv@178.62.72.87)
2021-02-01 12:23:54 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 246 seconds)
2021-02-01 12:25:22 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886) (Ping timeout: 265 seconds)
2021-02-01 12:28:07 +0100TianGTY(~textual@103.116.47.86) (Remote host closed the connection)
2021-02-01 12:29:33 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 12:30:59 +0100 <shiraeeshi> mmm, ravioli. what's in my pocket-oli
2021-02-01 12:31:17 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 12:31:28 +0100TianGTY(~textual@103.116.47.86)
2021-02-01 12:31:51 +0100 <shiraeeshi> here is a question: do you consider the need of explicit conversions a drawback of a language?
2021-02-01 12:32:39 +0100 <shiraeeshi> or do you get rid of them somehow?
2021-02-01 12:33:23 +0100sigmundv_(~sigmundv@178.62.72.87) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-01 12:33:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 258 seconds)
2021-02-01 12:33:48 +0100frozenErebus(~frozenEre@37.231.239.43)
2021-02-01 12:34:04 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Ping timeout: 265 seconds)
2021-02-01 12:34:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 12:34:45 +0100jluttine(~jluttine@85-23-95-149.bb.dnainternet.fi) (Ping timeout: 264 seconds)
2021-02-01 12:35:58 +0100sigmundv_(~sigmundv@178.62.72.87)
2021-02-01 12:35:59 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 12:36:57 +0100 <jle`> i would say that it's useful in some situations and not so much in others; it's not a clear-cut drawback as much as it is a trade
2021-02-01 12:37:13 +0100 <jle`> becuase you gain things from it that can be useful in different situations
2021-02-01 12:37:24 +0100 <jle`> so in those situations, it's an advantage
2021-02-01 12:37:56 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds)
2021-02-01 12:38:31 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-01 12:39:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-01 12:40:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 12:41:21 +0100lawid(~quassel@dslb-090-186-099-081.090.186.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-02-01 12:41:53 +0100tadeas(~tadeas@185-219-166-254-static.vivo.cz)
2021-02-01 12:41:58 +0100tadeas(~tadeas@185-219-166-254-static.vivo.cz) ()
2021-02-01 12:42:07 +0100lawid(~quassel@dslb-178-005-066-218.178.005.pools.vodafone-ip.de)
2021-02-01 12:44:45 +0100TianGTY(~textual@103.116.47.86) (Remote host closed the connection)
2021-02-01 12:45:04 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-01 12:45:06 +0100okad1(~okad@ec2-18-135-78-237.eu-west-2.compute.amazonaws.com) (Ping timeout: 256 seconds)
2021-02-01 12:45:15 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-01 12:46:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 12:48:24 +0100TianGTY(~textual@103.116.47.86)
2021-02-01 12:50:26 +0100TianGTY(~textual@103.116.47.86) (Remote host closed the connection)
2021-02-01 12:51:26 +0100TianGTY(~textual@103.116.47.86)
2021-02-01 12:51:53 +0100 <__monty__> Explicit conversions are often simple while semantic issues because of missing or superfluous components can be hard to track down.
2021-02-01 12:51:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds)
2021-02-01 12:52:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 12:52:31 +0100brantje(~brantje@139.28.218.148) (Remote host closed the connection)
2021-02-01 12:55:05 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch)
2021-02-01 12:55:11 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 12:57:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 12:58:07 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 12:58:11 +0100plutoniix(~q@ppp-27-55-82-203.revip3.asianet.co.th)
2021-02-01 12:58:50 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 13:00:02 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 13:01:17 +0100jluttine(~jluttine@85-23-95-149.bb.dnainternet.fi)
2021-02-01 13:03:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 13:03:06 +0100knupfer(~Thunderbi@200116b82ca027007092e7063729623d.dip.versatel-1u1.de)
2021-02-01 13:03:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 13:03:58 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 13:06:32 +0100oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2021-02-01 13:08:42 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 246 seconds)
2021-02-01 13:08:50 +0100kupi(uid212005@gateway/web/irccloud.com/x-chlcbqblmhgouecw)
2021-02-01 13:09:54 +0100jpds_(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-01 13:10:15 +0100jpds_(~jpds@gateway/tor-sasl/jpds)
2021-02-01 13:10:56 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 13:14:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 13:15:22 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 13:15:39 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 13:18:15 +0100 <kuribas> hmm, mtl is quite nice to work with when you get used to it...
2021-02-01 13:18:36 +0100 <kuribas> that is, I use it to "plumb" my own combinators and monad stacks.
2021-02-01 13:19:09 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-01 13:19:35 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-02-01 13:19:46 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 13:19:56 +0100 <kuribas> I have not yet felt the "need" for other effect-systems...
2021-02-01 13:20:20 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-01 13:20:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-01 13:21:19 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 13:21:30 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886)
2021-02-01 13:21:57 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-01 13:24:43 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 13:25:10 +0100xlei(znc@unaffiliated/xlei)
2021-02-01 13:25:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886) (Ping timeout: 240 seconds)
2021-02-01 13:25:55 +0100 <dminuoso> shiraeeshi: Are a prime example of how unclear it is. It could be argued, that explicit conversions reduce bugs in many cases. This seems obvious and intuitive at first.
2021-02-01 13:26:17 +0100 <dminuoso> After all, if you cant accidentally confuse two value types and must explicitly convert between them, then you consciously deal with the value types and conversion thresholds.
2021-02-01 13:26:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 13:26:57 +0100 <dminuoso> But Haskell has the largest counter-example: fromIntegral/realToFrac are just utter non-sense. The numeric system in Haskell might as well do implicit conversions C-style, because the explicit conversions in Haskell do not help at all.
2021-02-01 13:28:01 +0100 <kuribas> dminuoso: they help a little
2021-02-01 13:28:13 +0100 <kuribas> because you know where the conversion is taking place
2021-02-01 13:28:30 +0100 <kuribas> which is not that obvious in C
2021-02-01 13:28:32 +0100 <merijn> Still
2021-02-01 13:28:34 +0100 <dminuoso> That knowledge is only useful if you could reasonably act on narrowing.
2021-02-01 13:28:37 +0100 <merijn> fromIntegral is kinda shite
2021-02-01 13:30:57 +0100 <kuribas> you mean like dividing fromIntegral into a safe fromIntegral, and an unsafe one?
2021-02-01 13:31:03 +0100 <dminuoso> The thing is, without fromIntegral you can't make things fit. With it, narrowing bugs occur. Now you could use toIntegralSized, but dealing with the Maybe breaks much of the comfort and you have a real performance hurdle now.
2021-02-01 13:31:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 13:32:07 +0100 <dminuoso> kuribas: a safe fromIntegral that has static type checking for whether the conversion is safe, yes.
2021-02-01 13:32:11 +0100 <dminuoso> int-cast has the facilities for that
2021-02-01 13:32:21 +0100 <dminuoso> intCast :: (Integral a, Integral b, IsIntSubType a b ~ True) => a -> b
2021-02-01 13:32:26 +0100 <merijn> kuribas: What I mean is that "the one time I had to fix a bug in the GHC RTS related to fromIntegral the first 2 merged and reviewed fixes were wrong, because fromIntegral is nearly impossible to use safely"
2021-02-01 13:32:53 +0100 <kuribas> merijn: well, my take is that it's not meant to be used safely...
2021-02-01 13:33:05 +0100 <dminuoso> If anything, Haskell shows how bad it is to have a wealth of numeric types.
2021-02-01 13:33:15 +0100atwm(~andrew@5.234.197.178.dynamic.wless.lssmb00p-cgnat.res.cust.swisscom.ch) (Quit: WeeChat 3.0)
2021-02-01 13:33:16 +0100 <kuribas> it's basically an unsafe function for doing performant conversions.
2021-02-01 13:33:28 +0100 <merijn> kuribas: You'd want at least something "fromIntegral :: (Integral a, Integral b) => a -> Either (b, a) b
2021-02-01 13:33:40 +0100 <merijn> kuribas: You should be able to statically check conversion is safe
2021-02-01 13:33:50 +0100 <dminuoso> hence: int-cast
2021-02-01 13:34:04 +0100 <kuribas> In my db library I do a bounds check and generate a runtime error on underflow/overflow
2021-02-01 13:34:07 +0100 <merijn> kuribas: There is zero reason why a "safe" version would necessarily be any less performant
2021-02-01 13:34:08 +0100 <dminuoso> If you value code correctness and deal with numeric types, chances are you should use it
2021-02-01 13:34:21 +0100 <merijn> kuribas: Bounds checking fromIntegral is nearly impossible
2021-02-01 13:34:22 +0100 <kuribas> merijn: because of not doing bound checks?
2021-02-01 13:34:34 +0100 <kuribas> merijn: I use minBound and maxBound
2021-02-01 13:34:44 +0100 <merijn> kuribas: You pretend this is easy
2021-02-01 13:34:58 +0100 <merijn> kuribas: Like I said: I had a fix in the GHC RTS that was reviewed by 2 GHC committers
2021-02-01 13:35:05 +0100 <merijn> kuribas: It was still wrong *2* times
2021-02-01 13:35:20 +0100 <kuribas> why does programming have to be easy?
2021-02-01 13:35:21 +0100 <merijn> The current code has more comment lines than code to prove the code is safe
2021-02-01 13:35:32 +0100 <merijn> kuribas: Because there is no reason why this *should* be hard
2021-02-01 13:35:33 +0100 <kuribas> types cannot solve any programming problem...
2021-02-01 13:36:00 +0100 <merijn> kuribas: Can you pastebin your bounds checking using minBound/maxBound?
2021-02-01 13:36:03 +0100 <kuribas> but fromIntegral is there to stay. Then we need a library which provides a safer way.
2021-02-01 13:36:52 +0100 <kuribas> merijn: https://github.com/kuribas/hasqlator-mysql/blob/main/src/Database/MySQL/Hasqlator.hs#L562
2021-02-01 13:36:58 +0100 <merijn> My Bayesian prior is that everyone's bounds checking code is wrong until proven otherwise :p
2021-02-01 13:37:02 +0100noCheese(~nocheese@unaffiliated/nocheese) (Ping timeout: 260 seconds)
2021-02-01 13:37:05 +0100lawid(~quassel@dslb-178-005-066-218.178.005.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-02-01 13:37:57 +0100geekosaur(ac3a5771@172.58.87.113)
2021-02-01 13:38:14 +0100 <kuribas> merijn: feel free to find a bug :)
2021-02-01 13:38:25 +0100 <merijn> kuribas: The first case is already broken
2021-02-01 13:38:39 +0100 <merijn> On line 564
2021-02-01 13:38:58 +0100lawid(~quassel@dslb-178-005-066-218.178.005.pools.vodafone-ip.de)
2021-02-01 13:39:00 +0100 <merijn> If the minBound of 'a' is smaller than "minBound :: Int64"
2021-02-01 13:39:17 +0100 <merijn> You'll convert to a massively bigger number
2021-02-01 13:39:31 +0100 <merijn> > (minBound :: Int64) - 1
2021-02-01 13:39:32 +0100 <lambdabot> 9223372036854775807
2021-02-01 13:39:43 +0100 <kuribas> merijn: but it isn't smaller
2021-02-01 13:39:57 +0100 <merijn> kuribas: How do you know?
2021-02-01 13:40:04 +0100 <kuribas> because it's an internal function
2021-02-01 13:40:35 +0100 <kuribas> so it's only called on a fixed set of types.
2021-02-01 13:40:36 +0100 <merijn> kuribas: https://github.com/kuribas/hasqlator-mysql/blob/main/src/Database/MySQL/Hasqlator.hs#L614-L615
2021-02-01 13:40:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 13:40:45 +0100geowiesnot(~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-02-01 13:40:56 +0100 <kuribas> merijn: yes?
2021-02-01 13:41:01 +0100 <merijn> > fromIntegral (-9223372036854775809 :: Integer) :: Int64
2021-02-01 13:41:03 +0100 <lambdabot> 9223372036854775807
2021-02-01 13:41:08 +0100 <kuribas> merijn: that one doesn't do bounds checking
2021-02-01 13:42:28 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 13:43:49 +0100plutoniix(~q@ppp-27-55-82-203.revip3.asianet.co.th) (Quit: Leaving)
2021-02-01 13:43:51 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Remote host closed the connection)
2021-02-01 13:44:25 +0100frozenErebus(~frozenEre@37.231.239.43) (Ping timeout: 240 seconds)
2021-02-01 13:44:26 +0100noCheese(~nocheese@gw2.aibor.de)
2021-02-01 13:44:26 +0100noCheese(~nocheese@gw2.aibor.de) (Changing host)
2021-02-01 13:44:26 +0100noCheese(~nocheese@unaffiliated/nocheese)
2021-02-01 13:45:50 +0100ADG1089__(~aditya@223.236.190.35) (Remote host closed the connection)
2021-02-01 13:45:58 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-02-01 13:46:05 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 240 seconds)
2021-02-01 13:46:09 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net) (Ping timeout: 246 seconds)
2021-02-01 13:47:00 +0100Katarushisu(~Katarushi@cpc152083-finc20-2-0-cust170.4-2.cable.virginm.net)
2021-02-01 13:47:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 13:50:02 +0100dxld(~dxld@rush.pub.dxld.at)
2021-02-01 13:55:07 +0100__monty__(~toonn@unaffiliated/toonn) (Ping timeout: 260 seconds)
2021-02-01 13:56:03 +0100Tario(~Tario@201.192.165.173)
2021-02-01 13:56:59 +0100__monty__(~toonn@unaffiliated/toonn)
2021-02-01 13:58:10 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 13:59:26 +0100lawid(~quassel@dslb-178-005-066-218.178.005.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-02-01 14:00:54 +0100lawid(~quassel@dslb-002-202-157-134.002.202.pools.vodafone-ip.de)
2021-02-01 14:01:01 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 14:01:28 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 14:02:32 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine)
2021-02-01 14:02:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 14:03:06 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-02-01 14:04:53 +0100hekkaidekapus{(~tchouri@gateway/tor-sasl/hekkaidekapus)
2021-02-01 14:05:37 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-01 14:05:39 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 260 seconds)
2021-02-01 14:06:05 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 14:07:30 +0100oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com) (Ping timeout: 246 seconds)
2021-02-01 14:07:40 +0100hekkaidekapus_(~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds)
2021-02-01 14:09:35 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-sdtukruwniaerejo)
2021-02-01 14:09:57 +0100 <kuribas> merijn: I guess your silence means it bugfree? :)
2021-02-01 14:11:01 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 265 seconds)
2021-02-01 14:12:04 +0100 <arahael> *crickets*.
2021-02-01 14:12:08 +0100SupaYoshi(~supayoshi@213-10-140-13.fixed.kpn.net)
2021-02-01 14:13:13 +0100 <merijn> kuribas: Silence means "my mom dropped in because her car got totalled" :p
2021-02-01 14:13:31 +0100 <kuribas> okay... erm what?
2021-02-01 14:13:50 +0100 <merijn> Icy roads today :p
2021-02-01 14:13:58 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 14:14:19 +0100TianGTY(~textual@103.116.47.86) (Quit: My MacBook has gone to sleep. ZZZzzz…)
2021-02-01 14:14:57 +0100lawid(~quassel@dslb-002-202-157-134.002.202.pools.vodafone-ip.de) (Ping timeout: 264 seconds)
2021-02-01 14:15:11 +0100 <arahael> merijn: Someone clearly didn't use haskell to design those roads! (Seriously though, that's nuts! How is getting cars totaled on icy roads normalised? :O)
2021-02-01 14:15:33 +0100arahaelpoints out that he doesn't usually have icy roads in his country, so this is totally out of his experience.
2021-02-01 14:15:41 +0100 <merijn> Probably a bit off-topic here :p
2021-02-01 14:15:53 +0100 <arahael> Heh. Fair.
2021-02-01 14:16:18 +0100lawid(~quassel@dslb-090-186-099-041.090.186.pools.vodafone-ip.de)
2021-02-01 14:16:51 +0100shiraeeshi(~shiraeesh@109.166.57.33) (Ping timeout: 256 seconds)
2021-02-01 14:18:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 14:18:40 +0100urodna(~urodna@unaffiliated/urodna)
2021-02-01 14:21:27 +0100aveltras(uid364989@gateway/web/irccloud.com/x-mxzuswfxnnumwsmo)
2021-02-01 14:21:44 +0100frozenErebus(~frozenEre@37.231.239.43)
2021-02-01 14:22:14 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886)
2021-02-01 14:22:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 14:26:25 +0100lawid(~quassel@dslb-090-186-099-041.090.186.pools.vodafone-ip.de) (Ping timeout: 240 seconds)
2021-02-01 14:26:44 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886) (Ping timeout: 240 seconds)
2021-02-01 14:26:56 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 14:26:57 +0100geekosaur(ac3a5771@172.58.87.113) (Ping timeout: 248 seconds)
2021-02-01 14:27:12 +0100Kaivo(~Kaivo@104-200-86-99.mc.derytele.com)
2021-02-01 14:27:34 +0100shiraeeshi(~shiraeesh@109.166.57.33)
2021-02-01 14:27:50 +0100Alleria(~textual@zrcout.mskcc.org)
2021-02-01 14:28:13 +0100AlleriaGuest19099
2021-02-01 14:28:45 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-02-01 14:28:59 +0100alx741(~alx741@186.178.110.149)
2021-02-01 14:32:05 +0100Guest47991(~textual@mskresolve-a.mskcc.org) (Ping timeout: 272 seconds)
2021-02-01 14:32:16 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 240 seconds)
2021-02-01 14:32:58 +0100lawid(~quassel@dslb-090-186-099-248.090.186.pools.vodafone-ip.de)
2021-02-01 14:33:38 +0100perrier-jouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2021-02-01 14:34:56 +0100jacks2(~bc8134e3@217.29.117.252)
2021-02-01 14:36:04 +0100forgottenone(~forgotten@176.42.19.155) (Quit: Konversation terminated!)
2021-02-01 14:36:05 +0100carlomagno(~cararell@148.87.23.11) (Remote host closed the connection)
2021-02-01 14:36:10 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net)
2021-02-01 14:36:20 +0100carlomagno(~cararell@148.87.23.6)
2021-02-01 14:36:24 +0100frozenErebus(~frozenEre@37.231.239.43) (Ping timeout: 240 seconds)
2021-02-01 14:37:58 +0100ces(~ces@fsf/member/ces)
2021-02-01 14:40:09 +0100mmohammadi9812(~mmohammad@2.178.200.138) (Ping timeout: 264 seconds)
2021-02-01 14:40:10 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-01 14:40:23 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-01 14:40:39 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 260 seconds)
2021-02-01 14:42:53 +0100gxt(~gxt@gateway/tor-sasl/gxt) (Quit: WeeChat 3.0)
2021-02-01 14:43:44 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 14:44:19 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-02-01 14:44:59 +0100frozenErebus(~frozenEre@37.231.239.43)
2021-02-01 14:46:05 +0100soft-warm(4408f588@ip68-8-245-136.sd.sd.cox.net) (Quit: Connection closed)
2021-02-01 14:46:26 +0100CyBrChRsT(~CyBrChRsT@185.163.110.109)
2021-02-01 14:46:47 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-02-01 14:47:56 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds)
2021-02-01 14:48:24 +0100mmohammadi9812(~mmohammad@5.238.164.53)
2021-02-01 14:48:38 +0100carlomagno(~cararell@148.87.23.6) (Quit: Leaving.)
2021-02-01 14:49:47 +0100o1lo01ol1o(~o1lo01ol1@bl7-89-228.dsl.telepac.pt)
2021-02-01 14:51:53 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 14:54:08 +0100 <jacks2> hi. is there alternative to using unsafePerformIO for creating global IORef or TVar?
2021-02-01 14:54:21 +0100bitmagie(~Thunderbi@200116b80692de00b52342586e141019.dip.versatel-1u1.de)
2021-02-01 14:54:29 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 14:54:49 +0100ces(~ces@fsf/member/ces) (Quit: WeeChat 3.0)
2021-02-01 14:56:12 +0100jamm_(~jamm@unaffiliated/jamm) (Remote host closed the connection)
2021-02-01 14:56:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 14:58:34 +0100 <merijn> You mean besides "don't"?
2021-02-01 14:58:47 +0100darjeeling_(~darjeelin@115.215.41.65) (Ping timeout: 272 seconds)
2021-02-01 14:58:50 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-01 14:59:17 +0100berberman(~berberman@unaffiliated/berberman)
2021-02-01 14:59:34 +0100 <jacks2> yes besides don't
2021-02-01 14:59:41 +0100 <jacks2> no other way to create global reference?
2021-02-01 15:00:38 +0100earldouglas(~james@unaffiliated/jamestastic) ()
2021-02-01 15:00:44 +0100 <Franciman> jacks2, you may benefit from a reader monad
2021-02-01 15:00:49 +0100 <Franciman> in which you put your IORef
2021-02-01 15:00:57 +0100 <Franciman> you define the IORef in main
2021-02-01 15:01:00 +0100geekosaur(82650c7c@130.101.12.124)
2021-02-01 15:01:12 +0100 <Franciman> and then execute the rest of your life in a ReaderT IORef WahteverYouWant
2021-02-01 15:01:17 +0100dragestil(~quassel@fsf/member/dragestil)
2021-02-01 15:02:15 +0100 <hololeap> can you make `cabal repl` bring all your modules into scope?
2021-02-01 15:02:27 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl)
2021-02-01 15:02:45 +0100frozenErebus(~frozenEre@37.231.239.43) (Ping timeout: 240 seconds)
2021-02-01 15:04:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 15:04:32 +0100 <jacks2> Franciman, yeah, I'm familiar with alternatives. but my question is, if you want to make top-level ref, unsafePerform is the only way to do it?
2021-02-01 15:04:50 +0100 <Franciman> ehe yes
2021-02-01 15:04:54 +0100 <merijn> jacks2: Yes
2021-02-01 15:05:06 +0100 <Franciman> a proof of this is that you need to watch all functions that return an IORef
2021-02-01 15:05:13 +0100 <Franciman> they are all IO computations
2021-02-01 15:05:19 +0100 <Franciman> as they must be
2021-02-01 15:05:37 +0100 <Franciman> otherwise let us just mix and match effects
2021-02-01 15:06:42 +0100avdb(~avdb@gateway/tor-sasl/avdb)
2021-02-01 15:07:31 +0100berberman(~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in)
2021-02-01 15:07:53 +0100berberman(~berberman@unaffiliated/berberman)
2021-02-01 15:08:19 +0100 <hololeap> anybody? i would think this is a common question but i had a hard time searching for it.
2021-02-01 15:08:45 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds)
2021-02-01 15:08:50 +0100 <Franciman> sorry hololeap, I don't know
2021-02-01 15:08:54 +0100frozenErebus(~frozenEre@37.231.239.43)
2021-02-01 15:09:12 +0100marek_(~mmahut@209.250.249.245) (Changing host)
2021-02-01 15:09:12 +0100marek_(~mmahut@fedora/pyxel)
2021-02-01 15:09:18 +0100marek_marek
2021-02-01 15:09:24 +0100 <geekosaur> it comes up every couple weeks in here and the answer always seems to be "you can't really"
2021-02-01 15:09:49 +0100Cale(~cale@cpef48e38ee8583-cm0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection)
2021-02-01 15:10:05 +0100 <geekosaur> ghci is pretty limited and neither cabal repl nor stack ghci can work around those limitations very well
2021-02-01 15:10:14 +0100 <merijn> I mean, conceptually it could work in Haskell
2021-02-01 15:10:31 +0100 <merijn> In practice GHC doesn't support it and that's good, actually
2021-02-01 15:11:22 +0100darjeeling_(~darjeelin@115.215.41.65)
2021-02-01 15:11:30 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 15:11:58 +0100 <ij> :l file works pretty well, doesn't it?
2021-02-01 15:12:09 +0100 <tdammers> the argument against a top-level unsafePerformIO are the same as the arguments against singletons (in the imperative-OOP sense) in, say, Java - "global" is kind of an ill-defined concept on a modern computer system
2021-02-01 15:13:00 +0100 <tdammers> the only difference, really, is that Haskell makes them awkward and inconvenient on purpose, while Java makes them look clever
2021-02-01 15:13:53 +0100 <geekosaur> ij, it resets everything else in scope
2021-02-01 15:15:24 +0100raym(~ray@45.64.220.55) (Quit: leaving)
2021-02-01 15:16:24 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds)
2021-02-01 15:16:48 +0100kritzefitz(~kritzefit@212.86.56.80) (Ping timeout: 246 seconds)
2021-02-01 15:17:06 +0100 <kuribas> tdammers: but global means global on in process, not in the whole computer, right?
2021-02-01 15:17:18 +0100 <tdammers> well, that's the question, what *does* it mean?
2021-02-01 15:17:41 +0100deviantfero(~deviantfe@190.150.27.58)
2021-02-01 15:17:52 +0100 <tdammers> and also: can you think of something that truly must be globally unique per process?
2021-02-01 15:17:56 +0100 <tdammers> because I honestly can't
2021-02-01 15:18:05 +0100 <kuribas> no, I prefer ReaderT
2021-02-01 15:18:15 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw) (Quit: ZNC - https://znc.in)
2021-02-01 15:18:28 +0100 <tdammers> the only situation where I would consider using this kind of thing is for debugging purposes
2021-02-01 15:18:30 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 15:18:37 +0100raym(~ray@45.64.220.55)
2021-02-01 15:19:00 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 15:19:03 +0100 <kuribas> ReaderT makes it immediately obvious which state is present.
2021-02-01 15:19:08 +0100 <kuribas> global state doesn't.
2021-02-01 15:19:34 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-01 15:19:43 +0100 <tdammers> ReaderT, IORef ->, doesn't matter so much
2021-02-01 15:20:01 +0100 <hololeap> i seem to remember something about a .ghci file. i can't seem to find any info on it
2021-02-01 15:20:51 +0100 <kuribas> tdammers: well, ReaderT IORef is basically IORef ->
2021-02-01 15:21:17 +0100 <kuribas> but it has convenient instances for Monad, Applicative, etc...
2021-02-01 15:21:19 +0100carlomagno(~cararell@148.87.23.7)
2021-02-01 15:21:28 +0100 <geekosaur> https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#the-ghci-files
2021-02-01 15:21:41 +0100 <kuribas> well (->) has them to, but they are obfuscating code.
2021-02-01 15:21:45 +0100frozenErebus(~frozenEre@37.231.239.43) (Ping timeout: 240 seconds)
2021-02-01 15:21:51 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com)
2021-02-01 15:22:26 +0100 <geekosaur> however you really want to read https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#what-s-really-in-scope-at…
2021-02-01 15:22:51 +0100 <hololeap> geekosaur: cool, thanks
2021-02-01 15:22:54 +0100 <geekosaur> before trying to game it into doing something it really doesn't want to do
2021-02-01 15:23:37 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”)
2021-02-01 15:24:53 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 15:25:14 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-02-01 15:25:30 +0100bitmagie(~Thunderbi@200116b80692de00b52342586e141019.dip.versatel-1u1.de) (Quit: bitmagie)
2021-02-01 15:26:01 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-01 15:27:56 +0100gproto23(~gproto23@unaffiliated/gproto23)
2021-02-01 15:29:11 +0100frdg`(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-02-01 15:29:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 15:29:41 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-01 15:31:24 +0100 <frdg`> Does a statement like this in a monad, `(Just x) <- someFunction`, lead to a partial function? someFunction could give back Nothing and that case has not been accounted for.
2021-02-01 15:31:53 +0100 <merijn> frdg`: It leads to a MonadFail constraint in recent GHC
2021-02-01 15:31:56 +0100 <geekosaur> yes, it induces a MonadFail constraint and if the implicit pattern match failsl invokes `fail`
2021-02-01 15:32:13 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 256 seconds)
2021-02-01 15:32:59 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net) (Ping timeout: 272 seconds)
2021-02-01 15:33:18 +0100 <geekosaur> what `fail` does is specific to the MonadFail (Monad in older ghc) instance; for example in the Maybe monad it produces Mothing and in the list monad produces []
2021-02-01 15:33:39 +0100 <geekosaur> but in IO it does a throwIO with the pattern match failure
2021-02-01 15:34:36 +0100frdg`(~user@pool-96-233-64-53.bstnma.fios.verizon.net) (Remote host closed the connection)
2021-02-01 15:34:54 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-02-01 15:35:30 +0100bodisiw(~bodiskw@128.163.239.226)
2021-02-01 15:35:35 +0100 <frdg> oh ok so is MonadFail a typeclass where you define a behavior for fail?
2021-02-01 15:36:02 +0100 <geekosaur> or one is defined for you; you don't get to define your own instance for IO, for example, because one is already defined
2021-02-01 15:36:26 +0100 <frdg> ok I understand
2021-02-01 15:37:20 +0100 <dminuoso> On that note, I wish STM had a MonadFail instance that would retry :)
2021-02-01 15:37:39 +0100 <dminuoso> do { Ready <- waitState; ... }
2021-02-01 15:43:21 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2021-02-01 15:44:55 +0100 <int-e> but nobody makes useful MonadFail instances anymore
2021-02-01 15:46:01 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 15:47:26 +0100 <int-e> which reminds me that https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Error.html is inexplicably deprecated
2021-02-01 15:49:28 +0100kritzefitz(~kritzefit@212.86.56.80)
2021-02-01 15:50:05 +0100gproto23(~gproto23@unaffiliated/gproto23) (Quit: Leaving)
2021-02-01 15:50:52 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-02-01 15:51:14 +0100 <dminuoso> int-e: https://github.com/haskell/mtl/commit/7a909eff6b342c2f9a2b81e6075941d719e67b86
2021-02-01 15:51:43 +0100mirrorbird(~psutcliff@2a00:801:42d:5efa:6585:c362:5f1c:676)
2021-02-01 15:51:44 +0100 <int-e> (that one has a useful MonadFail instance... which used to be attached to Either in ancient times. Except simply doesn't do the trick.)
2021-02-01 15:52:13 +0100 <dminuoso> So the deprecation seems to be just to reflect: https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Error.html
2021-02-01 15:52:35 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 15:52:37 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi)
2021-02-01 15:52:51 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-01 15:52:55 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-01 15:53:14 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds)
2021-02-01 15:53:32 +0100gproto023(~gproto23@unaffiliated/gproto23)
2021-02-01 15:53:58 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Connection closed)
2021-02-01 15:54:09 +0100gproto023(~gproto23@unaffiliated/gproto23) (Remote host closed the connection)
2021-02-01 15:54:34 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-01 15:55:34 +0100 <int-e> ugh, and it is gertting removed in the next transformers... time to make a replacement package
2021-02-01 15:55:38 +0100 <merijn> int-e: It's deprecated to get rid of the Error typeclass restriction
2021-02-01 15:55:50 +0100Lord_of_Life_Lord_of_Life
2021-02-01 15:55:53 +0100 <merijn> int-e: And the implicit bias that "left" == error
2021-02-01 15:57:29 +0100 <int-e> merijn: but the Error constraint provides functionality
2021-02-01 15:58:02 +0100 <int-e> I resent the fact that Except is advertised as a replacement but using it will silently break code in many cases
2021-02-01 15:58:07 +0100cfricke(~cfricke@unaffiliated/cfricke) (Ping timeout: 260 seconds)
2021-02-01 15:58:20 +0100toorevitimirp(~tooreviti@117.182.181.145) (Remote host closed the connection)
2021-02-01 15:58:20 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 15:58:24 +0100 <merijn> How so?
2021-02-01 16:03:57 +0100 <int-e> okay, it's not silent, since Identity doesn't have a MonadFail instance. it's still functionality that isn't easily available once ErrorT is removed
2021-02-01 16:04:12 +0100 <int-e> > do False <- return True; return () :: ErrorT String Identity ()
2021-02-01 16:04:14 +0100 <lambdabot> error:
2021-02-01 16:04:14 +0100 <lambdabot> Not in scope: type constructor or class ‘ErrorT’
2021-02-01 16:04:18 +0100 <merijn> You can trivially newtype ExceptT and do that
2021-02-01 16:04:29 +0100 <int-e> @let import Control.Monad.Error
2021-02-01 16:04:31 +0100 <lambdabot> .L.hs:57:1: error: [-Wdeprecations, -Werror=deprecations]
2021-02-01 16:04:31 +0100 <lambdabot> Module ‘Control.Monad.Error’ is deprecated:
2021-02-01 16:04:31 +0100 <lambdabot> Use "Control.Monad.Except" instead
2021-02-01 16:05:08 +0100 <int-e> -Werror=deprecations, hmm
2021-02-01 16:05:11 +0100 <int-e> whatever
2021-02-01 16:06:37 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 16:08:15 +0100avdb(~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection)
2021-02-01 16:11:16 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 16:11:38 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds)
2021-02-01 16:12:32 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com)
2021-02-01 16:16:29 +0100justanotheruser(~justanoth@unaffiliated/justanotheruser)
2021-02-01 16:16:41 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 272 seconds)
2021-02-01 16:17:58 +0100Sgeo(~Sgeo@ool-18b98aa4.dyn.optonline.net)
2021-02-01 16:20:54 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 16:21:07 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com)
2021-02-01 16:21:26 +0100forgottenone(~forgotten@176.42.19.155)
2021-02-01 16:22:08 +0100vicfred_(~vicfred@unaffiliated/vicfred)
2021-02-01 16:22:10 +0100Saukk(~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection)
2021-02-01 16:23:35 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886)
2021-02-01 16:24:13 +0100vicfred_(~vicfred@unaffiliated/vicfred) (Client Quit)
2021-02-01 16:24:58 +0100vicfred(~vicfred@unaffiliated/vicfred) (Ping timeout: 256 seconds)
2021-02-01 16:25:43 +0100pera(~pera@unaffiliated/pera)
2021-02-01 16:27:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 16:28:11 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection)
2021-02-01 16:28:50 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886) (Ping timeout: 264 seconds)
2021-02-01 16:29:35 +0100gehmehgeh(~ircuser1@gateway/tor-sasl/gehmehgeh)
2021-02-01 16:29:38 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 16:30:27 +0100shatriff(~vitaliish@176-52-216-242.irishtelecom.com) (Remote host closed the connection)
2021-02-01 16:31:43 +0100Jd007(~Jd007@162.156.11.151)
2021-02-01 16:32:17 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 16:32:52 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-02-01 16:34:05 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 16:35:08 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 16:36:38 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-01 16:37:03 +0100oldsk00l(~znc@ec2-18-130-254-135.eu-west-2.compute.amazonaws.com)
2021-02-01 16:39:25 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 16:40:21 +0100frozenErebus(~frozenEre@37.231.239.43)
2021-02-01 16:42:29 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 256 seconds)
2021-02-01 16:43:15 +0100okad1(~okad@ec2-18-135-78-237.eu-west-2.compute.amazonaws.com)
2021-02-01 16:47:53 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net)
2021-02-01 16:48:16 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 16:49:28 +0100son0p(~son0p@181.136.122.143)
2021-02-01 16:51:33 +0100puke(~vroom@217.138.252.203) (Ping timeout: 264 seconds)
2021-02-01 16:51:36 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 16:53:21 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 16:54:16 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds)
2021-02-01 16:54:59 +0100Tops2(~Tobias@dyndsl-095-033-090-119.ewe-ip-backbone.de)
2021-02-01 16:55:38 +0100sakirious02(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Quit: The Lounge - https://thelounge.chat)
2021-02-01 16:55:51 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl) (Remote host closed the connection)
2021-02-01 16:55:51 +0100 <kuribas> Bah, I had to use generics to make subqueries work...
2021-02-01 16:55:58 +0100sakirious02(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2021-02-01 16:56:00 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl)
2021-02-01 16:56:14 +0100 <kuribas> So my library won't be boring haskell anymore...
2021-02-01 16:56:19 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-01 16:56:27 +0100hnOsmium0001(uid453710@gateway/web/irccloud.com/x-lkgihyenvdkfexro)
2021-02-01 16:56:32 +0100sakirious02(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net) (Client Quit)
2021-02-01 16:56:50 +0100jamm_(~jamm@unaffiliated/jamm)
2021-02-01 16:56:53 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl) (Remote host closed the connection)
2021-02-01 16:56:53 +0100sakirious(~sakirious@c-71-197-191-137.hsd1.wa.comcast.net)
2021-02-01 16:56:57 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 264 seconds)
2021-02-01 16:57:10 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl)
2021-02-01 16:57:32 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl) (Remote host closed the connection)
2021-02-01 16:57:58 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl)
2021-02-01 16:58:32 +0100 <kuribas> for example: "do (sqName, sqAge) <- subJoin (do Tbl p <- from "Person"; pure (p name, p age)); ...
2021-02-01 16:59:21 +0100 <kuribas> it's not possible to suppost any tuple without generics...
2021-02-01 17:00:02 +0100 <kuribas> now I have complicated generic magic to convert the expression for any tuple.
2021-02-01 17:00:15 +0100 <kuribas> usage should be fairly simple though...
2021-02-01 17:00:51 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net)
2021-02-01 17:01:03 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56)
2021-02-01 17:01:08 +0100jamm_(~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds)
2021-02-01 17:01:22 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-02-01 17:02:05 +0100niekvandepas(~niekvande@ip-145-116-131-65.wlan-int.ru.nl) (Ping timeout: 240 seconds)
2021-02-01 17:03:34 +0100shiraeeshi(~shiraeesh@109.166.57.33) (Ping timeout: 272 seconds)
2021-02-01 17:06:23 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 17:07:10 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl)
2021-02-01 17:08:19 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection)
2021-02-01 17:09:30 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 17:09:34 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 17:09:54 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl) (Remote host closed the connection)
2021-02-01 17:09:59 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 17:10:15 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-01 17:10:45 +0100elliott_(~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds)
2021-02-01 17:12:36 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl)
2021-02-01 17:13:54 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-02-01 17:14:03 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 258 seconds)
2021-02-01 17:14:03 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 258 seconds)
2021-02-01 17:14:24 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 17:17:41 +0100johnw(~johnw@haskell/developer/johnw) (Quit: ZNC - http://znc.in)
2021-02-01 17:17:41 +0100fendor__(~fendor@91.141.0.151.wireless.dyn.drei.com)
2021-02-01 17:19:01 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886)
2021-02-01 17:20:00 +0100fendor(~fendor@046124067054.public.t-mobile.at) (Ping timeout: 265 seconds)
2021-02-01 17:20:45 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 17:25:42 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net)
2021-02-01 17:25:59 +0100pgib(~textual@lmms/pgib)
2021-02-01 17:26:01 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 265 seconds)
2021-02-01 17:26:46 +0100bodisjw(~bodiskw@cpe-74-138-114-237.kya.res.rr.com)
2021-02-01 17:28:14 +0100ep1ctetus(~epictetus@ip184-187-162-163.sb.sd.cox.net) (Quit: Leaving)
2021-02-01 17:29:57 +0100bodisiw(~bodiskw@128.163.239.226) (Ping timeout: 264 seconds)
2021-02-01 17:29:58 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 17:30:05 +0100son0p(~son0p@181.136.122.143) (Ping timeout: 240 seconds)
2021-02-01 17:31:53 +0100p-core1(~Thunderbi@195.138.249.3)
2021-02-01 17:32:07 +0100maerwald[m](maerwaldma@gateway/shell/matrix.org/x-eodvasdpkhwznfdo)
2021-02-01 17:32:24 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl) (Remote host closed the connection)
2021-02-01 17:32:47 +0100bodisjw(~bodiskw@cpe-74-138-114-237.kya.res.rr.com) (Quit: Leaving)
2021-02-01 17:32:56 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Ping timeout: 240 seconds)
2021-02-01 17:32:56 +0100p-core1p-core
2021-02-01 17:33:07 +0100kuribas(~user@ptr-25vy0i7cngosydw8s7t.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3))
2021-02-01 17:34:25 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds)
2021-02-01 17:35:47 +0100knupfer(~Thunderbi@200116b82ca027007092e7063729623d.dip.versatel-1u1.de) (Quit: knupfer)
2021-02-01 17:38:46 +0100knupfer(~Thunderbi@200116b82ca027007092e7063729623d.dip.versatel-1u1.de)
2021-02-01 17:40:36 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 17:40:54 +0100CyBrChRsT(~CyBrChRsT@185.163.110.109) (Ping timeout: 256 seconds)
2021-02-01 17:41:25 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Remote host closed the connection)
2021-02-01 17:41:44 +0100livvy(~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection)
2021-02-01 17:41:48 +0100sord937(~sord937@gateway/tor-sasl/sord937)
2021-02-01 17:41:50 +0100metreo(~Thunderbi@unaffiliated/metreo)
2021-02-01 17:42:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 17:43:05 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net) (Remote host closed the connection)
2021-02-01 17:44:16 +0100_ashbreeze_(~mark@64.85.214.234.reverse.socket.net)
2021-02-01 17:45:12 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 17:45:15 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 17:46:50 +0100motherfsck(~motherfsc@unaffiliated/motherfsck)
2021-02-01 17:47:47 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 258 seconds)
2021-02-01 17:49:26 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-02-01 17:52:11 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 17:52:20 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 17:52:46 +0100livvy(~livvy@gateway/tor-sasl/livvy)
2021-02-01 18:00:45 +0100tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2021-02-01 18:01:24 +0100hyperisco(~hyperisco@104-195-141-253.cpe.teksavvy.com)
2021-02-01 18:02:42 +0100frozenErebus(~frozenEre@37.231.239.43) (Ping timeout: 246 seconds)
2021-02-01 18:03:35 +0100Guest_71(6d990ecc@host109-153-14-204.range109-153.btcentralplus.com)
2021-02-01 18:03:56 +0100Guest_71(6d990ecc@host109-153-14-204.range109-153.btcentralplus.com) (Client Quit)
2021-02-01 18:04:16 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-01 18:06:07 +0100justsomeguy(~justsomeg@unaffiliated/--/x-3805311)
2021-02-01 18:07:03 +0100Varis(~Tadas@unaffiliated/varis)
2021-02-01 18:08:05 +0100shiraeeshi(~shiraeesh@109.166.57.33)
2021-02-01 18:08:09 +0100frozenErebus(~frozenEre@37.231.239.43)
2021-02-01 18:08:44 +0100ces(~ces@fsf/member/ces)
2021-02-01 18:09:59 +0100tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com) (Ping timeout: 244 seconds)
2021-02-01 18:11:37 +0100chele(~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection)
2021-02-01 18:12:03 +0100geekosaur(82650c7c@130.101.12.124)
2021-02-01 18:12:14 +0100tmciver(~tmciver@cpe-172-101-40-226.maine.res.rr.com)
2021-02-01 18:12:38 +0100ces(~ces@fsf/member/ces) (Client Quit)
2021-02-01 18:15:12 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 18:16:24 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Remote host closed the connection)
2021-02-01 18:16:56 +0100 <sm[m]> tomsmeding: ping
2021-02-01 18:17:29 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 18:17:34 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net)
2021-02-01 18:21:51 +0100raym(~ray@45.64.220.55) (Ping timeout: 260 seconds)
2021-02-01 18:22:14 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 264 seconds)
2021-02-01 18:24:25 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-01 18:24:38 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl)
2021-02-01 18:24:46 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl) (Remote host closed the connection)
2021-02-01 18:29:36 +0100JJ15(~JJ@2a00:23a8:4382:a900:587b:b4e:634d:c1c8)
2021-02-01 18:29:54 +0100JJ15(~JJ@2a00:23a8:4382:a900:587b:b4e:634d:c1c8) ()
2021-02-01 18:35:58 +0100jneira(501ca940@gateway/web/cgi-irc/kiwiirc.com/ip.80.28.169.64)
2021-02-01 18:36:27 +0100hexo(~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection)
2021-02-01 18:36:48 +0100hexo(~hexo@gateway/tor-sasl/hexo)
2021-02-01 18:38:30 +0100p-core(~Thunderbi@195.138.249.3) (Ping timeout: 265 seconds)
2021-02-01 18:38:33 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313)
2021-02-01 18:40:24 +0100teardown(~user@gateway/tor-sasl/mrush) (Remote host closed the connection)
2021-02-01 18:40:44 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-02-01 18:43:55 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds))
2021-02-01 18:43:57 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com) (Quit: Ping timeout (120 seconds))
2021-02-01 18:44:34 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-02-01 18:44:53 +0100nineonin_(~nineonine@50.216.62.2)
2021-02-01 18:45:04 +0100nineonine(~nineonine@2604:3d08:7785:9600:acd4:a5be:3be2:2313) (Ping timeout: 240 seconds)
2021-02-01 18:46:04 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 18:46:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 18:47:06 +0100fendor__(~fendor@91.141.0.151.wireless.dyn.drei.com) (Remote host closed the connection)
2021-02-01 18:47:12 +0100fendor_fendor
2021-02-01 18:47:24 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-01 18:47:42 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-01 18:48:54 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds)
2021-02-01 18:49:08 +0100mirrorbird(~psutcliff@2a00:801:42d:5efa:6585:c362:5f1c:676) (Ping timeout: 265 seconds)
2021-02-01 18:50:12 +0100ces(~ces@fsf/member/ces)
2021-02-01 18:50:33 +0100Major_Biscuit(~Major_Bis@82-169-100-198.biz.kpn.net) (Ping timeout: 256 seconds)
2021-02-01 18:50:33 +0100geekosaur(82650c7c@130.101.12.124)
2021-02-01 18:50:44 +0100wroathe(~wroathe@c-68-54-25-135.hsd1.mn.comcast.net)
2021-02-01 18:52:23 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-01 18:52:49 +0100 <frdg> I have a Handle to the stdout of a program that I want to constantly read input from that I make with createProcess. It is not clear to me what I should actually do with the Handle. Could I plug it into a Stream? Could I use STM to manage it? What would you reccomend?
2021-02-01 18:52:57 +0100jlamothe(~jlamothe@198.251.55.207) (Quit: leaving)
2021-02-01 18:52:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 18:53:14 +0100 <geekosaur> fork a thread to read from it?
2021-02-01 18:53:15 +0100mirrorbird(~psutcliff@185.204.1.181)
2021-02-01 18:53:38 +0100 <geekosaur> what exactly are you doing with its output?
2021-02-01 18:54:34 +0100 <frdg> I am reading it and calling other IO functions depending on its contents?
2021-02-01 18:54:38 +0100jlamothe(~jlamothe@198.251.55.207)
2021-02-01 18:55:14 +0100 <frdg> s/?/.
2021-02-01 18:55:16 +0100 <geekosaur> is anything else supposed to be going on during this? if not, I'd just read from it and process accordingly
2021-02-01 18:55:39 +0100 <frdg> yes I am running parsers on its output
2021-02-01 18:55:46 +0100 <geekosaur> when it gets tricky is when you're doing other processing and can't simply block on the Handle; then you need another thread
2021-02-01 18:56:10 +0100rajivr(uid269651@gateway/web/irccloud.com/x-frflijpnslhdckqg) (Quit: Connection closed for inactivity)
2021-02-01 18:56:30 +0100charukiewicz(~quassel@irouteince04.i.subnet.rcn.com)
2021-02-01 18:56:33 +0100 <aveltras> "el ^. dataTableRows" being a list and "dataTableRowExpandedContent" a "Maybe a", what's the way to obtain a Bool value representing if there's at least one item with a "Just" in the list using lens ? I tried "el ^. dataTableRows . dataTableRowExpandedContent ^? _Just" but that doesn't seem to work
2021-02-01 18:56:38 +0100 <frdg> what I don't see is how I am actually supposed to get a hold of the output.
2021-02-01 18:57:31 +0100 <geekosaur> getLine, getSome, etc.
2021-02-01 18:57:39 +0100 <geekosaur> sorry, h* variants thereof
2021-02-01 18:57:47 +0100 <geekosaur> :t hGetLine
2021-02-01 18:57:49 +0100 <lambdabot> error:
2021-02-01 18:57:49 +0100 <lambdabot> • Variable not in scope: hGetLine
2021-02-01 18:57:49 +0100 <lambdabot> • Perhaps you meant one of these:
2021-02-01 18:57:53 +0100 <geekosaur> bah
2021-02-01 18:58:02 +0100 <geekosaur> they're in System.IO
2021-02-01 18:58:15 +0100 <geekosaur> :t System.IO.hGetLine
2021-02-01 18:58:16 +0100 <lambdabot> GHC.IO.Handle.Types.Handle -> IO String
2021-02-01 18:58:24 +0100 <geekosaur> :t System.IO.hGetSome
2021-02-01 18:58:26 +0100 <lambdabot> error:
2021-02-01 18:58:26 +0100 <lambdabot> Not in scope: ‘System.IO.hGetSome’
2021-02-01 18:58:26 +0100 <lambdabot> No module named ‘System.IO’ is imported.
2021-02-01 18:58:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 18:58:57 +0100 <geekosaur> mm, right, I'm being silly
2021-02-01 18:59:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:00:22 +0100 <frdg> so if I would have a function like `f :: Handle -> IO (); f = do loop; where loop = l <- hGetLine; doStuff; loop`?
2021-02-01 19:00:28 +0100samba1(~samba1@modemcable115.2-179-173.mc.videotron.ca)
2021-02-01 19:01:45 +0100mirrorbird(~psutcliff@185.204.1.181) (Ping timeout: 240 seconds)
2021-02-01 19:02:03 +0100 <geekosaur> it depends. if there's a framing protocol to e.g. tell you which parser to run, you retrieve that in the loop; otherwise you hand the Handle off to the parser to deal with. attoparsec is often used for this
2021-02-01 19:03:00 +0100 <frdg> ok I should be able to get things going here thanks
2021-02-01 19:03:10 +0100 <geekosaur> to say more I'd have to know details of the data you're trying to parse, which is probably going too deep for a question here in channel
2021-02-01 19:03:38 +0100acarrico(~acarrico@dhcp-68-142-39-249.greenmountainaccess.net)
2021-02-01 19:04:05 +0100raym(~ray@45.64.220.55)
2021-02-01 19:04:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 19:04:21 +0100 <ski> frdg : fwiw, `(Just x) <- someFunction' can be just `Just x <- someFunction'
2021-02-01 19:04:59 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:05:53 +0100ubert(~Thunderbi@p200300ecdf25d9ace6b318fffe838f33.dip0.t-ipconnect.de)
2021-02-01 19:07:25 +0100chrpape``(~user@2a01:4f9:c010:632d::1)
2021-02-01 19:07:28 +0100 <samba1> I'm wondering how I can use a freer-effects context function with something that normally wants IO (or MonadUnliftIO) - specifically pooledForConcurrentlyN_
2021-02-01 19:07:32 +0100 <samba1> https://pastebin.com/LM69aEMA
2021-02-01 19:08:12 +0100ViCi(daniel@10PLM.ro) (Quit: Quit!)
2021-02-01 19:08:15 +0100 <samba1> I'd like to run that in an effects context, and give it an effects context function to run as its executor. How can I do this? Do I have to explicitly `interpret` things to force them to IO? Seems cumbersome and contrary to the whole idea of effects
2021-02-01 19:08:21 +0100ViCi(daniel@10PLM.ro)
2021-02-01 19:08:30 +0100 <samba1> or do I need to rewrite pooledForConcurrentlyN_ somehow myself?
2021-02-01 19:09:18 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886) (Remote host closed the connection)
2021-02-01 19:09:56 +0100mentaal[m](mentaalmat@gateway/shell/matrix.org/x-uipdkhzzwfbrrygn) (Ping timeout: 244 seconds)
2021-02-01 19:09:56 +0100pedrorubster[m](pedrorubst@gateway/shell/matrix.org/x-moqnmsujmxxrabiq) (Ping timeout: 244 seconds)
2021-02-01 19:09:56 +0100brightly-salty[m(brightly-s@gateway/shell/matrix.org/x-zhhoalomyglsuvca) (Ping timeout: 244 seconds)
2021-02-01 19:09:56 +0100tomsen[m](tfbiomatri@gateway/shell/matrix.org/x-hgawpyvjnyddcjsf) (Ping timeout: 244 seconds)
2021-02-01 19:10:27 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-kkxymvdievhxcgzr) (Ping timeout: 244 seconds)
2021-02-01 19:10:27 +0100_flow_(~none@salem.informatik.uni-erlangen.de) (Ping timeout: 244 seconds)
2021-02-01 19:10:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 19:10:57 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-uivlsxupgtmyusbj) (Ping timeout: 244 seconds)
2021-02-01 19:10:57 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-qagmxddznpdqwkcl) (Ping timeout: 244 seconds)
2021-02-01 19:11:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:11:28 +0100chrpape`(~user@2a01:4f9:c010:632d::1) (Ping timeout: 244 seconds)
2021-02-01 19:15:35 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2021-02-01 19:16:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 19:16:41 +0100elfets(~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de)
2021-02-01 19:16:56 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886)
2021-02-01 19:17:17 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:20:53 +0100lambdaclan(lambdaclan@gateway/shell/matrix.org/x-xeugwpfohgdfiekb)
2021-02-01 19:20:59 +0100_flow_(~none@salem.informatik.uni-erlangen.de)
2021-02-01 19:21:41 +0100speakerspivakeem(speakerdea@gateway/shell/matrix.org/x-cmnemncbmmqlvaon)
2021-02-01 19:22:01 +0100MrMuffles[m](mrmufflesm@gateway/shell/matrix.org/x-xkznhxdclgbgmodf)
2021-02-01 19:22:30 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-01 19:23:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:23:04 +0100tomsen[m](tfbiomatri@gateway/shell/matrix.org/x-niwtimgnotrlgrjy)
2021-02-01 19:23:13 +0100brightly-salty[m(brightly-s@gateway/shell/matrix.org/x-aevagfehcuqznydn)
2021-02-01 19:23:21 +0100mentaal[m](mentaalmat@gateway/shell/matrix.org/x-ttvtfmzvnsutltyg)
2021-02-01 19:23:21 +0100pedrorubster[m](pedrorubst@gateway/shell/matrix.org/x-bpakrmgmfevghdya)
2021-02-01 19:27:44 +0100nfip^(nfip@ip98-184-89-2.mc.at.cox.net) ()
2021-02-01 19:28:06 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-01 19:28:44 +0100Foritus(~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net)
2021-02-01 19:28:50 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 19:29:00 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:31:08 +0100shiraeeshi(~shiraeesh@109.166.57.33) (Ping timeout: 260 seconds)
2021-02-01 19:33:39 +0100shiraeeshi(~shiraeesh@109.166.57.33)
2021-02-01 19:34:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 19:34:28 +0100tungki(uid469991@gateway/web/irccloud.com/x-cpwegxtaeghufzaz)
2021-02-01 19:35:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:40:00 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net) (Ping timeout: 246 seconds)
2021-02-01 19:40:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 19:41:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:41:05 +0100puke(~vroom@217.138.252.186)
2021-02-01 19:41:41 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56)
2021-02-01 19:42:22 +0100p-core(~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Client Quit)
2021-02-01 19:43:08 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl)
2021-02-01 19:43:25 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl) (Remote host closed the connection)
2021-02-01 19:44:05 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 19:46:13 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 19:46:27 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-01 19:46:54 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:47:23 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-01 19:47:41 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-01 19:49:36 +0100frozenErebus(~frozenEre@37.231.239.43) (Quit: leaving)
2021-02-01 19:50:27 +0100p7lpa1ugixavugu(~atomic@2800:810:514:8155:bcdb:8438:3690:f57c)
2021-02-01 19:50:48 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 265 seconds)
2021-02-01 19:52:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 19:52:40 +0100alx741(~alx741@186.178.110.149) (Ping timeout: 272 seconds)
2021-02-01 19:52:49 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:54:39 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-01 19:55:04 +0100ubert(~Thunderbi@p200300ecdf25d9ace6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 240 seconds)
2021-02-01 19:56:01 +0100geekosaur(82650c7c@130.101.12.124) (Ping timeout: 248 seconds)
2021-02-01 19:56:04 +0100codedmart(~codedmart@149.28.9.205) (Quit: ZNC 1.7.5 - https://znc.in)
2021-02-01 19:56:21 +0100codedmart(~codedmart@149.28.9.205)
2021-02-01 19:58:32 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-01 19:58:35 +0100nhs(~nhs@c-24-20-87-79.hsd1.or.comcast.net)
2021-02-01 19:58:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 19:59:39 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com)
2021-02-01 20:01:19 +0100erh^(erh@ip98-184-89-2.mc.at.cox.net)
2021-02-01 20:03:03 +0100jpds_(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-01 20:03:03 +0100teardown(~user@gateway/tor-sasl/mrush) (Remote host closed the connection)
2021-02-01 20:03:22 +0100teardown(~user@gateway/tor-sasl/mrush)
2021-02-01 20:03:30 +0100berberman_(~berberman@unaffiliated/berberman)
2021-02-01 20:03:56 +0100jpds_(~jpds@gateway/tor-sasl/jpds)
2021-02-01 20:04:14 +0100berberman(~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds)
2021-02-01 20:04:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 20:04:34 +0100jacks2(~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/ (Session timeout))
2021-02-01 20:04:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 20:05:13 +0100alx741(~alx741@181.196.69.29)
2021-02-01 20:05:53 +0100jpds_(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2021-02-01 20:06:06 +0100Jd007(~Jd007@162.156.11.151) (Quit: Jd007)
2021-02-01 20:06:38 +0100berberman_(~berberman@unaffiliated/berberman) (Client Quit)
2021-02-01 20:07:12 +0100berberman(~berberman@unaffiliated/berberman)
2021-02-01 20:07:49 +0100xelxebar_(~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 268 seconds)
2021-02-01 20:08:07 +0100cole-h(~cole-h@c-73-48-197-220.hsd1.ca.comcast.net)
2021-02-01 20:09:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-01 20:10:43 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 20:12:31 +0100xelxebar(~xelxebar@gateway/tor-sasl/xelxebar)
2021-02-01 20:12:32 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca) (Read error: Connection reset by peer)
2021-02-01 20:12:43 +0100machinedgod(~machinedg@135-23-192-217.cpe.pppoe.ca)
2021-02-01 20:14:21 +0100jonatanb(~jonatanb@83.24.13.14.ipv4.supernova.orange.pl)
2021-02-01 20:14:37 +0100jespada(~jespada@90.254.242.138) (Quit: Leaving)
2021-02-01 20:15:05 +0100jespada(~jespada@90.254.242.138)
2021-02-01 20:15:15 +0100jpds_(~jpds@gateway/tor-sasl/jpds)
2021-02-01 20:15:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 20:16:37 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 20:16:38 +0100geekosaur(82650c7c@130.101.12.124)
2021-02-01 20:17:25 +0100ixaxaar(~ixaxaar@49.207.210.215) (Ping timeout: 240 seconds)
2021-02-01 20:21:39 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds)
2021-02-01 20:22:31 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 20:27:14 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 20:27:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 20:27:38 +0100 <idnar> aveltras: `el ^? dataTableRows . dataTableRowExpandedContent . _Just`
2021-02-01 20:28:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 20:28:53 +0100 <idnar> oh Bool
2021-02-01 20:29:35 +0100 <aveltras> i ended up with
2021-02-01 20:29:37 +0100 <aveltras> isJust $ (el ^. dataTableRows) ^.. each . dataTableRowExpandedContent ^? each . _Just
2021-02-01 20:29:44 +0100 <aveltras> not sure that's the most efficient
2021-02-01 20:30:16 +0100Jd007(~Jd007@162.156.11.151)
2021-02-01 20:30:35 +0100samba1(~samba1@modemcable115.2-179-173.mc.videotron.ca) (Quit: leaving)
2021-02-01 20:31:31 +0100 <idnar> `has (dataTableRows . folded . dataTableRowExpandedContent . _Just) el`
2021-02-01 20:33:44 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 20:34:01 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 20:34:25 +0100 <aveltras> idnar: seems to work fine too, thanks !
2021-02-01 20:35:05 +0100olligobber(olligobber@gateway/vpn/privateinternetaccess/olligobber) (Ping timeout: 240 seconds)
2021-02-01 20:40:22 +0100Lycurgus(~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt)
2021-02-01 20:41:15 +0100howdoi(uid224@gateway/web/irccloud.com/x-xqjpumaqgnkbwagv)
2021-02-01 20:42:10 +0100gurmble(~Thunderbi@freenode/staff/grumble)
2021-02-01 20:45:05 +0100grumble(~Thunderbi@freenode/staff/grumble) (Ping timeout: 606 seconds)
2021-02-01 20:45:14 +0100gurmblegrumble
2021-02-01 20:47:21 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-01 20:47:37 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-02-01 20:47:41 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-01 20:48:36 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-01 20:50:55 +0100 <frdg> Is this a situation I can use the Reader Monad to pass around h and m implicitly? http://dpaste.com/E7KAMTKFN
2021-02-01 20:51:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 20:52:08 +0100 <geekosaur> in this situation what you usually do is let the outer scope hold on to them for you
2021-02-01 20:52:55 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 20:53:16 +0100 <frdg> so like this? http://dpaste.com/9HEZUT5DL
2021-02-01 20:53:18 +0100 <geekosaur> if you're updating the map, then Reader wouldn't work anyway; you'd want State or explicit passing
2021-02-01 20:53:40 +0100 <geekosaur> yes
2021-02-01 20:53:48 +0100 <frdg> ok thanks
2021-02-01 20:55:39 +0100pavonia(~user@unaffiliated/siracusa)
2021-02-01 20:56:55 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-01 20:58:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 20:59:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:00:26 +0100jb55(~jb55@gateway/tor-sasl/jb55)
2021-02-01 21:01:24 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl)
2021-02-01 21:02:22 +0100conal(~conal@64.71.133.70)
2021-02-01 21:04:05 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 21:05:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:05:14 +0100petersen(~petersen@redhat/juhp) (Ping timeout: 265 seconds)
2021-02-01 21:05:45 +0100frdg(~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.1)")
2021-02-01 21:07:18 +0100petersen(~petersen@redhat/juhp)
2021-02-01 21:09:56 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 21:11:22 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-01 21:11:35 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:14:03 +0100raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds)
2021-02-01 21:15:14 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection)
2021-02-01 21:16:45 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 264 seconds)
2021-02-01 21:16:48 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 21:16:55 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-02-01 21:17:12 +0100fendor_(~fendor@91.141.0.151.wireless.dyn.drei.com)
2021-02-01 21:17:20 +0100fendor_(~fendor@91.141.0.151.wireless.dyn.drei.com) (Remote host closed the connection)
2021-02-01 21:17:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:17:50 +0100xsarnik08(xsarnik@gateway/shell/fi.muni.cz/x-mtygofcqfiilprho)
2021-02-01 21:18:17 +0100dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de)
2021-02-01 21:18:39 +0100alanz_(sid110616@gateway/web/irccloud.com/x-ymtpstuakbptfsuq)
2021-02-01 21:18:40 +0100nh2_(sid309956@gateway/web/irccloud.com/x-chlnrrlobqhxqopk)
2021-02-01 21:18:41 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net)
2021-02-01 21:18:41 +0100alunduil_(alunduil@gateway/web/irccloud.com/x-vnzpquaqiusxsiof)
2021-02-01 21:18:41 +0100glowcoil_(sid3405@gateway/web/irccloud.com/x-eqglmtzxkjcesfxa)
2021-02-01 21:18:42 +0100parseval_(sid239098@gateway/web/irccloud.com/x-iyrckfoxfyphonhx)
2021-02-01 21:18:46 +0100matryoshka`(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809)
2021-02-01 21:18:49 +0100sveit_(~sveit@45.77.0.246)
2021-02-01 21:18:53 +0100Lord_of_Life_(~Lord@unaffiliated/lord-of-life/x-0885362)
2021-02-01 21:19:29 +0100dhouthoo_(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be)
2021-02-01 21:19:45 +0100megaTherion_(~therion@unix.io)
2021-02-01 21:19:50 +0100fendor_(~fendor@91.141.0.151.wireless.dyn.drei.com)
2021-02-01 21:19:56 +0100ornxka_(~ornxka@unaffiliated/ornx)
2021-02-01 21:20:08 +0100benschza_(~quassel@2604:1380:2000:cf00::1)
2021-02-01 21:20:40 +0100np(znc@152.67.162.71)
2021-02-01 21:20:57 +0100kelton(~keltono@x-160-94-179-178.acm.umn.edu)
2021-02-01 21:21:05 +0100retlo(~retlo@172.245.134.89)
2021-02-01 21:21:19 +0100ario_(~ario@178.62.234.211)
2021-02-01 21:21:33 +0100_phaul(~phaul@ruby/staff/phaul)
2021-02-01 21:21:48 +0100kelton(~keltono@x-160-94-179-178.acm.umn.edu) ()
2021-02-01 21:22:15 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl)
2021-02-01 21:23:02 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 21:23:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:24:45 +0100nemesit|znc_(~nemesit@myriadvisuals.com)
2021-02-01 21:25:40 +0100 <koz_> :t repeat
2021-02-01 21:25:42 +0100 <lambdabot> a -> [a]
2021-02-01 21:25:49 +0100 <koz_> I always get that confused with 'replicate'.
2021-02-01 21:26:02 +0100Lord_of_Life(~Lord@unaffiliated/lord-of-life/x-0885362) (*.net *.split)
2021-02-01 21:26:02 +0100fendor(~fendor@91.141.0.151.wireless.dyn.drei.com) (*.net *.split)
2021-02-01 21:26:02 +0100thc202(~thc202@unaffiliated/thc202) (*.net *.split)
2021-02-01 21:26:02 +0100dhouthoo(~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (*.net *.split)
2021-02-01 21:26:02 +0100parseval(sid239098@gateway/web/irccloud.com/x-zuiiuicvwtxyoufu) (*.net *.split)
2021-02-01 21:26:02 +0100ornxka(~ornxka@unaffiliated/ornx) (*.net *.split)
2021-02-01 21:26:02 +0100alunduil(alunduil@gateway/web/irccloud.com/x-oejqefcrlbokhloa) (*.net *.split)
2021-02-01 21:26:02 +0100alanz(sid110616@gateway/web/irccloud.com/x-kdywbinjhkhniqha) (*.net *.split)
2021-02-01 21:26:02 +0100nh2(sid309956@gateway/web/irccloud.com/x-rwnhkcnmemsioexk) (*.net *.split)
2021-02-01 21:26:02 +0100ario(~ario@178.62.234.211) (*.net *.split)
2021-02-01 21:26:02 +0100sveit(~sveit@45.77.0.246) (*.net *.split)
2021-02-01 21:26:02 +0100glowcoil(sid3405@gateway/web/irccloud.com/x-zeybjkdxlkhfyswp) (*.net *.split)
2021-02-01 21:26:02 +0100ericsagn1(~ericsagne@2405:6580:0:5100:5c5c:dbc1:3a03:1443) (*.net *.split)
2021-02-01 21:26:02 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8) (*.net *.split)
2021-02-01 21:26:02 +0100matryoshka(~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (*.net *.split)
2021-02-01 21:26:03 +0100Lurkki[m]1(lurkkifene@gateway/shell/matrix.org/x-eubwuaosjoovfexd) (*.net *.split)
2021-02-01 21:26:03 +0100itai33[m](itai33matr@gateway/shell/matrix.org/x-wmbljbumeyjggtxa) (*.net *.split)
2021-02-01 21:26:03 +0100Vanilla[m](danielm14@gateway/shell/matrix.org/x-rgtxtkgjctuoaivb) (*.net *.split)
2021-02-01 21:26:03 +0100noIOBeforeBedtim(dissatisfi@gateway/shell/matrix.org/x-hyfluygibjubtdle) (*.net *.split)
2021-02-01 21:26:03 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/x-ugtjzkoqezpfsgyq) (*.net *.split)
2021-02-01 21:26:03 +0100srid(sridmatrix@gateway/shell/matrix.org/x-kgjvhynneggwnwty) (*.net *.split)
2021-02-01 21:26:04 +0100Poscat[m](poscatmatr@gateway/shell/matrix.org/x-ipvsdkoeujussmzv) (*.net *.split)
2021-02-01 21:26:04 +0100sm[m](simonmicma@gateway/shell/matrix.org/x-gseqkoaphjpzfuie) (*.net *.split)
2021-02-01 21:26:04 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-zfhscokvliddioui) (*.net *.split)
2021-02-01 21:26:04 +0100jtojnar(jtojnarmat@gateway/shell/matrix.org/x-hwjxbafnzjnxknbn) (*.net *.split)
2021-02-01 21:26:04 +0100sajith[m](sajithmatr@gateway/shell/matrix.org/x-wfpqezknmvfrbofa) (*.net *.split)
2021-02-01 21:26:05 +0100hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-snwzqowgbhiwxelz) (*.net *.split)
2021-02-01 21:26:05 +0100keltono(~keltono@x-160-94-179-178.acm.umn.edu) (*.net *.split)
2021-02-01 21:26:05 +0100phaul(~phaul@ruby/staff/phaul) (*.net *.split)
2021-02-01 21:26:05 +0100benschza(~quassel@2604:1380:2000:cf00::1) (*.net *.split)
2021-02-01 21:26:05 +0100megaTherion(~therion@unix.io) (*.net *.split)
2021-02-01 21:26:05 +0100\2E0KNO(~retlo@172.245.134.89) (*.net *.split)
2021-02-01 21:26:05 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi) (*.net *.split)
2021-02-01 21:26:05 +0100xsarnik0(xsarnik@gateway/shell/fi.muni.cz/x-wrudlzggfhmxxjno) (*.net *.split)
2021-02-01 21:26:05 +0100nerdypepper(~nerdypepp@152.67.162.71) (*.net *.split)
2021-02-01 21:26:05 +0100nemesit|znc(~nemesit@2a01:488:66:1000:2ea3:4eeb:0:1) (*.net *.split)
2021-02-01 21:26:05 +0100Lord_of_Life_Lord_of_Life
2021-02-01 21:26:05 +0100alanz_alanz
2021-02-01 21:26:05 +0100alunduil_alunduil
2021-02-01 21:26:05 +0100parseval_parseval
2021-02-01 21:26:07 +0100glowcoil_glowcoil
2021-02-01 21:26:08 +0100nh2_nh2
2021-02-01 21:26:09 +0100xsarnik08xsarnik0
2021-02-01 21:26:12 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (Ping timeout: 260 seconds)
2021-02-01 21:26:56 +0100knupfer(~Thunderbi@200116b82ca027007092e7063729623d.dip.versatel-1u1.de) (Ping timeout: 240 seconds)
2021-02-01 21:28:18 +0100puffnfresh(~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net)
2021-02-01 21:28:45 +0100deu(de@uio.re) (Ping timeout: 264 seconds)
2021-02-01 21:28:45 +0100ibloom(sid350277@gateway/web/irccloud.com/x-obwrpgehjmypzowi) (Ping timeout: 264 seconds)
2021-02-01 21:29:21 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 21:29:43 +0100ibloom(sid350277@gateway/web/irccloud.com/x-xutzapvvhunhncbo)
2021-02-01 21:29:52 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:31:25 +0100alar(2e2c318c@46.44.49.140)
2021-02-01 21:31:29 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer)
2021-02-01 21:32:20 +0100 <alar> Greetings! Any advice on which HTTP client to use to create bindings to VMWare API?
2021-02-01 21:32:27 +0100hyiltiz-M(hyiltizkde@gateway/shell/kde/matrix/x-wucfjefiyjpgnwax)
2021-02-01 21:32:27 +0100ericsagn1(~ericsagne@2405:6580:0:5100:1934:160d:83fd:85ea)
2021-02-01 21:33:22 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/session)
2021-02-01 21:33:24 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/session) (Changing host)
2021-02-01 21:33:24 +0100tomferon[m](tomferonmo@gateway/shell/matrix.org/x-uucsbodegjaqlecd)
2021-02-01 21:33:36 +0100thc202(~thc202@unaffiliated/thc202)
2021-02-01 21:33:41 +0100deu(de@uio.re)
2021-02-01 21:33:47 +0100thc202(~thc202@unaffiliated/thc202) (Remote host closed the connection)
2021-02-01 21:33:57 +0100Putonlalla(~sapekiis@it-cyan.it.jyu.fi)
2021-02-01 21:34:02 +0100evanjs(~evanjs@075-129-098-007.res.spectrum.com)
2021-02-01 21:34:26 +0100metreo(~Thunderbi@unaffiliated/metreo) (Ping timeout: 240 seconds)
2021-02-01 21:35:03 +0100whataday(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2021-02-01 21:35:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds)
2021-02-01 21:35:46 +0100jtojnar(jtojnarmat@gateway/shell/matrix.org/x-ngotkqjfbvgdykdu)
2021-02-01 21:36:07 +0100Lurkki[m]1(lurkkifene@gateway/shell/matrix.org/x-xsvytuyzjrbkvrxd)
2021-02-01 21:36:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:36:25 +0100bitonic(bitonicmat@gateway/shell/matrix.org/x-bmfqjnpcefzefvsd)
2021-02-01 21:36:36 +0100noIOBeforeBedtim(dissatisfi@gateway/shell/matrix.org/x-bwslpnirznlxovjv)
2021-02-01 21:36:42 +0100itai33[m](itai33matr@gateway/shell/matrix.org/x-hpyfridophyoywyj)
2021-02-01 21:37:46 +0100Vanilla[m](danielm14@gateway/shell/matrix.org/x-satoepekudcabjdh)
2021-02-01 21:38:45 +0100sajith[m](sajithmatr@gateway/shell/matrix.org/x-ztroytevzeorgtwr)
2021-02-01 21:39:40 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Quit: Leaving)
2021-02-01 21:40:15 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-02-01 21:41:57 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds)
2021-02-01 21:42:14 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:43:18 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Client Quit)
2021-02-01 21:44:31 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-02-01 21:44:42 +0100ubert(~Thunderbi@p200300ecdf25d9ace6b318fffe838f33.dip0.t-ipconnect.de)
2021-02-01 21:45:49 +0100knupfer(~Thunderbi@i577BCE5B.versanet.de)
2021-02-01 21:46:51 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Client Quit)
2021-02-01 21:47:05 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 21:47:16 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 21:47:22 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-01 21:47:40 +0100Aquazi(uid312403@gateway/web/irccloud.com/x-sdtukruwniaerejo) (Quit: Connection closed for inactivity)
2021-02-01 21:47:42 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-01 21:47:43 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-02-01 21:48:08 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:48:41 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection)
2021-02-01 21:49:24 +0100mnrmnaugh(~mnrmnaugh@unaffiliated/mnrmnaugh)
2021-02-01 21:51:56 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 256 seconds)
2021-02-01 21:53:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 21:54:03 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 21:58:17 +0100_phaulphaul
2021-02-01 21:58:38 +0100abhixec(~abhixec@c-67-169-139-16.hsd1.ca.comcast.net)
2021-02-01 21:59:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds)
2021-02-01 21:59:45 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 22:00:13 +0100ubert(~Thunderbi@p200300ecdf25d9ace6b318fffe838f33.dip0.t-ipconnect.de) (Remote host closed the connection)
2021-02-01 22:00:36 +0100Guest_87(49ad66e8@c-73-173-102-232.hsd1.md.comcast.net)
2021-02-01 22:02:23 +0100tungki(uid469991@gateway/web/irccloud.com/x-cpwegxtaeghufzaz) (Quit: Connection closed for inactivity)
2021-02-01 22:02:26 +0100_ht(~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection)
2021-02-01 22:02:28 +0100metreo(~Thunderbi@unaffiliated/metreo)
2021-02-01 22:02:33 +0100bitmagie(~Thunderbi@200116b80692de00b52342586e141019.dip.versatel-1u1.de)
2021-02-01 22:03:18 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-01 22:04:28 +0100conal(~conal@64.71.133.70)
2021-02-01 22:04:59 +0100fresheyeball(~isaac@ec2-35-155-97-88.us-west-2.compute.amazonaws.com)
2021-02-01 22:05:10 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-01 22:05:36 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 22:07:10 +0100Guest_8714(49ad66e8@c-73-173-102-232.hsd1.md.comcast.net)
2021-02-01 22:07:29 +0100Guest_8714(49ad66e8@c-73-173-102-232.hsd1.md.comcast.net) (Client Quit)
2021-02-01 22:07:34 +0100Guest_87(49ad66e8@c-73-173-102-232.hsd1.md.comcast.net) (Quit: Connection closed)
2021-02-01 22:08:55 +0100 <hololeap> i don't understand this error: https://dpaste.com/F8XPNV34B
2021-02-01 22:09:02 +0100kritzefitz(~kritzefit@212.86.56.80) (Remote host closed the connection)
2021-02-01 22:10:03 +0100deviantfero(~deviantfe@190.150.27.58) (Ping timeout: 260 seconds)
2021-02-01 22:10:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 22:10:34 +0100usr25(~usr25@unaffiliated/usr25)
2021-02-01 22:10:48 +0100 <ski> hololeap : sounds like existentials. how's the `data' type defined ?
2021-02-01 22:11:12 +0100 <hololeap> it's from `cabal unpack hls-class-plugin`
2021-02-01 22:11:26 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 22:13:05 +0100 <hololeap> ski: https://dpaste.com/A2W7C4F2H
2021-02-01 22:13:47 +0100 <ski> yea, i found the source of the module
2021-02-01 22:15:06 +0100conal(~conal@64.71.133.70) (Quit: Computer has gone to sleep.)
2021-02-01 22:15:10 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 22:15:44 +0100 <ski> (still dunno where `hieAst' is defined, though)
2021-02-01 22:16:15 +0100metreo(~Thunderbi@unaffiliated/metreo) (Ping timeout: 256 seconds)
2021-02-01 22:16:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 22:16:40 +0100 <hololeap> i think my environment is out of sorts at the moment
2021-02-01 22:17:03 +0100 <hololeap> once i clean it up the error should go away. i just didn't recognize it.
2021-02-01 22:17:09 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 22:17:12 +0100son0p(~son0p@181.136.122.143)
2021-02-01 22:18:41 +0100 <ski> if you knew the `data' constructor that `hieAst' belonged to, call it `C', i think you could replace `hieAst -> hf' with `C {hieAst = hf}'
2021-02-01 22:19:44 +0100 <ski> what's the type of `runAction' ?
2021-02-01 22:20:24 +0100 <hololeap> not sure. i'm not editing it, just trying to build it
2021-02-01 22:20:40 +0100Varis(~Tadas@unaffiliated/varis) (Remote host closed the connection)
2021-02-01 22:20:45 +0100xff0x_(~xff0x@2001:1a81:52fa:6600:ca9b:5f50:944e:a8a9) (Ping timeout: 272 seconds)
2021-02-01 22:21:09 +0100 <ski> perhaps the types in some library it uses changed. or perhaps something is amiss in your environment, as you say
2021-02-01 22:21:19 +0100xff0x_(~xff0x@2001:1a81:52fa:6600:15f3:b1c2:7f2e:1231)
2021-02-01 22:22:01 +0100 <ski> (also .. i suspect `haskell-language-sever' was intended to be `haskell-language-server' ?)
2021-02-01 22:22:11 +0100sord937(~sord937@gateway/tor-sasl/sord937) (Quit: sord937)
2021-02-01 22:23:56 +0100fendor__(~fendor@77.119.131.134.wireless.dyn.drei.com)
2021-02-01 22:24:43 +0100bitmagie(~Thunderbi@200116b80692de00b52342586e141019.dip.versatel-1u1.de) (Quit: bitmagie)
2021-02-01 22:27:04 +0100fendor_(~fendor@91.141.0.151.wireless.dyn.drei.com) (Ping timeout: 256 seconds)
2021-02-01 22:27:34 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886) (Remote host closed the connection)
2021-02-01 22:30:18 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds)
2021-02-01 22:31:02 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886)
2021-02-01 22:32:41 +0100 <tomjaguarpaw> Does a summary of all the different lens libraries exist anywhere? Alternatively, does anyone know the lens library with smallest dependency footprint that includes Prism?
2021-02-01 22:34:29 +0100 <glguy> I like when everyone picks a different, smaller lens library and then when I build my project I get to have all the different small lens libraries linked into it
2021-02-01 22:36:05 +0100frdg(~nick@pool-96-233-64-53.bstnma.fios.verizon.net)
2021-02-01 22:36:19 +0100vimto1(~vimto@unaffiliated/vimto) (Quit: WeeChat 1.4)
2021-02-01 22:36:46 +0100vimto(~vimto@unaffiliated/vimto)
2021-02-01 22:38:33 +0100renzhi(~renzhi@2607:fa49:6500:6f00::1e43)
2021-02-01 22:41:25 +0100vimto(~vimto@unaffiliated/vimto) (Client Quit)
2021-02-01 22:41:32 +0100frdg(~nick@pool-96-233-64-53.bstnma.fios.verizon.net) ()
2021-02-01 22:41:41 +0100vimto(~vimto@unaffiliated/vimto)
2021-02-01 22:43:12 +0100metreo(~Thunderbi@unaffiliated/metreo)
2021-02-01 22:43:29 +0100 <tomjaguarpaw> Hmm optics is quite small actually
2021-02-01 22:44:24 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr)
2021-02-01 22:47:05 +0100metro(~Thunderbi@unaffiliated/metreo)
2021-02-01 22:47:22 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-01 22:47:36 +0100metreo(~Thunderbi@unaffiliated/metreo) (Ping timeout: 246 seconds)
2021-02-01 22:47:36 +0100metrometreo
2021-02-01 22:47:41 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-01 22:47:57 +0100metreo(~Thunderbi@unaffiliated/metreo) (Client Quit)
2021-02-01 22:48:35 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Ping timeout (120 seconds))
2021-02-01 22:48:47 +0100 <ij> Can I read from a mutable array without making a copy? That would be really nasty, but also really performant in my case...
2021-02-01 22:48:55 +0100alar(2e2c318c@46.44.49.140) (Quit: Ping timeout (120 seconds))
2021-02-01 22:48:57 +0100dandart(~Thunderbi@home.dandart.co.uk)
2021-02-01 22:48:58 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com) (Quit: Ping timeout (120 seconds))
2021-02-01 22:49:14 +0100 <dolio> Copy of what?
2021-02-01 22:49:25 +0100LKoen(~LKoen@252.248.88.92.rev.sfr.net) (Remote host closed the connection)
2021-02-01 22:49:25 +0100 <ij> the element within the vector
2021-02-01 22:49:48 +0100geekosaur(82650c7c@130.101.12.124)
2021-02-01 22:50:10 +0100argento(~argent0@168.227.97.23)
2021-02-01 22:51:06 +0100takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2021-02-01 22:51:50 +0100 <dolio> Reading from arrays don't make copies, unless you mean allocating a box for something in an unboxed array.
2021-02-01 22:52:37 +0100 <ij> they should, because you have to – because otherwise someone could mutate the array, but the copy I get is a pure value
2021-02-01 22:52:46 +0100 <ij> it wouldn't be pure, if it wasn't a copy
2021-02-01 22:53:24 +0100 <ij> hm, or I get only a reference to it... and the mutation is storing a new reference. then you're right
2021-02-01 22:53:32 +0100 <argento> Hi, where can I read the code for the monad instance of (-> x) ? It's not in Control.Monad.Instances
2021-02-01 22:53:45 +0100 <ij> dolio, then I don't know why my vector reads are taking up so much alloc
2021-02-01 22:53:53 +0100 <ij> and also runtime
2021-02-01 22:54:02 +0100ces(~ces@fsf/member/ces) (Ping timeout: 264 seconds)
2021-02-01 22:54:15 +0100 <tomjaguarpaw> Is it a boxed or unboxed array?
2021-02-01 22:54:16 +0100 <dolio> If the arrays are boxed then it's just reading a pointer.
2021-02-01 22:54:23 +0100 <glguy> argento: http://hackage.haskell.org/package/base-4.14.1.0/docs/src/GHC.Base.html#line-973
2021-02-01 22:54:49 +0100 <glguy> argento: there are [source] links in the haddocks
2021-02-01 22:55:13 +0100 <dolio> Or rather, if it's an array of boxed things.
2021-02-01 22:55:37 +0100 <argento> glguy: thanks
2021-02-01 22:56:32 +0100geekosaur(82650c7c@130.101.12.124) (Quit: Connection closed)
2021-02-01 22:57:17 +0100gioyik(~gioyik@gateway/tor-sasl/gioyik)
2021-02-01 22:57:38 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl)
2021-02-01 22:57:45 +0100dnlkrgr(~dnlkrgr@HSI-KBW-046-005-005-235.hsi8.kabel-badenwuerttemberg.de) (Ping timeout: 246 seconds)
2021-02-01 22:59:50 +0100dnlkrgr(~dnlkrgr@2a02:8070:a193:c900:245d:f92b:f644:1a9a)
2021-02-01 23:01:31 +0100 <ski> argento : `(rho ->)' is basically `Reader rho'
2021-02-01 23:02:19 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw) (Ping timeout: 268 seconds)
2021-02-01 23:02:25 +0100merijn(~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds)
2021-02-01 23:02:46 +0100 <ij> tomjaguarpaw, dolio, mutable boxed
2021-02-01 23:03:39 +0100raehik1(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds)
2021-02-01 23:04:03 +0100vgtw(~vgtw@gateway/tor-sasl/vgtw)
2021-02-01 23:04:46 +0100 <ij> https://github.com/siers/ppmz/blob/master/solve.prof mazeRead/mazeCursorSolved are both Data.Vector.Mutable.unsafeRead (no bounds checking)
2021-02-01 23:05:08 +0100 <ij> why would they be that high in %time and %alloc?
2021-02-01 23:06:10 +0100 <tomjaguarpaw> In that case there should be no extra allocation for accessing an element. You just get the thing in the box.
2021-02-01 23:06:23 +0100 <tomjaguarpaw> Oh, dolio said that.
2021-02-01 23:08:29 +0100geyaeb_(~geyaeb@gateway/tor-sasl/geyaeb) (Ping timeout: 268 seconds)
2021-02-01 23:09:17 +0100teddyc(theodorc@cassarossa.samfundet.no) (Ping timeout: 260 seconds)
2021-02-01 23:09:56 +0100tms__(thomaav@cassarossa.samfundet.no) (Ping timeout: 265 seconds)
2021-02-01 23:11:23 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com)
2021-02-01 23:13:44 +0100Guest_87(49ad66e8@c-73-173-102-232.hsd1.md.comcast.net)
2021-02-01 23:13:51 +0100Guest_87(49ad66e8@c-73-173-102-232.hsd1.md.comcast.net) (Client Quit)
2021-02-01 23:14:16 +0100pera(~pera@unaffiliated/pera) (Quit: leaving)
2021-02-01 23:18:33 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 23:18:46 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 23:20:46 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 23:20:56 +0100geowiesnot(~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds)
2021-02-01 23:20:57 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 23:22:45 +0100argento(~argent0@168.227.97.23) (Ping timeout: 240 seconds)
2021-02-01 23:23:18 +0100knupfer(~Thunderbi@i577BCE5B.versanet.de) (Ping timeout: 246 seconds)
2021-02-01 23:23:32 +0100 <ij> I guess I could post this to reddit — fewer people IRC at any given time
2021-02-01 23:24:36 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net) (Read error: Connection reset by peer)
2021-02-01 23:25:06 +0100coot(~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot)
2021-02-01 23:25:22 +0100Narinas(~Narinas@189.223.62.254.dsl.dyn.telnor.net)
2021-02-01 23:25:29 +0100Franciman(~francesco@host-95-235-155-82.retail.telecomitalia.it) (Quit: Leaving)
2021-02-01 23:33:21 +0100 <ephemient> you might try with {-# LANGUAGE StrictData #-} and see if the percentages shift around
2021-02-01 23:35:05 +0100metreo(~Thunderbi@unaffiliated/metreo)
2021-02-01 23:35:36 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-02-01 23:36:08 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 23:36:24 +0100 <dolio> Those functions aren't just `unsafeRead`. They're doing other arithmetic. I don't exactly recall how costs of lazy stuff are attributed, but I suppose it could be that those functions incur all the cost of forcing what is needed to calculate the array index.
2021-02-01 23:38:09 +0100kupi(uid212005@gateway/web/irccloud.com/x-chlcbqblmhgouecw) (Quit: Connection closed for inactivity)
2021-02-01 23:40:18 +0100 <dolio> It's difficult to tell what might matter without a lot of study.
2021-02-01 23:40:25 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds)
2021-02-01 23:43:57 +0100cr3(~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving)
2021-02-01 23:46:55 +0100ehigham(d92c1d84@host217-44-29-132.range217-44.btcentralplus.com) (Quit: Connection closed)
2021-02-01 23:47:22 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!)
2021-02-01 23:47:42 +0100zebrag(~inkbottle@aaubervilliers-654-1-80-120.w86-212.abo.wanadoo.fr)
2021-02-01 23:47:50 +0100Stanley00(~stanley00@unaffiliated/stanley00)
2021-02-01 23:52:05 +0100Stanley00(~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds)
2021-02-01 23:52:13 +0100Codaraxis__(Codaraxis@gateway/vpn/mullvad/codaraxis)
2021-02-01 23:53:17 +0100heatsink(~heatsink@2600:1700:bef1:5e10:b8d2:7a79:927f:8886) (Remote host closed the connection)
2021-02-01 23:53:50 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 23:53:55 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection)
2021-02-01 23:54:30 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl)
2021-02-01 23:55:14 +0100danvet(~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 264 seconds)
2021-02-01 23:57:52 +0100conal(~conal@64.71.133.70)
2021-02-01 23:58:39 +0100niekvandepas(~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds)
2021-02-01 23:59:16 +0100tromp(~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection)
2021-02-01 23:59:46 +0100megaTherion_megaTherin
2021-02-01 23:59:51 +0100megaTherinmegaTherion