2022/08/21

2022-08-21 00:00:59 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds))
2022-08-21 00:02:11 +0200nate4(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-08-21 00:03:18 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-08-21 00:05:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 00:10:10 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 00:12:22 +0200biberu(~biberu@user/biberu) (Read error: Connection reset by peer)
2022-08-21 00:22:23 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer)
2022-08-21 00:28:30 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-08-21 00:29:16 +0200mmhat(~mmh@p200300f1c7086094ee086bfffe095315.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-08-21 00:32:01 +0200kannon(~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net)
2022-08-21 00:43:00 +0200 <pavonia> He used to be
2022-08-21 00:43:10 +0200mmhat(~mmh@p200300f1c7086075ee086bfffe095315.dip0.t-ipconnect.de)
2022-08-21 00:43:29 +0200mima(mmh@gateway/vpn/airvpn/mima) (Quit: leaving)
2022-08-21 00:44:19 +0200nate4(~nate@98.45.169.16)
2022-08-21 00:47:25 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 00:49:06 +0200nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-08-21 00:53:18 +0200nate4(~nate@98.45.169.16)
2022-08-21 00:55:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 01:03:23 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds)
2022-08-21 01:06:47 +0200jgeerds(~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds)
2022-08-21 01:06:58 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-08-21 01:07:28 +0200mmhat(~mmh@p200300f1c7086075ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 3.6)
2022-08-21 01:09:45 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 01:11:57 +0200beteigeuze(~Thunderbi@bl11-28-222.dsl.telepac.pt)
2022-08-21 01:13:37 +0200caval0ne(~caval0ne@2804:7f1:ea83:3242:ff8d:2a2:4275:81f5)
2022-08-21 01:14:20 +0200caval0ne(~caval0ne@2804:7f1:ea83:3242:ff8d:2a2:4275:81f5) ()
2022-08-21 01:16:49 +0200kannon(~NK@74-95-14-193-SFBA.hfc.comcastbusiness.net) (Ping timeout: 244 seconds)
2022-08-21 01:20:03 +0200chomwitt(~chomwitt@2a02:587:dc16:4100:595d:9ae5:1b71:8d3d) (Ping timeout: 248 seconds)
2022-08-21 01:20:21 +0200vorpuni(~pvorp@2001:861:3881:c690:4b58:5475:122f:13ce) (Read error: Connection reset by peer)
2022-08-21 01:22:06 +0200vorpuni(~pvorp@2001:861:3881:c690:d22f:79c1:e3d:2ee4)
2022-08-21 01:22:15 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:8530:a280:c9b5:be70) (Remote host closed the connection)
2022-08-21 01:28:44 +0200random-jellyfish(~random-je@user/random-jellyfish)
2022-08-21 01:30:42 +0200random-jellyfish(~random-je@user/random-jellyfish) (Client Quit)
2022-08-21 01:30:48 +0200 <qrpnxz> is (s -> (Maybe a, s)) a Monad?
2022-08-21 01:32:01 +0200 <qrpnxz> oh yeah, it's just MaybeT State
2022-08-21 01:32:09 +0200vorpuni(~pvorp@2001:861:3881:c690:d22f:79c1:e3d:2ee4) (Quit: bye)
2022-08-21 01:32:17 +0200 <geekosaur> @unmtl MaybeT State
2022-08-21 01:32:17 +0200 <lambdabot> err: `MaybeT State' is not applied to enough arguments, giving `/\A B. Maybe A -> (B, Maybe A)'
2022-08-21 01:32:41 +0200 <qrpnxz> @unmtl MaybeT (State s)
2022-08-21 01:32:41 +0200 <lambdabot> err: `MaybeT (State s)' is not applied to enough arguments, giving `/\A. s -> (Maybe A, s)'
2022-08-21 01:32:49 +0200 <qrpnxz> @unmtl MaybeT (State s) a
2022-08-21 01:32:49 +0200 <lambdabot> s -> (Maybe a, s)
2022-08-21 01:35:44 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-21 01:39:06 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-21 01:41:43 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-21 01:48:51 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-08-21 01:50:44 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
2022-08-21 01:54:56 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-21 01:54:56 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-08-21 01:54:56 +0200wroathe(~wroathe@user/wroathe)
2022-08-21 01:56:38 +0200 <einfair> how to configure ghci to load modules ? I installed "dev-haskell/gi-gtk" ebuild, but unable to load module, ghci says "module ‘Graphics.UI.Gtk’ cannot be found locally Failed, no modules loaded."
2022-08-21 02:02:41 +0200 <einfair> also ghci says "Couldn't match type ‘[Char]’ with ‘Data.Text.Internal.Text’
2022-08-21 02:02:42 +0200 <einfair> Expected: Data.Text.Internal.Text
2022-08-21 02:02:42 +0200 <einfair> Actual: String"
2022-08-21 02:03:43 +0200 <pavonia> The latter is caused because your are trying to match two different string types
2022-08-21 02:04:02 +0200 <jackdk> Easiest way to deal with the former is to work with haskell tooling instead of OS package manager tooling - start a cabal package so you can list the packages you want in `build-depends`
2022-08-21 02:05:03 +0200 <jackdk> einfair: If you've written a string literal `"like this"` and have that error, you will want to put `{-# LANGUAGE OverloadedStrings #-}` at the top of your file, or `:set -XOverloadedStrings` into GHCi.
2022-08-21 02:05:49 +0200Midjak(~Midjak@82.66.147.146) (Quit: This computer has gone to sleep)
2022-08-21 02:06:15 +0200 <pavonia> When you have a top-level variable yielding of type Integral a => [a], will the result of evaluating some prefix of this list be stored in memory and be used for further accesses of that list?
2022-08-21 02:06:22 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Ping timeout: 268 seconds)
2022-08-21 02:06:23 +0200 <einfair> jackdk: yes, that directive works. Now I am able to start graphics "hello world" example.
2022-08-21 02:06:47 +0200 <geekosaur> pavonia, no
2022-08-21 02:07:08 +0200 <geekosaur> it's actually taking a function (the Integral dictionary for the type)
2022-08-21 02:07:16 +0200 <geekosaur> er, taking a parameter
2022-08-21 02:07:30 +0200 <pavonia> So is that because of the type only?
2022-08-21 02:07:59 +0200 <geekosaur> yes. if you make it a concrete type it'll work as you want
2022-08-21 02:08:09 +0200 <pavonia> Ah, thanks
2022-08-21 02:08:15 +0200 <geekosaur> but right now it takes a dictionary parameter, so it's really a function and won't be memoized
2022-08-21 02:08:42 +0200 <jackdk> "language extension" sounds scary, but many of them are quite conservative and add single features http://web.archive.org/web/20220513191346/dev.stephendiehl.com/hask/#language-extensions
2022-08-21 02:11:08 +0200 <geekosaur> a lot of things are extensions because they're technically not part of the standard and nobody wants to take the time to write them up properly for standardization because having them available in ghc is good enough for them
2022-08-21 02:13:14 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 02:13:24 +0200 <hpc> gcc does similar things, and in a much less principled way
2022-08-21 02:13:48 +0200 <hpc> it just calls them "options" and you have to specify them on the command line
2022-08-21 02:14:18 +0200 <geekosaur> there's also the __attribute__ stuff and other things they usually hide in #includes
2022-08-21 02:14:24 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-08-21 02:14:42 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-21 02:15:23 +0200 <hpc> also, language extensions are designed to eventually be integrated into the standard, the extension mechanism is standardized, and some of the language is already extensions
2022-08-21 02:16:11 +0200 <hpc> so rather than turning on extensions to switch away from the standard, you can turn off "extensions" that correspond to standard language features
2022-08-21 02:20:10 +0200 <jackdk> Also if you're on GHC >=9 you can set `Default-Language: GHC2021` in your cabal file and get most of the uncontroversial good stuff
2022-08-21 02:24:43 +0200jmorris(uid537181@id-537181.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-21 02:26:21 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 02:29:52 +0200euandreh(~euandreh@179.214.113.107) (Ping timeout: 268 seconds)
2022-08-21 02:31:25 +0200euandreh(~euandreh@179.214.113.107)
2022-08-21 02:41:53 +0200nate4(~nate@98.45.169.16) (Ping timeout: 256 seconds)
2022-08-21 02:48:07 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds)
2022-08-21 02:49:45 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se)
2022-08-21 02:50:22 +0200Successus(~Successus@user/Successus) ()
2022-08-21 03:07:14 +0200nate4(~nate@98.45.169.16)
2022-08-21 03:08:39 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds)
2022-08-21 03:09:06 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-08-21 03:10:31 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection)
2022-08-21 03:16:39 +0200albet70(~xxx@2400:8902::f03c:92ff:fe60:98d8)
2022-08-21 03:17:43 +0200vysn(~vysn@user/vysn) (Ping timeout: 244 seconds)
2022-08-21 03:25:23 +0200beteigeuze(~Thunderbi@bl11-28-222.dsl.telepac.pt) (Ping timeout: 248 seconds)
2022-08-21 03:30:37 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 03:32:56 +0200stiell(~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection)
2022-08-21 03:33:37 +0200stiell(~stiell@gateway/tor-sasl/stiell)
2022-08-21 03:37:05 +0200einfair_(~einfair@broadband-90-154-72-24.ip.moscow.rt.ru)
2022-08-21 03:38:17 +0200einfair__(~einfair@broadband-90-154-71-147.ip.moscow.rt.ru)
2022-08-21 03:41:15 +0200einfair(~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 268 seconds)
2022-08-21 03:41:46 +0200einfair(~einfair@broadband-90-154-71-147.ip.moscow.rt.ru)
2022-08-21 03:41:54 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-21 03:42:30 +0200einfair_(~einfair@broadband-90-154-72-24.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2022-08-21 03:43:04 +0200einfair__(~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2022-08-21 03:44:12 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 03:46:23 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2022-08-21 03:50:36 +0200kitty4(~kitty@096-039-147-043.res.spectrum.com)
2022-08-21 04:00:09 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-21 04:02:43 +0200drlkf(~drlkf@chat.drlkf.net) (Quit: drlkf)
2022-08-21 04:03:04 +0200drlkf(~drlkf@chat.drlkf.net)
2022-08-21 04:06:38 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija)))
2022-08-21 04:06:38 +0200finn_elija(~finn_elij@user/finn-elija/x-0085643)
2022-08-21 04:06:38 +0200finn_elijaFinnElija
2022-08-21 04:07:19 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 244 seconds)
2022-08-21 04:07:24 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-21 04:20:51 +0200td_(~td@muedsl-82-207-238-122.citykom.de) (Ping timeout: 248 seconds)
2022-08-21 04:22:48 +0200td_(~td@muedsl-82-207-238-189.citykom.de)
2022-08-21 04:23:54 +0200Batzy(~quassel@user/batzy)
2022-08-21 04:26:01 +0200drlkf(~drlkf@chat.drlkf.net) (Quit: drlkf)
2022-08-21 04:26:21 +0200drlkf(~drlkf@chat.drlkf.net)
2022-08-21 04:28:51 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2022-08-21 04:30:52 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-21 04:30:52 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host)
2022-08-21 04:30:52 +0200wroathe(~wroathe@user/wroathe)
2022-08-21 04:31:52 +0200drlkf(~drlkf@chat.drlkf.net) (Quit: drlkf)
2022-08-21 04:32:13 +0200drlkf(~drlkf@chat.drlkf.net)
2022-08-21 04:32:31 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-08-21 04:34:29 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-21 04:37:46 +0200drlkf(~drlkf@chat.drlkf.net) (Quit: drlkf)
2022-08-21 04:38:45 +0200nilradical(~nilradica@user/naso)
2022-08-21 04:39:23 +0200wroathe_(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-21 04:39:50 +0200wroathe_(~wroathe@206-55-188-8.fttp.usinternet.com) (Client Quit)
2022-08-21 04:40:03 +0200wroathe(~wroathe@user/wroathe) (Ping timeout: 248 seconds)
2022-08-21 04:40:05 +0200wroathe_(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-21 04:40:12 +0200wroathe_wroathe
2022-08-21 04:46:15 +0200isaacvando(~isaacvand@2604:2d80:4e08:5400:2cee:600a:f9b9:3f9c)
2022-08-21 04:47:09 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com) (Read error: Connection reset by peer)
2022-08-21 04:50:01 +0200isaacvando(~isaacvand@2604:2d80:4e08:5400:2cee:600a:f9b9:3f9c) (Quit: Client closed)
2022-08-21 04:50:11 +0200isaacvando(~isaacvand@2604:2d80:4e08:5400:2cee:600a:f9b9:3f9c)
2022-08-21 04:50:50 +0200isaacvando(~isaacvand@2604:2d80:4e08:5400:2cee:600a:f9b9:3f9c) (Client Quit)
2022-08-21 04:52:07 +0200wroathe(~wroathe@206-55-188-8.fttp.usinternet.com)
2022-08-21 04:58:26 +0200arkeet(~arkeet@moriya.ca) (Ping timeout: 256 seconds)
2022-08-21 04:58:39 +0200arkeet(~arkeet@moriya.ca)
2022-08-21 04:59:15 +0200waleee(~waleee@h-176-10-137-138.NA.cust.bahnhof.se) (Ping timeout: 252 seconds)
2022-08-21 05:00:03 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-21 05:00:10 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 05:02:00 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-08-21 05:03:36 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-08-21 05:04:33 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-21 05:10:57 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-21 05:13:33 +0200drlkf(~drlkf@chat.drlkf.net)
2022-08-21 05:18:01 +0200drlkf(~drlkf@chat.drlkf.net) (Client Quit)
2022-08-21 05:18:21 +0200drlkf(~drlkf@chat.drlkf.net)
2022-08-21 05:20:56 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-08-21 05:23:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 05:27:55 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 05:27:56 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-08-21 05:29:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 05:31:09 +0200xff0x(~xff0x@ap007189.d.east.v6connect.net) (Ping timeout: 252 seconds)
2022-08-21 05:31:49 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-21 05:32:08 +0200myme1(~myme@2a01:799:d5a:cd00:24c9:1211:1023:461b) (Ping timeout: 255 seconds)
2022-08-21 05:32:52 +0200myme1(~myme@2a01:799:d5a:cd00:bb5a:372d:4d0c:faeb)
2022-08-21 05:34:23 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 05:37:13 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-21 05:37:17 +0200russruss(~russruss@my.russellmcc.com) (Quit: The Lounge - https://thelounge.chat)
2022-08-21 05:38:09 +0200jinsun(~jinsun@user/jinsun) (Read error: Connection reset by peer)
2022-08-21 05:38:54 +0200russruss(~russruss@my.russellmcc.com)
2022-08-21 05:50:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 05:54:16 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 06:02:57 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-21 06:04:09 +0200xff0x(~xff0x@2405:6580:b080:900:60cd:1e24:b252:14ca)
2022-08-21 06:08:28 +0200nate4(~nate@98.45.169.16)
2022-08-21 06:22:07 +0200raehik(~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds)
2022-08-21 06:22:55 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 06:24:58 +0200 <qrpnxz> if something is both Comonad and Monad, is it guaranteed to be Identity? My experience points to yes, but idk for sure.
2022-08-21 06:25:40 +0200 <qrpnxz> nvm just thought of counter example: NonEmpty
2022-08-21 06:26:02 +0200 <c_wraith> No, not at all
2022-08-21 06:26:09 +0200 <c_wraith> there are a lot of counter-examples
2022-08-21 06:27:38 +0200 <qrpnxz> indeed
2022-08-21 06:34:34 +0200xff0x(~xff0x@2405:6580:b080:900:60cd:1e24:b252:14ca) (Ping timeout: 244 seconds)
2022-08-21 06:34:58 +0200xff0x(~xff0x@ap007189.d.east.v6connect.net)
2022-08-21 06:38:13 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-21 06:41:55 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection)
2022-08-21 06:42:44 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 06:47:17 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 06:48:18 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 06:49:06 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 06:49:42 +0200nilradical(~nilradica@user/naso)
2022-08-21 06:51:16 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds)
2022-08-21 06:52:54 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 06:52:56 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-21 06:54:36 +0200nilradical(~nilradica@user/naso) (Ping timeout: 256 seconds)
2022-08-21 06:56:45 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-21 06:58:13 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-21 06:59:42 +0200Rumham347(~Rumham347@128-193-154-233.ptpg.oregonstate.edu)
2022-08-21 07:04:08 +0200Rumham347(~Rumham347@128-193-154-233.ptpg.oregonstate.edu) (Client Quit)
2022-08-21 07:05:03 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 244 seconds)
2022-08-21 07:08:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 07:09:14 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit)
2022-08-21 07:09:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 07:11:28 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-21 07:12:01 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-21 07:14:46 +0200geranim0(~geranim0@modemcable062.79-202-24.mc.videotron.ca)
2022-08-21 07:16:31 +0200wroathe(~wroathe@user/wroathe) (Quit: leaving)
2022-08-21 07:21:32 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-08-21 07:21:39 +0200nilradical(~nilradica@user/naso)
2022-08-21 07:21:42 +0200nilradical(~nilradica@user/naso) (Read error: Connection reset by peer)
2022-08-21 07:23:04 +0200nilradical(~nilradica@user/naso)
2022-08-21 07:26:45 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 07:31:30 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-21 07:31:48 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-21 07:37:49 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 07:39:02 +0200nilradical(~nilradica@user/naso)
2022-08-21 07:39:26 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 07:39:54 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-08-21 07:40:19 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds)
2022-08-21 07:43:48 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 07:45:39 +0200nilradical(~nilradica@user/naso) (Ping timeout: 248 seconds)
2022-08-21 07:58:13 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 08:01:54 +0200mbuf(~Shakthi@122.165.55.71)
2022-08-21 08:06:55 +0200azimut_(~azimut@gateway/tor-sasl/azimut)
2022-08-21 08:07:07 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-21 08:10:13 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-21 08:13:57 +0200kenran(~kenran@200116b82b214b000f67e475078de869.dip.versatel-1u1.de)
2022-08-21 08:15:26 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 08:15:29 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 08:16:59 +0200random-jellyfish(~random-je@user/random-jellyfish)
2022-08-21 08:21:05 +0200zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-08-21 08:21:18 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-21 08:24:56 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-08-21 08:25:30 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-21 08:26:16 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 08:32:44 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-08-21 08:36:44 +0200nate4(~nate@98.45.169.16)
2022-08-21 08:39:28 +0200nilradical(~nilradica@user/naso)
2022-08-21 08:41:08 +0200kenran(~kenran@200116b82b214b000f67e475078de869.dip.versatel-1u1.de) (Ping timeout: 256 seconds)
2022-08-21 08:41:21 +0200acidjnk(~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de)
2022-08-21 08:44:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 08:46:59 +0200nate4(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-08-21 08:48:26 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net)
2022-08-21 08:48:54 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net) (Client Quit)
2022-08-21 08:49:04 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 08:50:22 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 08:50:34 +0200hrberg(~quassel@171.79-160-161.customer.lyse.net)
2022-08-21 08:52:57 +0200gmg(~user@user/gehmehgeh)
2022-08-21 08:54:28 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 08:55:12 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-08-21 08:56:07 +0200gmg(~user@user/gehmehgeh)
2022-08-21 08:59:46 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-08-21 08:59:58 +0200vysn(~vysn@user/vysn)
2022-08-21 09:00:23 +0200mmhat(~mmh@p200300f1c7086075ee086bfffe095315.dip0.t-ipconnect.de)
2022-08-21 09:00:28 +0200gmg(~user@user/gehmehgeh)
2022-08-21 09:03:53 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 09:04:44 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com)
2022-08-21 09:06:09 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-08-21 09:07:33 +0200tom_(~tom@2a00:23c8:970c:4801:58e8:4521:87a3:64ff) (Read error: Connection reset by peer)
2022-08-21 09:07:52 +0200tom_(~tom@2a00:23c8:970c:4801:58e8:4521:87a3:64ff)
2022-08-21 09:09:30 +0200dolio(~dolio@130.44.130.54) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-21 09:11:14 +0200random-jellyfish(~random-je@user/random-jellyfish) (Quit: Client closed)
2022-08-21 09:11:24 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-08-21 09:12:38 +0200benin0(~benin@183.82.205.66)
2022-08-21 09:13:09 +0200dolio(~dolio@130.44.130.54)
2022-08-21 09:15:36 +0200coot(~coot@213.134.176.158)
2022-08-21 09:15:49 +0200dolio(~dolio@130.44.130.54) (Client Quit)
2022-08-21 09:17:00 +0200dolio(~dolio@130.44.130.54)
2022-08-21 09:30:33 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 09:32:18 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 09:34:19 +0200zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-08-21 09:34:31 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-21 09:36:22 +0200tom__(~tom@host86-160-236-152.range86-160.btcentralplus.com)
2022-08-21 09:38:25 +0200szkl(uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-21 09:38:43 +0200tom_(~tom@2a00:23c8:970c:4801:58e8:4521:87a3:64ff) (Ping timeout: 248 seconds)
2022-08-21 09:42:26 +0200kenran(~kenran@200116b82b214b00359ce888ae205ee5.dip.versatel-1u1.de)
2022-08-21 09:44:41 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-08-21 09:45:32 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 09:45:46 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-21 09:46:43 +0200acidjnk(~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-08-21 09:50:16 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 09:50:49 +0200nilradical(~nilradica@user/naso)
2022-08-21 09:53:23 +0200acidjnk(~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de)
2022-08-21 09:56:39 +0200MajorBiscuit(~MajorBisc@46-229-126.internethome.cytanet.com.cy)
2022-08-21 10:01:12 +0200azimut_(~azimut@gateway/tor-sasl/azimut) (Ping timeout: 268 seconds)
2022-08-21 10:03:32 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 10:08:10 +0200elkcl_(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru)
2022-08-21 10:08:35 +0200elkcl(~elkcl@broadband-37-110-156-162.ip.moscow.rt.ru) (Ping timeout: 248 seconds)
2022-08-21 10:08:35 +0200elkcl_elkcl
2022-08-21 10:10:35 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:558b:cc63:62b5:2184)
2022-08-21 10:14:58 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-21 10:15:17 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-21 10:17:25 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-21 10:18:08 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 10:19:35 +0200nilradical(~nilradica@user/naso)
2022-08-21 10:19:44 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2022-08-21 10:19:58 +0200michalz(~michalz@185.246.204.72)
2022-08-21 10:21:04 +0200coot(~coot@213.134.176.158)
2022-08-21 10:21:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 10:24:40 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-21 10:30:00 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 10:30:55 +0200nilradical(~nilradica@user/naso)
2022-08-21 10:32:29 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-21 10:36:19 +0200nilradical(~nilradica@user/naso) (Ping timeout: 248 seconds)
2022-08-21 10:38:25 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-21 10:42:18 +0200 <albet70> why English always use a, an or the before the name
2022-08-21 10:43:51 +0200 <albet70> how to describe a delayed computation?
2022-08-21 10:49:54 +0200ystael(~ystael@user/ystael)
2022-08-21 10:50:36 +0200nilradical(~nilradica@user/naso)
2022-08-21 10:51:21 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 10:51:27 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 10:52:37 +0200nilradical(~nilradica@user/naso)
2022-08-21 10:54:09 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 10:54:14 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:28a3:ca72:204d:76ec)
2022-08-21 10:56:00 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 10:57:07 +0200nilradical(~nilradica@user/naso) (Ping timeout: 248 seconds)
2022-08-21 10:58:49 +0200causal(~user@50.35.83.177) (Quit: WeeChat 3.6)
2022-08-21 10:59:48 +0200ine-one(~Me@185.103.89.94)
2022-08-21 11:00:11 +0200causal(~user@50.35.83.177)
2022-08-21 11:00:21 +0200causal(~user@50.35.83.177) (Client Quit)
2022-08-21 11:00:54 +0200radhika(uid560836@id-560836.helmsley.irccloud.com)
2022-08-21 11:00:57 +0200 <radhika> Hi
2022-08-21 11:01:02 +0200 <radhika> I have an array
2022-08-21 11:01:09 +0200 <radhika> Sorry a list
2022-08-21 11:01:15 +0200 <radhika> And a number
2022-08-21 11:01:25 +0200 <radhika> The list consists of a name
2022-08-21 11:01:32 +0200 <radhika> Name is 11 letters
2022-08-21 11:01:54 +0200 <radhika> The number could be anything
2022-08-21 11:02:23 +0200 <radhika> It should count the list and if the number is greater than the list then count from start again
2022-08-21 11:03:26 +0200 <radhika> Keep doing it till the end of number
2022-08-21 11:03:54 +0200 <radhika> And return the letter where the count ends
2022-08-21 11:04:04 +0200luffy(~chenqisu1@183.217.200.212)
2022-08-21 11:04:51 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2022-08-21 11:05:15 +0200zxx7529(~Thunderbi@user/zxx7529) (Ping timeout: 268 seconds)
2022-08-21 11:07:02 +0200kmein(~weechat@user/kmein) (Quit: ciao kakao)
2022-08-21 11:09:04 +0200kmein(~weechat@user/kmein)
2022-08-21 11:09:13 +0200ine-one(~Me@185.103.89.94) (Excess Flood)
2022-08-21 11:09:26 +0200ine-one(~Me@185.103.89.94)
2022-08-21 11:09:41 +0200ine-one(~Me@185.103.89.94) (Max SendQ exceeded)
2022-08-21 11:09:52 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 11:10:13 +0200ine-one(~Me@185.103.89.94)
2022-08-21 11:10:32 +0200ine-one(~Me@185.103.89.94) (Max SendQ exceeded)
2022-08-21 11:11:05 +0200ine-one(~Me@185.103.89.94)
2022-08-21 11:11:09 +0200ine-one(~Me@185.103.89.94) (Max SendQ exceeded)
2022-08-21 11:11:32 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:28a3:ca72:204d:76ec) (Remote host closed the connection)
2022-08-21 11:11:39 +0200ine-one(~Me@185.103.89.94)
2022-08-21 11:11:51 +0200ine-one(~Me@185.103.89.94) (Max SendQ exceeded)
2022-08-21 11:17:01 +0200kenran(~kenran@200116b82b214b00359ce888ae205ee5.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-08-21 11:17:35 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:ce75:c418:787e:f49)
2022-08-21 11:18:51 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:ce75:c418:787e:f49) (Remote host closed the connection)
2022-08-21 11:21:34 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:9bc0:19ca:2d3a:5cf7)
2022-08-21 11:25:15 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-21 11:25:52 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:9bc0:19ca:2d3a:5cf7) (Remote host closed the connection)
2022-08-21 11:26:15 +0200waldo(~waldo@user/waldo)
2022-08-21 11:26:59 +0200 <jackdk> homework?
2022-08-21 11:27:11 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 11:30:00 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-08-21 11:31:36 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:f978:95c3:4cc3:7497)
2022-08-21 11:33:36 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net)
2022-08-21 11:38:11 +0200instantaphex(~jb@c-73-171-252-84.hsd1.fl.comcast.net) (Ping timeout: 248 seconds)
2022-08-21 11:40:00 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 11:40:29 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Ping timeout: 268 seconds)
2022-08-21 11:43:38 +0200waldo(~waldo@user/waldo) (Quit: quit)
2022-08-21 11:44:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 11:45:09 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-21 11:45:21 +0200waldo(~waldo@user/waldo)
2022-08-21 11:46:39 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-08-21 11:47:16 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-08-21 11:48:47 +0200econo(uid147250@user/econo) (Quit: Connection closed for inactivity)
2022-08-21 11:48:51 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-21 11:49:11 +0200gmg(~user@user/gehmehgeh)
2022-08-21 11:51:29 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-08-21 11:52:49 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-21 11:54:30 +0200__monty__(~toonn@user/toonn)
2022-08-21 11:55:05 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-08-21 11:55:35 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-21 11:57:15 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:558b:cc63:62b5:2184) (Read error: Connection reset by peer)
2022-08-21 11:57:58 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 11:59:09 +0200nilradical(~nilradica@user/naso)
2022-08-21 11:59:29 +0200jakalx(~jakalx@base.jakalx.net) ()
2022-08-21 12:01:21 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-21 12:03:11 +0200michalz(~michalz@185.246.204.72) (Remote host closed the connection)
2022-08-21 12:03:50 +0200nilradical(~nilradica@user/naso) (Ping timeout: 268 seconds)
2022-08-21 12:08:38 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl)
2022-08-21 12:09:40 +0200acidjnk(~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-08-21 12:12:26 +0200alternateved(~user@staticline-31-183-146-203.toya.net.pl) (Remote host closed the connection)
2022-08-21 12:15:20 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 12:15:31 +0200motersen(~motersen@user/motersen)
2022-08-21 12:16:01 +0200siers(~ij@user/ij) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-21 12:18:53 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 252 seconds)
2022-08-21 12:20:45 +0200sm2n(ae95cb1267@user/sm2n) (Ping timeout: 244 seconds)
2022-08-21 12:20:52 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net)
2022-08-21 12:20:56 +0200beteigeuze(~Thunderbi@85.244.28.222)
2022-08-21 12:21:39 +0200sm2n(ae95cb1267@user/sm2n)
2022-08-21 12:24:15 +0200acidjnk(~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de)
2022-08-21 12:29:06 +0200tzh(~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz)
2022-08-21 12:33:40 +0200motersen(~motersen@user/motersen) (Quit: ZNC - https://znc.in)
2022-08-21 12:38:56 +0200jgeerds(~jgeerds@55d46bad.access.ecotel.net)
2022-08-21 12:42:49 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 12:45:42 +0200nate4(~nate@98.45.169.16)
2022-08-21 12:47:05 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 12:50:43 +0200nate4(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-08-21 12:51:35 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-08-21 12:53:47 +0200jgeerds(~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 268 seconds)
2022-08-21 12:59:20 +0200finsternis(~X@23.226.237.192) (Ping timeout: 268 seconds)
2022-08-21 13:00:40 +0200acidjnk(~acidjnk@p200300d6e7137a94354e6071615de150.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-08-21 13:01:30 +0200finsternis(~X@23.226.237.192)
2022-08-21 13:02:46 +0200lisbeths(uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-21 13:04:06 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 13:05:30 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:f978:95c3:4cc3:7497) (Ping timeout: 252 seconds)
2022-08-21 13:08:35 +0200acidjnk(~acidjnk@p200300d6e7137a9405bc25a921fe39ff.dip0.t-ipconnect.de)
2022-08-21 13:10:39 +0200radhika(uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-21 13:11:17 +0200random-jellyfish(~random-je@user/random-jellyfish)
2022-08-21 13:12:03 +0200kenran(~kenran@200116b82b214b000af83c07f07a2124.dip.versatel-1u1.de)
2022-08-21 13:12:35 +0200finsternis(~X@23.226.237.192) (Ping timeout: 256 seconds)
2022-08-21 13:14:14 +0200random-jellyfish(~random-je@user/random-jellyfish) (Client Quit)
2022-08-21 13:15:27 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-08-21 13:16:31 +0200nilradical(~nilradica@user/naso)
2022-08-21 13:16:32 +0200motersen(~motersen@user/motersen)
2022-08-21 13:16:37 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 268 seconds)
2022-08-21 13:16:57 +0200finsternis(~X@23.226.237.192)
2022-08-21 13:17:15 +0200random-jellyfish(~random-je@user/random-jellyfish)
2022-08-21 13:19:41 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 13:19:43 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-21 13:19:52 +0200Natch(~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se)
2022-08-21 13:20:08 +0200random-jellyfish(~random-je@user/random-jellyfish) (Client Quit)
2022-08-21 13:21:39 +0200Vajb(~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8) (Read error: Connection reset by peer)
2022-08-21 13:22:37 +0200faultline(~christian@200116b82ba67a00cb4fd7a4c1a40de2.dip.versatel-1u1.de)
2022-08-21 13:22:39 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi)
2022-08-21 13:27:05 +0200Vajb(~Vajb@hag-jnsbng11-58c3ad-40.dhcp.inet.fi) (Ping timeout: 268 seconds)
2022-08-21 13:27:28 +0200Vajb(~Vajb@2001:999:705:3c86:e7ea:442b:1e01:22d8)
2022-08-21 13:27:43 +0200finsternis(~X@23.226.237.192) (Ping timeout: 268 seconds)
2022-08-21 13:28:57 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 13:29:04 +0200 <albet70> return_cont = \a -> \ar -> ar a
2022-08-21 13:29:22 +0200 <albet70> bindC = \g f k -> g (\x -> f x k)
2022-08-21 13:29:35 +0200 <albet70> k3 = return_cont 3
2022-08-21 13:29:49 +0200nilradical(~nilradica@user/naso)
2022-08-21 13:30:02 +0200 <albet70> k5 = bindC k3 (\a -> return_cont (a+1))
2022-08-21 13:30:10 +0200 <albet70> k5 id == 4
2022-08-21 13:30:54 +0200 <albet70> this f in bindC is a binary function, and in k5 = bindC k3 (\a -> ...) \a is an unary, why it does work?
2022-08-21 13:31:50 +0200motersen(~motersen@user/motersen) (Quit: ZNC - https://znc.in)
2022-08-21 13:34:06 +0200finsternis(~X@23.226.237.192)
2022-08-21 13:34:32 +0200Inst(~Inst@2601:6c4:4080:3f80:d8ab:2e91:63f7:db6e)
2022-08-21 13:35:06 +0200nilradical(~nilradica@user/naso) (Ping timeout: 268 seconds)
2022-08-21 13:35:58 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 13:36:20 +0200Successus(~Successus@user/Successus)
2022-08-21 13:45:27 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-21 13:46:57 +0200motersen(~motersen@user/motersen)
2022-08-21 13:47:22 +0200toluene9(~toluene@user/toulene)
2022-08-21 13:47:45 +0200toluene(~toluene@user/toulene) (Read error: Connection reset by peer)
2022-08-21 13:47:45 +0200toluene9toluene
2022-08-21 13:49:08 +0200motersen(~motersen@user/motersen) (Client Quit)
2022-08-21 13:49:24 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 13:50:46 +0200king_gs(~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec)
2022-08-21 13:51:26 +0200coot(~coot@213.134.176.158)
2022-08-21 13:52:23 +0200coot(~coot@213.134.176.158) (Client Quit)
2022-08-21 13:52:42 +0200king_gs(~Thunderbi@2806:103e:29:da7a:1f74:531c:dec2:7aec) (Client Quit)
2022-08-21 13:52:53 +0200coot(~coot@213.134.176.158)
2022-08-21 13:53:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 13:56:07 +0200motersen(~motersen@user/motersen)
2022-08-21 13:56:32 +0200motersen(~motersen@user/motersen) (Remote host closed the connection)
2022-08-21 13:57:55 +0200motersen(~motersen@user/motersen)
2022-08-21 14:01:41 +0200motersen(~motersen@user/motersen) (Client Quit)
2022-08-21 14:02:09 +0200motersen(~motersen@user/motersen)
2022-08-21 14:02:12 +0200Ranhir(~Ranhir@157.97.53.139) (Quit: KVIrc 5.0.0 Aria http://www.kvirc.net/)
2022-08-21 14:02:18 +0200motersen(~motersen@user/motersen) (Remote host closed the connection)
2022-08-21 14:04:50 +0200nilradical(~nilradica@user/naso)
2022-08-21 14:06:04 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 14:08:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 14:09:47 +0200Ranhir(~Ranhir@157.97.53.139)
2022-08-21 14:13:12 +0200acidjnk(~acidjnk@p200300d6e7137a9405bc25a921fe39ff.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-08-21 14:15:16 +0200gmg(~user@user/gehmehgeh) (Ping timeout: 268 seconds)
2022-08-21 14:15:48 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-21 14:17:03 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2022-08-21 14:17:10 +0200jmdaemon(~jmdaemon@user/jmdaemon) (Ping timeout: 256 seconds)
2022-08-21 14:17:52 +0200califax(~califax@user/califx)
2022-08-21 14:18:11 +0200nilradical(~nilradica@user/naso) (Ping timeout: 248 seconds)
2022-08-21 14:18:21 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 268 seconds)
2022-08-21 14:20:00 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 256 seconds)
2022-08-21 14:20:02 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-21 14:20:11 +0200radhika(uid560836@id-560836.helmsley.irccloud.com)
2022-08-21 14:20:34 +0200faultline(~christian@200116b82ba67a00cb4fd7a4c1a40de2.dip.versatel-1u1.de) (Ping timeout: 256 seconds)
2022-08-21 14:22:14 +0200gmg(~user@user/gehmehgeh)
2022-08-21 14:24:04 +0200gurkengl1s(~gurkengla@p548ac72e.dip0.t-ipconnect.de)
2022-08-21 14:24:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 14:26:49 +0200gurkenglas(~gurkengla@p548ac72e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds)
2022-08-21 14:26:51 +0200MajorBiscuit(~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Ping timeout: 252 seconds)
2022-08-21 14:27:17 +0200MajorBiscuit(~MajorBisc@46-229-126.internethome.cytanet.com.cy)
2022-08-21 14:28:01 +0200waldo(~waldo@user/waldo) (Quit: quit)
2022-08-21 14:33:24 +0200acidjnk(~acidjnk@p200300d6e7137a9498a3b54f32401c3f.dip0.t-ipconnect.de)
2022-08-21 14:34:05 +0200motersen(~motersen@user/motersen)
2022-08-21 14:34:40 +0200nilradical(~nilradica@user/naso)
2022-08-21 14:35:51 +0200motersen(~motersen@user/motersen) (Client Quit)
2022-08-21 14:36:08 +0200waldo(~waldo@user/waldo)
2022-08-21 14:37:18 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 14:39:16 +0200nilradical(~nilradica@user/naso) (Ping timeout: 256 seconds)
2022-08-21 14:41:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 14:45:17 +0200worldhelloworld1(uid543174@id-543174.helmsley.irccloud.com)
2022-08-21 14:49:14 +0200vysn(~vysn@user/vysn) (Ping timeout: 255 seconds)
2022-08-21 14:49:15 +0200nilradical(~nilradica@user/naso)
2022-08-21 14:50:28 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 14:51:25 +0200benjamin-thomas(~benjamin-@2a01:e0a:32f:6350:89cf:8543:57e0:28b1)
2022-08-21 14:51:57 +0200nilradical(~nilradica@user/naso)
2022-08-21 14:52:24 +0200motersen(~motersen@user/motersen)
2022-08-21 14:54:08 +0200motersen(~motersen@user/motersen) (Client Quit)
2022-08-21 14:57:46 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 15:01:57 +0200luffy(~chenqisu1@183.217.200.212) (Ping timeout: 256 seconds)
2022-08-21 15:09:37 +0200zxx7529(~Thunderbi@user/zxx7529) (Remote host closed the connection)
2022-08-21 15:09:39 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-08-21 15:09:49 +0200zxx7529(~Thunderbi@user/zxx7529)
2022-08-21 15:11:02 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-08-21 15:15:13 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se)
2022-08-21 15:17:14 +0200jonathanx(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds)
2022-08-21 15:18:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 15:22:52 +0200ilichu[m](~ilichumat@2001:470:69fc:105::2:6afb)
2022-08-21 15:23:54 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-08-21 15:24:01 +0200kenran(~kenran@200116b82b214b000af83c07f07a2124.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-08-21 15:24:01 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 15:24:29 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Quit: _)
2022-08-21 15:25:09 +0200jese(~nikola@93-86-101-108.dynamic.isp.telekom.rs)
2022-08-21 15:28:23 +0200motersen(~motersen@user/motersen)
2022-08-21 15:29:53 +0200motersen(~motersen@user/motersen) (Client Quit)
2022-08-21 15:30:52 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 15:32:47 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-08-21 15:34:54 +0200[itchyjunk](~itchyjunk@user/itchyjunk/x-7353470)
2022-08-21 15:35:03 +0200 <sm> hey all, do you know a trick for identifying functions stored in a data value, eg for comparing or debug logging ?
2022-08-21 15:35:50 +0200 <sm> ack.. biab
2022-08-21 15:38:24 +0200gmg(~user@user/gehmehgeh) (Remote host closed the connection)
2022-08-21 15:39:21 +0200Midjak(~Midjak@82.66.147.146)
2022-08-21 15:39:26 +0200gmg(~user@user/gehmehgeh)
2022-08-21 15:39:32 +0200jao(~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net)
2022-08-21 15:39:40 +0200benin0(~benin@183.82.205.66) (Quit: The Lounge - https://thelounge.chat)
2022-08-21 15:48:25 +0200benjamin-thomas(~benjamin-@2a01:e0a:32f:6350:89cf:8543:57e0:28b1) (Quit: Client closed)
2022-08-21 15:48:48 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 15:50:24 +0200benin0(~benin@183.82.205.66)
2022-08-21 16:03:30 +0200 <tomsmeding> albet70: `\a b -> ...` is the same as `\a -> \b -> ...` is the same as `\a -> (\b -> ...)`
2022-08-21 16:03:47 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 16:07:32 +0200[exa](exa@user/exa/x-3587197)
2022-08-21 16:09:37 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl)
2022-08-21 16:11:44 +0200 <tomsmeding> sm: comparison can I guess be done using reallyUnsafePtrEquality#, but debug logging is going to be hard -- inspecting the heap might (with hacks) give you some pointer to the entry of its native code block, yielding some kind of "identity", but not necessarily a useful one if you want to distinguish functions with different closures
2022-08-21 16:12:06 +0200 <tomsmeding> i.e. you'd need a ghc plugin to attach more info to closures, or otherwise you should manually add info to your closures :)
2022-08-21 16:22:24 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 16:22:25 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 256 seconds)
2022-08-21 16:22:43 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 16:24:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 16:28:34 +0200jero98772(~jero98772@2800:484:1d80:d8ce:efcc:cbb3:7f2a:6dff)
2022-08-21 16:29:45 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-21 16:30:39 +0200radhika(uid560836@id-560836.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-21 16:34:18 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds)
2022-08-21 16:34:59 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 16:36:13 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 16:40:07 +0200 <albet70> what's the eval order ma >>= \a -> mb >>= \b -> mc?
2022-08-21 16:40:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 16:40:50 +0200 <albet70> == ma >>= \a -> (mb >>= \b -> mc)?
2022-08-21 16:40:53 +0200kenran(~kenran@200116b82b214b0087667b6a2525053d.dip.versatel-1u1.de)
2022-08-21 16:41:12 +0200 <albet70> or (ma >>= \a -> mb) >>= (\b -> mc)?
2022-08-21 16:41:50 +0200 <albet70> which way is the do-notation using?
2022-08-21 16:44:08 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-21 16:45:34 +0200 <hpc> if you're asking about parsing, it's the first one
2022-08-21 16:45:40 +0200 <[exa]> albet70: `do` notation doesn't specify any evaluation order; everything depends on which arguments the >>= forces or not
2022-08-21 16:45:42 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-21 16:45:58 +0200 <hpc> but they're both the same, and you can't conclude anything about evaluation order from either expression
2022-08-21 16:46:34 +0200geranim0(~geranim0@modemcable062.79-202-24.mc.videotron.ca) (Remote host closed the connection)
2022-08-21 16:47:01 +0200 <hpc> also fun fact, the fact that those two expressions are the same is the "monoid" part of the "monoid in the category of endofunctors" joke
2022-08-21 16:47:12 +0200 <hpc> (or at least, the semigroup part of it :D)
2022-08-21 16:47:12 +0200nate4(~nate@98.45.169.16)
2022-08-21 16:47:15 +0200 <[exa]> albet70: btw for the 2nd parenthesization the `a` variable wouldn't be available for any other commands than for `mb`
2022-08-21 16:48:57 +0200 <albet70> I'm confused, ma >>= \a -> (mb >>= \b -> mc) is equal to (ma >>= \a -> mb) >>= (\b -> mc)?
2022-08-21 16:49:24 +0200 <hpc> albet70: ignore that, [exa] is right :(
2022-08-21 16:50:15 +0200f-a(f2a@f2a.jujube.ircnow.org)
2022-08-21 16:50:53 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:186f:eebe:3c5b:ecfa)
2022-08-21 16:51:02 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25)
2022-08-21 16:51:27 +0200 <hpc> i was misreading, the actual equality is m >>= (\x -> k x >>= h) = (m >>= k) >>= h
2022-08-21 16:52:19 +0200 <f-a> I am writing a `Tree a -> b -> (b -> a -> b) -> Tree b` function. So to speak, “folding” along branches. I suspect I am not writing anything new. Is there a typeclass for this?
2022-08-21 16:52:27 +0200nate4(~nate@98.45.169.16) (Ping timeout: 268 seconds)
2022-08-21 16:53:03 +0200acidjnk(~acidjnk@p200300d6e7137a9498a3b54f32401c3f.dip0.t-ipconnect.de) (Remote host closed the connection)
2022-08-21 16:53:25 +0200acidjnk(~acidjnk@p200300d6e7137a9498a3b54f32401c3f.dip0.t-ipconnect.de)
2022-08-21 16:53:28 +0200 <hpc> f-a: https://hackage.haskell.org/package/base-4.17.0.0/docs/Prelude.html#t:Foldable perhaps
2022-08-21 16:54:26 +0200 <hpc> or Traversable
2022-08-21 16:54:27 +0200biberu(~biberu@user/biberu)
2022-08-21 16:54:53 +0200 <f-a> hpc, I don’t think it is foldable since I am not reducing to `b` but `Tree b`, am I wrong?
2022-08-21 16:55:14 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 16:55:54 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-08-21 16:58:07 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-21 16:58:13 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 17:00:02 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-21 17:02:38 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 256 seconds)
2022-08-21 17:02:39 +0200mbuf(~Shakthi@122.165.55.71) (Ping timeout: 256 seconds)
2022-08-21 17:03:35 +0200 <[exa]> f-a: so the output tree is a single leaf?
2022-08-21 17:03:44 +0200mbuf(~Shakthi@122.165.55.71)
2022-08-21 17:03:50 +0200worldhelloworld1(uid543174@id-543174.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2022-08-21 17:04:06 +0200 <[exa]> (also looks a bit like mapAccum through a tree, at which point you might be almost hitting Traversable)
2022-08-21 17:04:22 +0200 <f-a> no, maybe I should write an implementation so it is clearer
2022-08-21 17:05:57 +0200 <hololeap> What's a good overview of Haskell for someone who has done casual programming, just because they are curious, but aren't interested in learning it?
2022-08-21 17:06:15 +0200motersen(~motersen@user/motersen)
2022-08-21 17:06:16 +0200 <hpc> LYAH perhaps?
2022-08-21 17:06:30 +0200 <hpc> it's approachable, with no exercises
2022-08-21 17:06:35 +0200 <hpc> and not terribly long
2022-08-21 17:06:38 +0200 <f-a> lyah is a bit long if you are not interested in learning it, I suspect
2022-08-21 17:06:55 +0200 <hololeap> I'm thinking some kind of video that goes over the language's features.
2022-08-21 17:07:04 +0200 <hpc> a lot of LYAH is "here's what integers are, here's how to append strings" and such
2022-08-21 17:07:05 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2022-08-21 17:07:22 +0200 <hololeap> I have a family member that is curious why I have an interest in Haskell.
2022-08-21 17:09:05 +0200 <[exa]> f-a: anyway your function type can be made out of `traverse` by using `f ~ (->) b` for the `Applicative f`. So unless you're doing some context-specific magic, I guess you should have a traversable.
2022-08-21 17:10:51 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-08-21 17:12:10 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-21 17:12:22 +0200takuan(~takuan@178-116-218-225.access.telenet.be)
2022-08-21 17:12:48 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 17:13:33 +0200beteigeuze(~Thunderbi@85.244.28.222) (Quit: beteigeuze)
2022-08-21 17:13:47 +0200beteigeuze(~Thunderbi@bl11-28-222.dsl.telepac.pt)
2022-08-21 17:15:45 +0200 <ByronJohnson> albet70: I think you mean ‘ma >>= \a -> mb a >>= \b -> mc b’; that is, ‘mb a’, not ‘mb’, and ‘mc b’, not ‘mc’.
2022-08-21 17:15:56 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-21 17:16:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 17:17:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 17:18:02 +0200ddellacosta(~ddellacos@143.244.47.71)
2022-08-21 17:18:15 +0200 <ByronJohnson> f-a: In addition to Foldable and Traversable, I'd also look at catamorphisms and F-algebras.
2022-08-21 17:18:23 +0200 <f-a> hpc: [exa]: ByronJohnson: I wrote an implementation (`annotate`) so I am clear in what I am talking about https://pastebin.com/97PVXTQe
2022-08-21 17:19:24 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-21 17:20:45 +0200 <f-a> hololeap: difficult to answer, there are videos but I always found them lacking. Even talks are so so imho
2022-08-21 17:22:22 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 17:23:46 +0200matthewmosior(~matthewmo@173.170.253.91) (Remote host closed the connection)
2022-08-21 17:24:43 +0200kenran(~kenran@200116b82b214b0087667b6a2525053d.dip.versatel-1u1.de) (Quit: WeeChat info:version)
2022-08-21 17:25:21 +0200kenran(~kenran@200116b82b214b0046e1262313a3bf39.dip.versatel-1u1.de)
2022-08-21 17:25:31 +0200kenran(~kenran@200116b82b214b0046e1262313a3bf39.dip.versatel-1u1.de) (Client Quit)
2022-08-21 17:27:45 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl)
2022-08-21 17:28:20 +0200 <[exa]> f-a: not sure if the default Traversable instance for a tree runs from the top to the bottom, you might need some ugly laziness trick to get it working (like, subtracting from a final value which is lazy)
2022-08-21 17:28:41 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 17:28:55 +0200 <[exa]> Foldable is certainly insufficient (because it can't reproduce the structure)
2022-08-21 17:30:27 +0200 <[exa]> f-a: anyway, you can use State to hold the cummulative sum and just let it traverse through the whole structure
2022-08-21 17:31:35 +0200vysn(~vysn@user/vysn)
2022-08-21 17:31:36 +0200 <albet70> ByronJohnson , why
2022-08-21 17:31:49 +0200 <f-a> thanks, in the hand my goal was not to handroll something naive
2022-08-21 17:33:02 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 17:33:37 +0200 <albet70> b/c \a -> mb a :: a -> mb?
2022-08-21 17:33:58 +0200ddellacosta(~ddellacos@143.244.47.71) (Quit: WeeChat 3.6)
2022-08-21 17:34:22 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl) (Ping timeout: 268 seconds)
2022-08-21 17:36:35 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-21 17:42:21 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-08-21 17:42:38 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl)
2022-08-21 17:43:46 +0200 <sm> thanks tomsmeding
2022-08-21 17:45:13 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-08-21 17:45:14 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection)
2022-08-21 17:45:33 +0200sonologico(~raphael@dhcp-077-251-118-129.chello.nl) (Client Quit)
2022-08-21 17:47:35 +0200 <Franciman> see you in a few times, enjoy functional programming and good company
2022-08-21 17:47:37 +0200Franciman(~Franciman@mx1.fracta.dev) (WeeChat 3.0)
2022-08-21 17:48:02 +0200chomwitt(~chomwitt@2a02:587:dc09:3900:23d6:30eb:ebe5:2f08)
2022-08-21 17:49:05 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-21 17:50:27 +0200acidjnk(~acidjnk@p200300d6e7137a9498a3b54f32401c3f.dip0.t-ipconnect.de) (Ping timeout: 248 seconds)
2022-08-21 17:50:51 +0200 <[exa]> f-a: I later realized there are various applicative adaptors that might force the Traverse do what you want, i.e. Backwards or Reverse might do the trick
2022-08-21 17:51:37 +0200 <[exa]> (it's Data.Functor.Reverse and Control.Applicative.Backwards, both in `transformers`)
2022-08-21 17:51:49 +0200 <f-a> thanks
2022-08-21 17:52:16 +0200motersen(~motersen@user/motersen) (Using Circe, the loveliest of all IRC clients)
2022-08-21 17:52:25 +0200 <[exa]> (s/Traverse/traverse/ as an absolute self-nitpick)
2022-08-21 17:52:58 +0200 <f-a> really interesting, I am not sure I will be using it soon but for sure something useful to know
2022-08-21 17:55:34 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 17:55:55 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 17:57:51 +0200 <[exa]> well certainly helps you to avoid writing the reversed instance yourself. :D
2022-08-21 17:57:56 +0200FinnElija(~finn_elij@user/finn-elija/x-0085643)
2022-08-21 17:59:52 +0200mbuf(~Shakthi@122.165.55.71) (Remote host closed the connection)
2022-08-21 18:00:05 +0200motersen(~motersen@user/motersen)
2022-08-21 18:00:10 +0200pwmosquito[m](~pwmosquit@2001:470:69fc:105::15db) (Quit: You have been kicked for being idle)
2022-08-21 18:00:49 +0200mbuf(~Shakthi@122.165.55.71)
2022-08-21 18:01:35 +0200einfair_(~einfair@broadband-90-154-73-153.ip.moscow.rt.ru)
2022-08-21 18:01:39 +0200motersen(~motersen@user/motersen) (bye)
2022-08-21 18:05:33 +0200einfair(~einfair@broadband-90-154-71-147.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2022-08-21 18:06:40 +0200einfair_(~einfair@broadband-90-154-73-153.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2022-08-21 18:07:41 +0200einfair_(~einfair@broadband-90-154-73-153.ip.moscow.rt.ru)
2022-08-21 18:08:36 +0200einfair__(~einfair@broadband-90-154-71-147.ip.moscow.rt.ru)
2022-08-21 18:10:33 +0200nate4(~nate@98.45.169.16)
2022-08-21 18:12:20 +0200einfair_(~einfair@broadband-90-154-73-153.ip.moscow.rt.ru) (Ping timeout: 256 seconds)
2022-08-21 18:14:36 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 18:15:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 18:16:15 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-21 18:17:40 +0200zebrag(~chris@user/zebrag)
2022-08-21 18:20:44 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2022-08-21 18:21:24 +0200 <jese> one of my package's dependencies requires very old version of GHC and fails to build with --allow-newer. but if i build it by myself somewhere outside of the package's directory using that old version of GHC then my package finds it and builds just fine. so is there a way to prevent stack and cabal (i use both) from attempting to build that dependency themselves and instead rely on the user to do it?
2022-08-21 18:21:53 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 18:22:25 +0200waldo(~waldo@user/waldo) (Quit: quit)
2022-08-21 18:22:42 +0200 <c_wraith> if it fails to build with --allow-newer, that suggests it's using a set of dependencies that are incompatible with your program
2022-08-21 18:23:24 +0200 <c_wraith> You can point to local source for a package, but it won't help in any situation where you're building the same thing without modification
2022-08-21 18:27:47 +0200chomwitt(~chomwitt@2a02:587:dc09:3900:23d6:30eb:ebe5:2f08) (Ping timeout: 248 seconds)
2022-08-21 18:30:26 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection)
2022-08-21 18:32:26 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 255 seconds)
2022-08-21 18:33:14 +0200mbuf(~Shakthi@122.165.55.71) (Quit: Leaving)
2022-08-21 18:33:16 +0200 <jese> c_wraith: thanks
2022-08-21 18:35:34 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net) (Ping timeout: 256 seconds)
2022-08-21 18:35:52 +0200 <troydm> I'm trying to structure my application using a StateT monad but I'm having a little trouble, basicly I need to have monad which derives IO has a state and mostly has return value of Either Exception a where a is my computation value, but I want to short-circuit my monad binding if there is Exception
2022-08-21 18:36:32 +0200 <troydm> i've tried defining it as type MyMonad a = StateT State IO (Either Exception a)
2022-08-21 18:37:13 +0200 <troydm> but I'm having trouble structuring my monad calls as I need to manually use custom functions for shortcircuating computation
2022-08-21 18:37:14 +0200hpc(~juzz@ip98-169-32-242.dc.dc.cox.net)
2022-08-21 18:37:23 +0200chomwitt(~chomwitt@2a02:587:dc09:3900:f527:3ca7:b122:fd0c)
2022-08-21 18:38:00 +0200 <troydm> my question is what can I do in this situation, as it seems like defining my own custom monad transformer is the only way to have behaviour that I want
2022-08-21 18:38:24 +0200econo(uid147250@user/econo)
2022-08-21 18:39:45 +0200 <c_wraith> I think you want to include ExceptT in your stack
2022-08-21 18:40:40 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection)
2022-08-21 18:41:03 +0200 <troydm> so, I need something like ExceptT but which also has a state
2022-08-21 18:41:09 +0200 <monochrom> IO already does exceptions.
2022-08-21 18:41:10 +0200 <troydm> how do I define something like this?
2022-08-21 18:41:24 +0200 <troydm> monochrom: no, not that kind of exceptions, my custom ones
2022-08-21 18:41:40 +0200 <c_wraith> StateT State (ExceptT Exception IO) a
2022-08-21 18:41:41 +0200 <troydm> monochrom: it's basicly custom type
2022-08-21 18:41:54 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 18:42:22 +0200 <troydm> c_wraith: ohh, okey, I feel like I'll have some monad transformer cake
2022-08-21 18:42:25 +0200 <monochrom> IO lets me use my custom exception type. I did it once.
2022-08-21 18:42:30 +0200nilradical(~nilradica@user/naso)
2022-08-21 18:42:41 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-21 18:43:02 +0200nilradical(~nilradica@user/naso) (Remote host closed the connection)
2022-08-21 18:43:03 +0200 <troydm> monochrom: I don't like doing it that way, I'm actually trying to write my own Scheme R7RS interpreter
2022-08-21 18:43:19 +0200nilradical(~nilradica@user/naso)
2022-08-21 18:43:33 +0200 <troydm> so I have a custom type for Scheme evaluation which did end with exception
2022-08-21 18:44:23 +0200jese(~nikola@93-86-101-108.dynamic.isp.telekom.rs) (Quit: leaving)
2022-08-21 18:44:41 +0200waldo(~waldo@user/waldo)
2022-08-21 18:44:56 +0200 <monochrom> I wrote my own unit testing library. So I had a custom exception type.
2022-08-21 18:45:50 +0200 <troydm> monochrom: yeah I understand
2022-08-21 18:49:04 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds))
2022-08-21 18:49:45 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 18:51:13 +0200jpds(~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection)
2022-08-21 18:51:43 +0200jpds(~jpds@gateway/tor-sasl/jpds)
2022-08-21 18:52:00 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 18:53:08 +0200pmarg(~pmarg@2a01:799:159f:9b00:67b3:f8a8:338b:bd0e)
2022-08-21 18:53:28 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-08-21 18:54:17 +0200eggplantade(~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net)
2022-08-21 18:55:53 +0200pmarg(~pmarg@2a01:799:159f:9b00:67b3:f8a8:338b:bd0e) ()
2022-08-21 18:56:30 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 19:00:36 +0200 <janus> how does file-embed-lzma use the Instances.TH.Lift instances? i remove the import and it still compiles
2022-08-21 19:01:17 +0200 <janus> code here https://github.com/phadej/file-embed-lzma/blob/master/src/FileEmbedLzma.hs
2022-08-21 19:03:26 +0200 <janus> i also tried compiling it on Debian 9 with GHC 8.0 and Cabal 1.24, and it also works there. so don't seem dependent on GHC version
2022-08-21 19:03:59 +0200 <troydm> c_wraith: I'm having trouble throwing said exception, maybe I'm too dumb idk, I'm trying to define a function for that that basicly takes :: Exception -> StateT State (ExceptT Exception IO) a
2022-08-21 19:04:59 +0200 <troydm> c_wraith: but throwE function is not enough to convert my exception into StateT monad, I need to somehow convert ExceptT into StateT
2022-08-21 19:05:26 +0200 <troydm> c_wraith: maybe I'm too dumb to figure this out
2022-08-21 19:05:53 +0200 <c_wraith> are you import ExceptT from Control.Monad.Except or Control.Monad.Trans.Except?
2022-08-21 19:06:02 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 19:06:10 +0200 <c_wraith> it's the same type, but very different interfaces
2022-08-21 19:06:17 +0200notzmv(~zmv@user/notzmv) (Ping timeout: 268 seconds)
2022-08-21 19:06:26 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net)
2022-08-21 19:07:00 +0200 <troydm> c_wraith: Control.Monad.Trans.Except
2022-08-21 19:07:20 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Remote host closed the connection)
2022-08-21 19:07:53 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan)
2022-08-21 19:08:03 +0200mc47(~mc47@xmonad/TheMC47)
2022-08-21 19:08:06 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-08-21 19:08:10 +0200 <c_wraith> Do you have a particular reason to use transformers directly instead of via mtl?
2022-08-21 19:08:52 +0200 <troydm> c_wraith: I'm not using mtl
2022-08-21 19:08:58 +0200 <janus> oh, it says on https://hackage.haskell.org/package/th-lift-0.8.2 that 'functionality in this package has largely been subsumed by the DeriveLift language extension, which is available in GHC 8.0'
2022-08-21 19:09:27 +0200 <c_wraith> troydm: well, then, you're going to need to carefully insert uses of lift
2022-08-21 19:09:33 +0200 <monochrom> StateT ExceptT means you will be saying "lift (throw e)"
2022-08-21 19:09:39 +0200 <c_wraith> ... which is amusingly *not* the template haskell lift
2022-08-21 19:09:56 +0200 <monochrom> Yeah there are too many lifts.
2022-08-21 19:10:11 +0200 <monochrom> Methinks some of them should be renamed "elevators" :)
2022-08-21 19:10:47 +0200 <c_wraith> there's an mtl-replacement package named something like that already!
2022-08-21 19:10:49 +0200 <troydm> c_wraith: I'm not using mtl
2022-08-21 19:10:54 +0200 <troydm> ohh, sorry
2022-08-21 19:11:00 +0200 <troydm> double pasted
2022-08-21 19:11:46 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-21 19:12:22 +0200 <c_wraith> anyway. like monochrom says, "lift (throw e)". since you're not using mtl, lift and (lift . lift) are going to be stuff you see a lot.
2022-08-21 19:12:24 +0200 <troydm> c_wraith: thanks, lift worked like a charm
2022-08-21 19:12:46 +0200 <troydm> c_wraith: I'm okey with that
2022-08-21 19:13:02 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
2022-08-21 19:13:14 +0200 <c_wraith> honestly, I don't mind using explicit lift. It means that you don't have the issues mtl does with things like multiples of instances of a particular class in the same stack.
2022-08-21 19:15:15 +0200pavonia(~user@user/siracusa) (Quit: Bye!)
2022-08-21 19:16:31 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 252 seconds)
2022-08-21 19:16:44 +0200nckx(~nckx@tobias.gr) (Excess Flood)
2022-08-21 19:22:05 +0200nckx(~nckx@tobias.gr)
2022-08-21 19:22:22 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-08-21 19:23:40 +0200 <troydm> c_wraith: I'm not using mtl because I never used it, I need to learn it...
2022-08-21 19:23:40 +0200alp_(~alp@user/alp)
2022-08-21 19:23:44 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 19:24:04 +0200alp_(~alp@user/alp) (Remote host closed the connection)
2022-08-21 19:24:47 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-21 19:25:13 +0200wootehfoot(~wootehfoo@user/wootehfoot)
2022-08-21 19:26:23 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-21 19:27:12 +0200Lucio_(~Lucio@5.179.169.123)
2022-08-21 19:27:39 +0200 <Lucio_> Hi everyone
2022-08-21 19:28:58 +0200kavvadias(~kavvadias@2001:9e8:6335:a500:a204:9b27:4b58:bef1)
2022-08-21 19:29:43 +0200 <Lucio_> i want to be a better programmer, i come from php background, but i feel my code sucks because i have a poor programming design. Should i use Haskell for that_
2022-08-21 19:29:45 +0200 <Lucio_> ?
2022-08-21 19:30:56 +0200 <monochrom> I teach Haskell to my students, and they hand in poor designs in Haskell too.
2022-08-21 19:31:00 +0200 <c_wraith> learning Haskell might help, but it won't be a quick fix.
2022-08-21 19:31:37 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 19:31:46 +0200 <monochrom> There is some kind of XY-problem mentality in human nature that transcends language.
2022-08-21 19:32:01 +0200 <kavvadias> hello everyone, im trying to build cardano-node and  i cant get libsystemd-journal dependency to resolve, i get this error  https://pastebin.com/y9P0ADXr , I'm on pop-os 22.04 (ubuntu)
2022-08-21 19:32:16 +0200 <monochrom> Music and XY problems are the universal languages of humanity!
2022-08-21 19:32:51 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-08-21 19:33:39 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 19:35:01 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex)
2022-08-21 19:35:39 +0200wootehfoot(~wootehfoo@user/wootehfoot) (Ping timeout: 256 seconds)
2022-08-21 19:36:05 +0200 <sm> Lucio_: sure!
2022-08-21 19:36:20 +0200nilradical(~nilradica@user/naso) ()
2022-08-21 19:37:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 19:38:40 +0200 <hololeap> I'm not really grokking this: https://hackage.haskell.org/package/monad-control-1.0.2.3/docs/Control-Monad-Trans-Control.html#v:…
2022-08-21 19:38:52 +0200 <c_wraith> yeah, no one does
2022-08-21 19:39:15 +0200dsrt^(~dsrt@96.70.11.181)
2022-08-21 19:39:29 +0200 <hololeap> what is the point of (restoreM saved >>= release) as opposed to just (release saved)
2022-08-21 19:41:31 +0200 <Lucio_> @monochrom .
2022-08-21 19:41:31 +0200 <lambdabot> Unknown command, try @list
2022-08-21 19:41:50 +0200 <monochrom> Probably one of those times when the real documentation is someone's forgotten blog.
2022-08-21 19:42:38 +0200 <Lucio_> #monochrom .
2022-08-21 19:42:50 +0200 <hololeap> See the following tutorial by Michael Snoyman on how to use this package
2022-08-21 19:42:55 +0200 <hololeap> go figure
2022-08-21 19:44:09 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 19:44:10 +0200 <Lucio_> Monochrom what is your recommendation to get better at writing code? Some speicific book , or ...
2022-08-21 19:44:26 +0200kannon(~NK@135-180-47-54.fiber.dynamic.sonic.net) (Ping timeout: 255 seconds)
2022-08-21 19:44:46 +0200 <Lucio_> I feel like programming, with framework in php is not giving me the right understanding of design
2022-08-21 19:44:48 +0200 <monochrom> Be logical, not intuitive. Learn Occam's Razor. Pay attention to actual outcomes, ignore intentions.
2022-08-21 19:45:52 +0200 <darkling> And just practice, practice, practice.
2022-08-21 19:46:29 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 19:47:14 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340)
2022-08-21 19:47:48 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 19:49:47 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25)
2022-08-21 19:51:07 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 19:52:11 +0200 <NewbiePlumber> Hey all, tell me something interesting you've done with Haskell. I'm going through some projects I've written in other languages, trying to convert them to Haskell. I'm very pleased so far with the file I/o and networking. I'm not sure how many of the other projects would make sense to rewrite (which is not a statement, it is an open musing).
2022-08-21 19:52:11 +0200 <NewbiePlumber> Anyone done stuff with graphics, parallel compute (GPGPU-type stuff), or distributed systems (akin to networked MPI)?
2022-08-21 19:52:27 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 19:52:49 +0200 <NewbiePlumber> (also, is there any way to see the chat history before I log in?)
2022-08-21 19:53:53 +0200 <geekosaur> there is a log; check the topic. you may also be interested in matrix, which has an IRC bridge
2022-08-21 19:55:55 +0200 <sm> and a public log I think
2022-08-21 19:56:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 19:56:28 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 19:57:02 +0200 <sm> oops
2022-08-21 19:58:30 +0200 <sm> Lucio_: https://en.wikipedia.org/wiki/How_to_Design_Programs is some good food for thought on design
2022-08-21 19:59:33 +0200 <sm> also read the code of projects you'd like to be able to make
2022-08-21 19:59:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 20:02:17 +0200vysn(~vysn@user/vysn) (Ping timeout: 256 seconds)
2022-08-21 20:02:58 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 20:03:10 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 20:03:17 +0200waldo(~waldo@user/waldo) (Quit: quit)
2022-08-21 20:03:39 +0200 <NewbiePlumber> I'm all for books, but I've got two that I need to finish already (Stepanov's Elements and Notes). I'm looking for more of a field survey of what things are easily possible in Haskell. For example, if I were to write some GPGPU programs, would they compile are run anywhere that the equivalent clang/libclc would? If I were to write some windowing
2022-08-21 20:03:40 +0200 <NewbiePlumber> graphics, would they be as portable as GLFW or SDL?
2022-08-21 20:04:15 +0200 <Rembane_> Haskell excels at writing interpreters and compilers and also highly concurrent applications.
2022-08-21 20:04:37 +0200ddellacosta(~ddellacos@143.244.47.100)
2022-08-21 20:05:23 +0200 <NewbiePlumber> Does the RTS run in parallel on the GPU, or strictly the CPU?
2022-08-21 20:05:49 +0200 <Rembane_> I don't think it runs on the GPU at all.
2022-08-21 20:06:28 +0200 <Rembane_> But there's probably a package somewhere to run Haskell code on the GPU, or some EDSL written in Haskell
2022-08-21 20:06:30 +0200 <geekosaur> haskell doesn't run on the gpu but there are libraries that can help you program for gpus (e.g. Accelerate)
2022-08-21 20:07:24 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 20:09:38 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 20:11:23 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 20:12:27 +0200beteigeuze1(~Thunderbi@bl11-28-222.dsl.telepac.pt)
2022-08-21 20:12:45 +0200beteigeuze(~Thunderbi@bl11-28-222.dsl.telepac.pt) (Read error: Connection reset by peer)
2022-08-21 20:12:46 +0200beteigeuze1beteigeuze
2022-08-21 20:16:07 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-08-21 20:16:34 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-21 20:16:42 +0200hellwolf(~hellwolf@7-41-50-84.sta.estpak.ee)
2022-08-21 20:18:09 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds)
2022-08-21 20:18:55 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 20:19:05 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 20:20:08 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 20:20:14 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 20:20:44 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-08-21 20:21:03 +0200chexum(~quassel@gateway/tor-sasl/chexum)
2022-08-21 20:22:10 +0200kavvadias(~kavvadias@2001:9e8:6335:a500:a204:9b27:4b58:bef1) (Quit: Client closed)
2022-08-21 20:23:55 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 20:24:04 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 20:24:26 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 20:24:37 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 20:25:23 +0200hugo(znc@verdigris.lysator.liu.se)
2022-08-21 20:25:37 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 20:25:49 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer)
2022-08-21 20:25:50 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 20:29:32 +0200kavvadias(~kavvadias@2001:9e8:6335:a500:4b4c:ad2e:3ab7:cc00)
2022-08-21 20:30:09 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915)
2022-08-21 20:32:03 +0200bitdex(~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 268 seconds)
2022-08-21 20:37:16 +0200tzh(~tzh@c-24-21-73-154.hsd1.or.comcast.net)
2022-08-21 20:37:46 +0200alphabeta(~kilolympu@90.203.82.22)
2022-08-21 20:37:57 +0200alphabeta(~kilolympu@90.203.82.22) (Remote host closed the connection)
2022-08-21 20:38:10 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net)
2022-08-21 20:38:33 +0200kilolympus(~kilolympu@90.203.82.22) (Ping timeout: 256 seconds)
2022-08-21 20:39:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 20:39:19 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 20:41:29 +0200kavvadias(~kavvadias@2001:9e8:6335:a500:4b4c:ad2e:3ab7:cc00) (Quit: Client closed)
2022-08-21 20:41:56 +0200perrierjouetGerardMamenti
2022-08-21 20:43:38 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 20:44:13 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-08-21 20:55:56 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 20:57:55 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 20:58:33 +0200jgeerds(~jgeerds@55d46bad.access.ecotel.net)
2022-08-21 20:59:27 +0200 <sm> NewbiePlumber: for survey, how about https://haskell-links.org and especially the "State of.." and "What I Wish.." links there
2022-08-21 20:59:51 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-08-21 21:04:00 +0200zebrag(~chris@user/zebrag) (Quit: Konversation terminated!)
2022-08-21 21:04:20 +0200zebrag(~chris@user/zebrag)
2022-08-21 21:06:08 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-21 21:07:25 +0200GerardMamenti(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.6)
2022-08-21 21:08:49 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-08-21 21:10:33 +0200jgeerds(~jgeerds@55d46bad.access.ecotel.net) (Ping timeout: 252 seconds)
2022-08-21 21:10:56 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Client Quit)
2022-08-21 21:11:35 +0200perrierjouet(~perrier-j@modemcable012.251-130-66.mc.videotron.ca)
2022-08-21 21:13:00 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f)
2022-08-21 21:14:58 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 21:16:52 +0200zxx7529(~Thunderbi@user/zxx7529) (Quit: zxx7529)
2022-08-21 21:17:06 +0200notzmv(~zmv@user/notzmv)
2022-08-21 21:20:08 +0200gdown(~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net)
2022-08-21 21:24:40 +0200jmdaemon(~jmdaemon@user/jmdaemon)
2022-08-21 21:24:58 +0200Tuplanolla(~Tuplanoll@91-159-69-12.elisa-laajakaista.fi)
2022-08-21 21:26:59 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds))
2022-08-21 21:27:56 +0200lottaquestions(~nick@2607:fa49:503e:7100:17b4:8a9c:cee3:3359) (Ping timeout: 255 seconds)
2022-08-21 21:33:21 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 21:33:45 +0200acidjnk(~acidjnk@p200300d6e7137a51b5f4311eaf3b0bb2.dip0.t-ipconnect.de)
2022-08-21 21:35:43 +0200JimL(~quassel@89-162-2-132.fiber.signal.no)
2022-08-21 21:36:37 +0200MonsoonSecrecy(f78c86e960@2604:bf00:561:2000::f99)
2022-08-21 21:39:19 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 21:40:35 +0200 <qrpnxz> haskell has let's see ByteArray#, MutableByteArray#, Ptr, ForeignPtr, each in Pinned and Unpinned variant. For nicer interface above we have Data.Array.Byte, Data.Primitive.ByteArray, Data.Vector.Primitive, Data.Vector.Storable, Data.ByteString, Data.ByteString.Short. I'm going a little bit crazy here.
2022-08-21 21:41:59 +0200kilolympus(~kilolympu@90.203.82.22)
2022-08-21 21:43:50 +0200beteigeuze(~Thunderbi@bl11-28-222.dsl.telepac.pt) (Read error: Connection reset by peer)
2022-08-21 21:44:02 +0200beteigeuze(~Thunderbi@bl11-28-222.dsl.telepac.pt)
2022-08-21 21:44:02 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net)
2022-08-21 21:45:34 +0200michalz(~michalz@185.246.204.75)
2022-08-21 21:46:32 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 21:46:43 +0200nate4(~nate@98.45.169.16) (Ping timeout: 248 seconds)
2022-08-21 21:46:46 +0200phma(phma@2001:5b0:2172:b518:6336:2e81:da5f:9132) (Read error: Connection reset by peer)
2022-08-21 21:47:40 +0200jonathanx_(~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Ping timeout: 256 seconds)
2022-08-21 21:52:35 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 248 seconds)
2022-08-21 21:52:39 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-21 21:53:14 +0200coot(~coot@213.134.176.158)
2022-08-21 21:53:28 +0200jgeerds(~jgeerds@55d46bad.access.ecotel.net)
2022-08-21 21:55:21 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net)
2022-08-21 21:57:51 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec) (Ping timeout: 244 seconds)
2022-08-21 21:58:14 +0200Topsi(~Topsi@dyndsl-095-033-092-213.ewe-ip-backbone.de)
2022-08-21 22:00:37 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 22:02:56 +0200machinedgod(~machinedg@d198-53-218-113.abhsia.telus.net)
2022-08-21 22:03:33 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 256 seconds)
2022-08-21 22:06:21 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net)
2022-08-21 22:10:12 +0200Techcable(~Techcable@user/Techcable) (Remote host closed the connection)
2022-08-21 22:11:29 +0200kilolympus(~kilolympu@90.203.82.22) (Ping timeout: 256 seconds)
2022-08-21 22:12:12 +0200Techcable(~Techcable@user/Techcable)
2022-08-21 22:12:46 +0200zeenk(~zeenk@2a02:2f04:a311:2d00:6865:d863:4c93:799f) (Quit: Konversation terminated!)
2022-08-21 22:14:01 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 22:14:27 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr)
2022-08-21 22:14:52 +0200kilolympus(~kilolympu@90.203.82.22)
2022-08-21 22:14:57 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 268 seconds)
2022-08-21 22:16:19 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net)
2022-08-21 22:16:23 +0200adanwan_(~adanwan@gateway/tor-sasl/adanwan)
2022-08-21 22:16:53 +0200adanwan(~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 268 seconds)
2022-08-21 22:18:47 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 255 seconds)
2022-08-21 22:19:15 +0200pavonia(~user@user/siracusa)
2022-08-21 22:21:07 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net) (Ping timeout: 256 seconds)
2022-08-21 22:21:35 +0200mastarija(~mastarija@2a05:4f46:e03:6000:f5b0:5c3a:2cad:ac34)
2022-08-21 22:23:52 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25)
2022-08-21 22:26:13 +0200 <NewbiePlumber> tabs or spaces, is that a monad?
2022-08-21 22:26:24 +0200 <Rembane_> Why not all three?
2022-08-21 22:26:51 +0200 <NewbiePlumber> do it concurrently
2022-08-21 22:27:34 +0200 <monochrom> If you use tabs, you will have tab leaks.
2022-08-21 22:27:59 +0200yvan-sraka(~yvan-srak@2a01:e0a:38d:a110:afeb:7cde:2e24:243f)
2022-08-21 22:28:47 +0200 <NewbiePlumber> does haskell have a formatting tool?
2022-08-21 22:29:28 +0200 <geekosaur> several
2022-08-21 22:29:52 +0200 <geekosaur> brittany, ormolu/fourmolu, structured-haskell-mode in emacs…
2022-08-21 22:30:07 +0200 <tomsmeding> stylish-haskell, hindent
2022-08-21 22:30:32 +0200 <geekosaur> right, I keep fprgetting those two
2022-08-21 22:31:03 +0200 <tomsmeding> hindent is kinda weird with its choices sometimes, though, but it's great as a quick auto-indenter for large Show output :p
2022-08-21 22:31:30 +0200 <tomsmeding> I have :hindentshow <expr> in my .ghci which passes the result of expr through 'show' and hindent
2022-08-21 22:32:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 22:33:07 +0200 <NewbiePlumber> How do I pass -O3 by default to my project on both stack and cabal?
2022-08-21 22:33:18 +0200 <NewbiePlumber> I've tried editing the ~/.cabal/config file, but no luck
2022-08-21 22:33:39 +0200 <dsal> monochrom: I use tabs in chrome. Can confirm.
2022-08-21 22:33:43 +0200 <geekosaur> stack and cabal use different config files. also -O3 does nothing
2022-08-21 22:33:58 +0200 <NewbiePlumber> Oh, it's just O1/O2?
2022-08-21 22:34:02 +0200 <geekosaur> ghc does not compile via C, and there is no haskell -O3
2022-08-21 22:34:23 +0200 <geekosaur> and -O2 should be used only after benchmarking with and without
2022-08-21 22:34:41 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl)
2022-08-21 22:34:44 +0200 <geekosaur> since it increases compile time significantly while not generally producing much better code (and sometimes worse)
2022-08-21 22:35:13 +0200 <NewbiePlumber> Interesting, hmm
2022-08-21 22:35:17 +0200Lucio__(~Lucio@5.179.169.123)
2022-08-21 22:36:57 +0200 <NewbiePlumber> But, to do it, would it be in cabal.project, stack.yaml, <project>.cabal, somewhere else, or all of those?
2022-08-21 22:37:17 +0200 <tomsmeding> <project>.cabal
2022-08-21 22:37:23 +0200 <tomsmeding> ghc-options: -O2 -Wall
2022-08-21 22:37:28 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net)
2022-08-21 22:37:38 +0200gmg(~user@user/gehmehgeh) (Quit: Leaving)
2022-08-21 22:37:47 +0200 <tomsmeding> (I'm putting -Wall there too which is unrelated -- it enables warnings -- but you would also put that there, and *please enable warnings*)
2022-08-21 22:38:07 +0200 <geekosaur> although I think cabal.project.local is preferred unless you have good reason to stick it in the cabal file (assuming this will eventually go to hackage)
2022-08-21 22:38:25 +0200 <tomsmeding> I guess if you have a good reason to use -O2, you have a good reason to use -O2 :p
2022-08-21 22:38:26 +0200mastarija(~mastarija@2a05:4f46:e03:6000:f5b0:5c3a:2cad:ac34) (Quit: Leaving)
2022-08-21 22:39:00 +0200Lucio_(~Lucio@5.179.169.123) (Ping timeout: 268 seconds)
2022-08-21 22:40:10 +0200 <NewbiePlumber> So, using O2 is generally not recommended because it doesn't always produce significantly better performance and hinders debugging?
2022-08-21 22:41:37 +0200 <geekosaur> nothing to do with debugging (that's difficult regardless 🙂
2022-08-21 22:41:48 +0200 <geekosaur> but it takes *much* longer to compile with -O2
2022-08-21 22:41:48 +0200__monty__(~toonn@user/toonn) (Quit: leaving)
2022-08-21 22:41:58 +0200 <geekosaur> and you rarely get much out of it
2022-08-21 22:43:48 +0200hippoid(~idris@c-98-220-13-8.hsd1.il.comcast.net) (Quit: WeeChat 3.5)
2022-08-21 22:45:40 +0200 <NewbiePlumber> I'm not seeing much info about linking everything statically, including the compiler runtime, linking with fPIC, and using LTO
2022-08-21 22:45:46 +0200 <NewbiePlumber> are those things possible?
2022-08-21 22:45:48 +0200jakalx(~jakalx@base.jakalx.net) (Error from remote client)
2022-08-21 22:45:53 +0200 <qrpnxz> omg, i think haskell doesn't have a read-only pointer type. Talk about ironic lol
2022-08-21 22:46:25 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 22:46:59 +0200Lucio__(~Lucio@5.179.169.123) (Ping timeout: 252 seconds)
2022-08-21 22:47:14 +0200 <geekosaur> haskell libraries including the RTS are linked statically unless you use -dynamic.
2022-08-21 22:47:43 +0200motersen(~motersen@user/motersen)
2022-08-21 22:47:58 +0200 <geekosaur> C libraries default to dynamic unless you use -Wl,-static, but then you have to worry about static libc (glibc *really really* does not like this)
2022-08-21 22:48:40 +0200 <geekosaur> PIC is used automatically when dynamic or the platform supports PIE.
2022-08-21 22:49:09 +0200 <NewbiePlumber> Thank you
2022-08-21 22:49:16 +0200 <geekosaur> LTO mostly doesn't apply because nobody's linker knows how to properly LTO Haskell objects
2022-08-21 22:49:31 +0200 <int-e> qrpnxz: In first approximation, Haskell doesn't have pointer types... pointers are mostly for FFI, where they are implementation details in low-level unsafe code. What would you gain with a read-only pointer?
2022-08-21 22:49:39 +0200 <geekosaur> mostly LTO is designed for C++
2022-08-21 22:49:51 +0200 <tomsmeding> also C, right?
2022-08-21 22:50:06 +0200 <tomsmeding> (though in a pinch C is mostly a subset of C++ :p)
2022-08-21 22:50:09 +0200 <geekosaur> C is kinda a lesser C++ from the linker's POV
2022-08-21 22:50:12 +0200 <tomsmeding> yeah
2022-08-21 22:50:20 +0200 <NewbiePlumber> FWIW, our experience in C++ has put us firmly on the side of "build our own compilers and link statically against them"
2022-08-21 22:50:22 +0200 <tomsmeding> right, especially for the linker
2022-08-21 22:50:37 +0200 <tomsmeding> NewbiePlumber: link statically against a _compiler_?
2022-08-21 22:50:52 +0200 <NewbiePlumber> a compiler runtime, yes
2022-08-21 22:51:00 +0200 <qrpnxz> int-e: i'm working on a low-level bytes reader/writer api. I wanted to return a reference to a buffer, then realized oops this pointer can be written to! Very bad. So now i'm looking for what's the best most interoperable zero-cost alternative.
2022-08-21 22:51:00 +0200 <tomsmeding> ah, the runtime, that makes more sense :p
2022-08-21 22:51:09 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 22:51:09 +0200 <monochrom> The Gamma Relation: ghc -On ~ gcc -O(n+1)
2022-08-21 22:51:20 +0200 <qrpnxz> i could just accept an unsafe api, but i want to be safe as possible
2022-08-21 22:51:35 +0200 <tomsmeding> NewbiePlumber: well, as geekosaur said, ghc automatically statically links the ghc runtime system ("RTS")
2022-08-21 22:51:46 +0200 <NewbiePlumber> Yes, TY all :)
2022-08-21 22:51:55 +0200 <int-e> qrpnxz: wrap it in a newtype, don't export the constructure, and provide your own access operations
2022-08-21 22:51:59 +0200kenaryn(~aurele@89-88-44-27.abo.bbox.fr) (Quit: leaving)
2022-08-21 22:52:28 +0200 <int-e> *constructor... I think I'm half sleep-typing.
2022-08-21 22:52:29 +0200 <monochrom> Isn't it also the case that gcc static-links crts.o ?
2022-08-21 22:52:44 +0200 <qrpnxz> int-e: that's so much work, but yes that's pretty much the least compromise way to do it i suppose.
2022-08-21 22:53:06 +0200jakalx(~jakalx@base.jakalx.net)
2022-08-21 22:53:16 +0200 <tomsmeding> monochrom: it doesn't statically link libc.so :p
2022-08-21 22:53:49 +0200 <monochrom> Not to say that crts.o does anything substantial. Basically an at_exit registrar.
2022-08-21 22:54:11 +0200 <tomsmeding> isn't that kind of the point of C, that the RTS doesn't amount to anything substantial?
2022-08-21 22:54:12 +0200 <int-e> :t Data.ByteString.Internal.fromForeignPtr
2022-08-21 22:54:13 +0200 <lambdabot> GHC.ForeignPtr.ForeignPtr Word8 -> Int -> Int -> BSC.ByteString
2022-08-21 22:54:18 +0200 <geekosaur[m]> I should also mention that 99% of LTO is dead code elimination, which ghc was doing itself before LTO came along
2022-08-21 22:54:24 +0200 <int-e> qrpnxz: Maybe that's good enough for you?
2022-08-21 22:55:49 +0200 <monochrom> I dare say, the point of all sequential-only languages...
2022-08-21 22:56:07 +0200 <hololeap> anyone have any ideas why this would happen? https://github.com/gentoo-haskell/hackport/runs/7941483762?check_suite_focus=true#step:8:296
2022-08-21 22:56:39 +0200 <qrpnxz> that's one reason i'd want to return a ptr yes, you can turn it into a bytestring zero-copy, or feed a MutableArray# with it and so on. If i were to create a safe read-only interface, i'd have to write wrappers for functions like that
2022-08-21 22:56:41 +0200 <qrpnxz> int-e:
2022-08-21 22:56:48 +0200 <tomsmeding> monochrom: Java has a pretty substantial runtime system :p
2022-08-21 22:56:48 +0200 <monochrom> {Algol, C, Pascal, Perl, PHP} RTS only needs to do setup, jsr main, teardown.
2022-08-21 22:56:56 +0200Lucio__(~Lucio@5.179.169.123)
2022-08-21 22:57:05 +0200 <hololeap> (there's no template haskell in the project, at all)
2022-08-21 22:57:13 +0200 <int-e> "Sign in to view logs", meh.
2022-08-21 22:57:32 +0200 <monochrom> OK I forgot GC. But Java is not sequential-only either. An elaborate green-thread system, second to GHC only.
2022-08-21 22:57:43 +0200 <tomsmeding> true
2022-08-21 22:58:23 +0200 <qrpnxz> what i'm thinking is maybe making all FFI interaction second-class and using Array# and friends primarily.
2022-08-21 22:58:41 +0200 <int-e> qrpnxz: The idea was that you could pack the thing up as a bytestring, and that would give consumers ways to access it. But maybe you have more structure that isn't conveniently conveyed that way. Or something that isn't byte-based.
2022-08-21 22:58:46 +0200 <qrpnxz> problem is that some really useful functions in Data.ByteString i couldn't use
2022-08-21 22:59:10 +0200 <qrpnxz> ah i see what you mean
2022-08-21 22:59:19 +0200 <int-e> So there are lots of reasons why this might not be applicable.
2022-08-21 22:59:25 +0200 <qrpnxz> yes that's easier than making a newtype
2022-08-21 23:00:28 +0200 <hololeap> int-e: http://sprunge.us/7x21Bm
2022-08-21 23:00:31 +0200 <geekosaur[m]> I can't see what is failing. But I'll note that ghc errors conflate TH and other bytecode (such as ghci which would be used by for example doctest)
2022-08-21 23:00:34 +0200 <hololeap> search for "Couldn't match type"
2022-08-21 23:01:13 +0200 <tomsmeding> hololeap: what is exe/Main.hs:155
2022-08-21 23:01:18 +0200 <tomsmeding> that $[] looks suspicious
2022-08-21 23:01:28 +0200zero(~z@user/zero)
2022-08-21 23:01:45 +0200 <NewbiePlumber> https://paste.tomsmeding.com/ALhcr2CL
2022-08-21 23:01:50 +0200 <NewbiePlumber> The function in question ^
2022-08-21 23:01:51 +0200 <tomsmeding> oh github is a thing
2022-08-21 23:02:00 +0200 <geekosaur[m]> I need to get back to my desktop to look up ghc's special LTO-ish option
2022-08-21 23:02:24 +0200 <hololeap> https://github.com/gentoo-haskell/hackport/blob/eca4652fd70f886e6990381c9f5b9a21257c1e30/exe/Main.…
2022-08-21 23:02:45 +0200 <geekosaur[m]> -split-sections?
2022-08-21 23:03:11 +0200mc47(~mc47@xmonad/TheMC47) (Remote host closed the connection)
2022-08-21 23:03:21 +0200 <qrpnxz> actually, there's a way to get a ptr from a Bytearray#, so i could use those, and then you'd still have the option of turning that into a bytestring temporarily for that API, and it would let you create Data.Text zero-copy to boot.
2022-08-21 23:03:43 +0200 <hololeap> is it misinterpreting ($[]) as TH?
2022-08-21 23:03:48 +0200 <tomsmeding> hololeap: somehow?
2022-08-21 23:03:56 +0200 <tomsmeding> hololeap: can you reproduce it in a file without CPP
2022-08-21 23:04:31 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 23:04:38 +0200 <geekosaur[m]> Usually when ghc blames TH it's complaining about loading a shared object into bytecode
2022-08-21 23:05:07 +0200 <tomsmeding> geekosaur[m]: looks like a parse error here, it's interpreting ($[]) as some TH quote
2022-08-21 23:05:17 +0200 <tomsmeding> I suspect {-# LANGUAGE CPP #-} with a misbehaving CPP
2022-08-21 23:05:37 +0200 <tomsmeding> but then the error just lists "($[])" which somewhat disproves that supicion
2022-08-21 23:05:40 +0200 <tomsmeding> *suspicion
2022-08-21 23:05:52 +0200 <hololeap> it's only doctests that seem to have a problem with it, and it was working fine not too long ago even with that same line
2022-08-21 23:06:08 +0200 <hololeap> but the CPP is not necessary. I should remove it anyway
2022-08-21 23:06:37 +0200 <NewbiePlumber> on the commandline: warning: unrecognised warning flag: -Wl,-static
2022-08-21 23:06:47 +0200 <NewbiePlumber> Error trying those linker options (from project.cabal)
2022-08-21 23:07:44 +0200 <NewbiePlumber> Oh, are those supposed to be in the linker section?? Ok, newbie
2022-08-21 23:07:44 +0200 <hololeap> I also find it odd that doctest fails and still returns exit code 0
2022-08-21 23:09:05 +0200 <tomsmeding> hololeap: consider it a value judgement on documentation -- "who cares about a few errors, we wrote docs in the first place!"
2022-08-21 23:10:00 +0200 <hololeap> it doesn't usually do that. this is the first time I've seen it silently fail
2022-08-21 23:10:12 +0200 <hololeap> (not quite silent, thankfully)
2022-08-21 23:10:27 +0200zer0bitz(~zer0bitz@2001:2003:f748:2000:186f:eebe:3c5b:ecfa) (Read error: Connection reset by peer)
2022-08-21 23:11:26 +0200mvk(~mvk@2607:fea8:5ce3:8500::a1ec)
2022-08-21 23:15:28 +0200 <qrpnxz> looks like vector 0.13 just came out?
2022-08-21 23:15:42 +0200 <qrpnxz> or am i mistaken
2022-08-21 23:17:43 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds))
2022-08-21 23:17:45 +0200 <int-e> hololeap: Oh, this seems to be a change in ghc-9.0 and TemplateHaskell. http://paste.debian.net/1251246/
2022-08-21 23:18:56 +0200 <int-e> hololeap: so https://github.com/gentoo-haskell/hackport/blob/master/exe/Main.hs#L155 will need a space between $ and [].
2022-08-21 23:19:34 +0200 <int-e> (Why is TemplateHaskell enabled? I guess the cabal file does that... and it's needed for other files.)
2022-08-21 23:20:16 +0200 <tomsmeding> int-e: funnily, the behaviour seems changed from ghc-9.0, but only ghc-9.2 shows a warning about the syntax if -XTemplateHaskell is _not_ enabled
2022-08-21 23:20:20 +0200 <tomsmeding> seems like the wrong way round...
2022-08-21 23:21:11 +0200 <int-e> Yeah, that must have been an afterthought. I wonder whether there's a ticket.
2022-08-21 23:21:33 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 244 seconds)
2022-08-21 23:22:17 +0200 <geekosaur> qrpnxz, came out in june, just got a revision (probably upper bounds)
2022-08-21 23:23:04 +0200 <qrpnxz> thanks
2022-08-21 23:23:45 +0200phuegrvs[m](~phuegrvsm@2001:470:69fc:105::1:65e4)
2022-08-21 23:23:51 +0200 <hololeap> TemplateHaskell isn't enabled anywhere in the project. it's something doctest is doing
2022-08-21 23:26:49 +0200 <int-e> tomsmeding: Not an oversight, really. It's https://github.com/ghc-proposals/ghc-proposals/blob/master/proposals/0229-whitespace-bang-patterns… which says: ".. implemented:: 9.0, but missing the warnings proposed here"
2022-08-21 23:27:25 +0200 <tomsmeding> ah
2022-08-21 23:28:08 +0200tromp(~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…)
2022-08-21 23:33:20 +0200coot(~coot@213.134.176.158) (Quit: coot)
2022-08-21 23:34:09 +0200vysn(~vysn@user/vysn)
2022-08-21 23:35:50 +0200michalz(~michalz@185.246.204.75) (Remote host closed the connection)
2022-08-21 23:36:21 +0200matthewmosior(~matthewmo@173.170.253.91)
2022-08-21 23:38:51 +0200ccntrq(~Thunderbi@172.209.94.92.rev.sfr.net) (Remote host closed the connection)
2022-08-21 23:41:01 +0200matthewmosior(~matthewmo@173.170.253.91) (Ping timeout: 256 seconds)
2022-08-21 23:41:59 +0200adium(adium@user/adium) (Ping timeout: 252 seconds)
2022-08-21 23:42:01 +0200Topsi(~Topsi@dyndsl-095-033-092-213.ewe-ip-backbone.de) (Read error: Connection reset by peer)
2022-08-21 23:42:08 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-21 23:42:44 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25)
2022-08-21 23:42:46 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-21 23:46:05 +0200MajorBiscuit(~MajorBisc@46-229-126.internethome.cytanet.com.cy) (Quit: WeeChat 3.5)
2022-08-21 23:47:49 +0200azimut(~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection)
2022-08-21 23:48:07 +0200azimut(~azimut@gateway/tor-sasl/azimut)
2022-08-21 23:48:27 +0200takuan(~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection)
2022-08-21 23:49:43 +0200drlkf(~drlkf@chat.drlkf.net) (Quit: drlkf)
2022-08-21 23:50:04 +0200drlkf(~drlkf@chat.drlkf.net)
2022-08-21 23:50:25 +0200toluene(~toluene@user/toulene) (Ping timeout: 252 seconds)
2022-08-21 23:51:33 +0200 <hololeap> removing {-# LANGUAGE CPP #-} got rid of the error message
2022-08-21 23:54:54 +0200NewbiePlumber(~NewbiePlu@2601:43:200:154f:a5cf:ab34:2755:e25) (Quit: Ping timeout (120 seconds))
2022-08-21 23:57:29 +0200chexum(~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection)
2022-08-21 23:57:55 +0200waleee(~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 248 seconds)
2022-08-21 23:58:27 +0200chexum(~quassel@gateway/tor-sasl/chexum)