Logs on 2022-03-25 (liberachat/#haskell)
| 00:03:24 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 00:05:07 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 00:11:14 | × | dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 00:19:06 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 00:19:47 | → | chenqisu1 joins (~chenqisu1@183.217.201.88) |
| 00:20:07 | <boxscape_> | I'm not super familiar with Arrow notation, is it possible to modify this example https://paste.tomsmeding.com/ShbLAQlE so that the lambda takes two arguments instead of one? When I try it I get this error (ignore that it says to report it as a bug, that's just related to pretty printing and I just fixed it for a merge request) |
| 00:20:08 | <boxscape_> | https://paste.tomsmeding.com/ZItSRCZ5 |
| 00:20:48 | → | mason0 joins (~bc8147f2@cerf.good1.com) |
| 00:23:01 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 00:23:31 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 00:24:05 | × | zeenk quits (~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94) (Quit: Konversation terminated!) |
| 00:24:40 | <jackdk> | try `proc x y`? |
| 00:25:41 | <boxscape_> | now it says "Boxed sums not supported" 🤔 |
| 00:26:18 | <boxscape_> | but you're right that it doesn't make sense with just `proc x` at least |
| 00:28:55 | <boxscape_> | wait I forgot to enable -XArrows again, that's what it's complaining about |
| 00:29:11 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1) |
| 00:29:55 | → | xff0x joins (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 00:30:08 | <jackdk> | what on earth are you doing, anyway, with boxing/unboxing and arrows? |
| 00:30:17 | <jackdk> | I mean it's in your handle but apart from that |
| 00:30:32 | Axman6 | is now known as unboxscape_ |
| 00:30:53 | <unboxscape_> | {-# UNPACK #-} 4 lyf! |
| 00:30:55 | <boxscape_> | jackdk the boxing is only because it thought the arrow command was an unboxed sum, because -XArrows was disabled |
| 00:30:59 | <boxscape_> | nice |
| 00:31:13 | <boxscape_> | jackdk what I'm trying to do is make a test case for a ghc change |
| 00:31:42 | <boxscape_> | s/unboxed sum/boxed sum |
| 00:31:43 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 00:32:52 | <boxscape_> | weirdly uncanny to see someone else with a name so close to your own, even given the `Axman6 is now known as unboxscape_` message above it |
| 00:34:02 | <boxscape_> | anyway it looks like proc only supports a single argument but possibly having it take a tuple is an avenue worth exploring |
| 00:35:04 | <boxscape_> | not very helpful that ghc says it couldn't match with ‘()’, because I have no idea where that comes from |
| 00:35:25 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 00:35:37 | unboxscape_ | is now known as coboxscape_ |
| 00:35:55 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 00:35:59 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 00:36:08 | <boxscape_> | now I'm disappointed that we don't have a {-# COPACK #-} pragma |
| 00:36:59 | × | zmt00 quits (~zmt00@user/zmt00) (Ping timeout: 256 seconds) |
| 00:37:37 | <coboxscape_> | "Store this in someone else's heap please" |
| 00:38:27 | <geekosaur> | each thread *does* have its own nursery… |
| 00:39:23 | → | zmt00 joins (~zmt00@user/zmt00) |
| 00:40:41 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 00:40:57 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 00:41:47 | <boxscape_> | ah, I've found an example in the ghc testsuite that should work https://paste.tomsmeding.com/7mmhZm6Z |
| 00:42:35 | → | pnotequalnp joins (~pnotequal@user/pnotequalnp) |
| 00:43:05 | → | Jeanne-Kamikaze joins (~Jeanne-Ka@static-198-54-134-152.cust.tzulo.com) |
| 00:43:42 | <boxscape_> | (might as well post the full file so it's not devoid of context https://paste.tomsmeding.com/FZBX0ZY5) |
| 00:44:07 | coboxscape_ | is now known as Axman6 |
| 00:44:32 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 00:46:47 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 00:48:04 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 00:48:17 | → | fef joins (~thedawn@user/thedawn) |
| 00:48:24 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 00:48:53 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 00:50:46 | <albet70> | what's the function name of turn [[1,2],[3,4]...] to [1,2,3,4...] |
| 00:50:53 | <Axman6> | concat |
| 00:50:56 | <Axman6> | join |
| 00:51:03 | <Axman6> | (>>= id) |
| 00:51:07 | <dons> | :: [[a]] -> [a] |
| 00:51:08 | <Axman6> | mconcat |
| 00:51:15 | <dons> | if you write down the type and search for it, hoogle should find it |
| 00:51:18 | <Axman6> | foldMap id |
| 00:51:25 | <boxscape_> | @hoogle [[a]] -> [a] |
| 00:51:26 | <lambdabot> | GHC.List concat :: [[a]] -> [a] |
| 00:51:26 | <lambdabot> | GHC.OldList concat :: [[a]] -> [a] |
| 00:51:26 | <lambdabot> | Data.Universe.Helpers interleave :: [[a]] -> [a] |
| 00:52:02 | <albet70> | >>= id is new |
| 00:52:18 | <jackdk> | it's join |
| 00:52:23 | <jackdk> | :t (>>= id) |
| 00:52:24 | <lambdabot> | Monad m => m (m b) -> m b |
| 00:52:36 | <dons> | join. |
| 00:52:42 | <pnotequalnp> | There's also fold |
| 00:53:20 | <albet70> | foldl1 (+) |
| 00:53:25 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 00:54:09 | <geekosaur> | (++), not (+) |
| 00:54:40 | <Axman6> | % :t traverse Const |
| 00:54:41 | <yahb> | Axman6: (Traversable t, Monoid a) => t a -> Const a (t b) |
| 00:54:57 | <Axman6> | % :t getConst . traverse Const |
| 00:54:57 | <yahb> | Axman6: (Traversable t, Monoid c) => t c -> c |
| 00:55:38 | × | Techcable quits (~Techcable@user/Techcable) (Remote host closed the connection) |
| 00:57:51 | → | Techcable joins (~Techcable@user/Techcable) |
| 00:58:48 | → | wroathe joins (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 00:58:48 | × | wroathe quits (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 00:58:48 | → | wroathe joins (~wroathe@user/wroathe) |
| 00:59:11 | → | awschnap joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 01:00:52 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 268 seconds) |
| 01:01:55 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 240 seconds) |
| 01:02:49 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 01:02:53 | → | Batzy joins (~quassel@user/batzy) |
| 01:03:19 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 01:04:32 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 01:05:13 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 01:06:32 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 01:06:39 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1) |
| 01:06:54 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 01:08:03 | × | mmhat quits (~mmh@55d4e56a.access.ecotel.net) (Quit: WeeChat 3.4.1) |
| 01:08:19 | → | mud joins (~mud@user/kadoban) |
| 01:08:54 | × | k8yun quits (~k8yun@user/k8yun) (Quit: Leaving) |
| 01:08:54 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 01:10:11 | × | Codaraxis__ quits (~Codaraxis@user/codaraxis) (Ping timeout: 256 seconds) |
| 01:10:20 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:26 | → | nautical joins (~nautical@2601:602:900:1630::7cbb) |
| 01:16:26 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:18:12 | × | mason0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC) |
| 01:18:26 | × | chomwitt quits (~chomwitt@2a02:587:dc0d:b200:f874:1c07:de06:7cf8) (Ping timeout: 260 seconds) |
| 01:18:40 | → | mason0 joins (~bc8147f2@cerf.good1.com) |
| 01:24:37 | × | econo quits (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 01:26:03 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 256 seconds) |
| 01:26:36 | × | shapr quits (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Quit: argh) |
| 01:27:27 | → | vglfr joins (~vglfr@46.96.132.108) |
| 01:30:55 | → | tjakway joins (~tjakway@gateway/vpn/pia/tjakway) |
| 01:31:24 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 240 seconds) |
| 01:33:24 | <tjakway> | have all haskell and ghc-related channels moved to libera? |
| 01:33:31 | <Axman6> | yes |
| 01:34:21 | <tjakway> | thanks, I heard a little about what happened at freenode but that was a long time ago and I wasn't sure if they'd split |
| 01:34:57 | → | pottsy joins (~pottsy@2400:4050:b560:3700:86b6:53c9:ddea:82ad) |
| 01:36:48 | × | leungbk` quits (~user@2603-8000-1201-2dd2-1c2f-c4f4-0d21-a4ac.res6.spectrum.com) (Remote host closed the connection) |
| 01:39:57 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 01:42:57 | × | awschnap quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 01:43:10 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 01:47:23 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 01:48:23 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 01:48:28 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1) |
| 01:49:58 | × | erts quits (~erts@user/erts) (Quit: .) |
| 01:56:27 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Remote host closed the connection) |
| 02:01:24 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 02:02:24 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 02:04:20 | × | tjakway quits (~tjakway@gateway/vpn/pia/tjakway) (Quit: WeeChat 2.8) |
| 02:05:36 | × | pottsy quits (~pottsy@2400:4050:b560:3700:86b6:53c9:ddea:82ad) (Ping timeout: 265 seconds) |
| 02:08:40 | <albet70> | :t (>>=) |
| 02:08:41 | <lambdabot> | Monad m => m a -> (a -> m b) -> m b |
| 02:08:44 | <albet70> | :t id |
| 02:08:45 | <lambdabot> | a -> a |
| 02:09:40 | <albet70> | how id fit (a -> m b)? |
| 02:09:55 | <albet70> | id is a -> a |
| 02:10:04 | <albet70> | only when m b is a |
| 02:12:26 | → | vglfr joins (~vglfr@46.96.132.108) |
| 02:13:59 | <jackdk> | correct |
| 02:14:15 | <jackdk> | a can be anything, so set `a` to `m b` |
| 02:15:53 | <abastro[m]> | `join`? |
| 02:19:35 | → | mbuf joins (~Shakthi@171.61.240.79) |
| 02:20:34 | <dsal> | :t join |
| 02:20:35 | <lambdabot> | Monad m => m (m a) -> m a |
| 02:22:21 | → | notzmv joins (~zmv@user/notzmv) |
| 02:24:15 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 02:24:20 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Remote host closed the connection) |
| 02:26:02 | → | Everything joins (~Everythin@37.115.210.35) |
| 02:26:52 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 02:27:46 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 02:27:58 | → | kaph joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 02:35:47 | × | neurocyte0917090 quits (~neurocyte@user/neurocyte) (Ping timeout: 260 seconds) |
| 02:41:21 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:49:36 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 02:49:54 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 272 seconds) |
| 02:51:10 | × | benin quits (~benin@183.82.207.30) (Ping timeout: 272 seconds) |
| 02:54:08 | <boxscape_> | % % (proc x -> (| id \case {a -> returnA -< a} |) x (x + 1)) 4 |
| 02:54:08 | <yahb> | boxscape_: ; <interactive>:5:1: error: parse error on input `%' |
| 02:54:12 | <boxscape_> | % (proc x -> (| id \case {a -> returnA -< a} |) x (x + 1)) 4 |
| 02:54:12 | <yahb> | boxscape_: 4 |
| 02:54:30 | × | lbseale quits (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 02:54:35 | <boxscape_> | this is a bug, right? this shouldn't typecheck because \case is being given two arguments (x and (x + 1)) |
| 02:54:57 | <boxscape_> | I'm rewriting this code in ghc atm and just want to make sure this isn't behavior that's correct for some reason |
| 02:56:23 | <boxscape_> | % (proc x -> (| id \case {} |) x (x + 1)) 4 -- I suppose \case in Arrows in general is in need of a bit of love atm |
| 02:56:23 | <yahb> | boxscape_: *** Exception: foldb of empty list; CallStack (from HasCallStack):; error, called at compiler/GHC/HsToCore/Arrows.hs:1201:14 in ghc:GHC.HsToCore.Arrows |
| 03:02:53 | → | benin joins (~benin@183.82.207.30) |
| 03:04:36 | × | hsw quits (~hsw@2001-b030-2303-0104-0172-0025-0012-0132.hinet-ip6.hinet.net) (Quit: Leaving) |
| 03:04:40 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 03:05:30 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 03:08:09 | × | benin quits (~benin@183.82.207.30) (Quit: Ping timeout (120 seconds)) |
| 03:08:44 | × | Unicorn_Princess quits (~Unicorn_P@93-103-228-248.dynamic.t-2.net) (Remote host closed the connection) |
| 03:10:19 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 03:10:23 | <boxscape_> | % (proc x -> (| id \x -> case x of {} |) x (x + 1)) 4 |
| 03:10:23 | <yahb> | boxscape_: *** Exception: foldb of empty list; CallStack (from HasCallStack):; error, called at compiler/GHC/HsToCore/Arrows.hs:1201:14 in ghc:GHC.HsToCore.Arrows |
| 03:10:27 | <boxscape_> | oh no |
| 03:10:39 | × | Jeanne-Kamikaze quits (~Jeanne-Ka@static-198-54-134-152.cust.tzulo.com) (Quit: Leaving) |
| 03:10:41 | <boxscape_> | I was going to look at empty case to figure out what to do for empty \case |
| 03:11:47 | → | benin joins (~benin@183.82.207.30) |
| 03:13:39 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 03:19:49 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 03:21:04 | × | benin quits (~benin@183.82.207.30) (Quit: Ping timeout (120 seconds)) |
| 03:24:06 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 03:25:56 | → | benin joins (~benin@183.82.207.30) |
| 03:31:06 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 03:31:06 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 03:31:06 | finn_elija | is now known as FinnElija |
| 03:32:01 | <pnotequalnp> | It's just `\case` on its own |
| 03:32:19 | <boxscape_> | both work |
| 03:32:35 | <boxscape_> | \case is the same as \case {} |
| 03:34:55 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 03:36:03 | → | Guest|26 joins (~Guest|26@r186-54-101-234.dialup.adsl.anteldata.net.uy) |
| 03:36:24 | <Guest|26> | hello, I got error 77 while installing on mac |
| 03:36:59 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 03:39:37 | → | Codaraxis_ joins (~Codaraxis@user/codaraxis) |
| 03:43:06 | × | Guest|26 quits (~Guest|26@r186-54-101-234.dialup.adsl.anteldata.net.uy) (Ping timeout: 272 seconds) |
| 03:43:13 | × | benin quits (~benin@183.82.207.30) (Quit: Ping timeout (120 seconds)) |
| 03:43:28 | × | Codaraxis quits (~Codaraxis@user/codaraxis) (Ping timeout: 260 seconds) |
| 03:43:33 | → | benin joins (~benin@183.82.207.30) |
| 03:46:43 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 03:47:55 | <Axman6> | error from what? installing how? installing what? |
| 03:48:04 | <Axman6> | oh they've already gone |
| 03:49:48 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 03:49:59 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::7980) (Ping timeout: 256 seconds) |
| 03:50:45 | → | wroathe joins (~wroathe@user/wroathe) |
| 03:50:46 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 04:03:30 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 04:12:11 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::7980) |
| 04:12:53 | → | liz joins (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
| 04:16:32 | → | deadmarshal_ joins (~deadmarsh@95.38.116.46) |
| 04:17:00 | × | liz quits (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Remote host closed the connection) |
| 04:18:11 | → | liz joins (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) |
| 04:19:28 | × | liz quits (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Client Quit) |
| 04:22:50 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 04:24:59 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 268 seconds) |
| 04:27:19 | × | chenqisu1 quits (~chenqisu1@183.217.201.88) (Ping timeout: 260 seconds) |
| 04:27:33 | <monochrom> | Error 77 while executing Order 66. >:) |
| 04:28:04 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 04:28:26 | <Axman6> | yeah pretty much my first thought too |
| 04:28:36 | → | vglfr joins (~vglfr@46.96.132.108) |
| 04:29:43 | → | liz joins (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 04:29:44 | <jackdk> | Guru Meditation: 55 |
| 04:31:23 | <abastro[m]> | Perhaps a rant? |
| 04:32:01 | → | pottsy joins (~pottsy@2400:4050:b560:3700:fe0:b422:790d:35f6) |
| 04:34:36 | × | zebrag quits (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 04:36:44 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:36:57 | × | boxscape_ quits (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 04:37:42 | × | vglfr quits (~vglfr@46.96.132.108) (Remote host closed the connection) |
| 04:38:49 | → | vglfr joins (~vglfr@46.96.132.108) |
| 04:43:07 | × | liz quits (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Remote host closed the connection) |
| 04:43:34 | → | _xor joins (~xor@74.215.232.169) |
| 04:44:03 | × | pnotequalnp quits (~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds) |
| 04:47:04 | × | bontaq quits (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 272 seconds) |
| 04:48:17 | × | mvk quits (~mvk@2607:fea8:5cc3:7e00::7980) (Ping timeout: 240 seconds) |
| 04:52:02 | → | liz joins (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 04:58:28 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 272 seconds) |
| 05:00:11 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 05:05:00 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 05:05:44 | → | nicbk joins (~nicbk@user/nicbk) |
| 05:07:14 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 05:09:56 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 245 seconds) |
| 05:17:57 | × | deadmarshal_ quits (~deadmarsh@95.38.116.46) (Ping timeout: 240 seconds) |
| 05:18:23 | × | AkechiShiro quits (~licht@user/akechishiro) (Quit: WeeChat 3.2.1) |
| 05:20:17 | → | merijn joins (~merijn@c-001-002-002.client.esciencecenter.eduvpn.nl) |
| 05:25:43 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 05:25:45 | → | HotblackDesiato_ joins (~HotblackD@gateway/tor-sasl/hotblackdesiato) |
| 05:26:15 | × | HotblackDesiato quits (~HotblackD@gateway/tor-sasl/hotblackdesiato) (Ping timeout: 240 seconds) |
| 05:27:17 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 05:29:43 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 05:37:12 | <energizer> | is it possible to write negative class bounds, like implement function for types that /aren't/ Monoid? |
| 05:38:37 | × | jao quits (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 240 seconds) |
| 05:43:02 | <liz> | energizer: that's an interesting question, do you have a practical use for it? |
| 05:43:09 | <energizer> | no |
| 05:48:36 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 05:52:22 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 05:53:05 | → | michalz joins (~michalz@185.246.204.105) |
| 05:54:17 | × | merijn quits (~merijn@c-001-002-002.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 05:56:36 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 05:56:56 | → | mikail joins (~mikail@2a02:c7f:bd03:2c00:38bf:5983:b068:95f1) |
| 05:57:34 | × | mikail quits (~mikail@2a02:c7f:bd03:2c00:38bf:5983:b068:95f1) (Client Quit) |
| 06:01:17 | <c_wraith> | It comes up sometimes when people want to do things like picking an implementation based on whether a constraint is present |
| 06:02:04 | <c_wraith> | The answer is - you can sort of do it, but it's very indirect and fragile |
| 06:02:12 | <c_wraith> | And I never bothered understanding how :) |
| 06:05:48 | × | michalz quits (~michalz@185.246.204.105) (Read error: No route to host) |
| 06:06:23 | → | michalz joins (~michalz@185.246.204.105) |
| 06:06:57 | → | vglfr joins (~vglfr@46.96.132.108) |
| 06:09:25 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 06:09:38 | × | polux quits (~polux@51.15.169.172) (Quit: The Lounge - https://thelounge.github.io) |
| 06:10:10 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 06:13:42 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 06:14:12 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 06:15:51 | × | benin quits (~benin@183.82.207.30) (Ping timeout: 256 seconds) |
| 06:17:54 | → | Guest50 joins (~Guest50@94.54.249.160) |
| 06:41:00 | <Axman6> | yeah being able to do things like pick a Vector based on whether the type is Primitive, Unpack etc would be useful |
| 06:48:12 | → | chenqisu1 joins (~chenqisu1@183.217.201.88) |
| 06:49:56 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:51:01 | → | machinedgod joins (~machinedg@24.105.81.50) |
| 06:52:22 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:54:55 | × | nicbk quits (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 06:55:04 | <dons> | choosing based on membership of a set is doable, i think. but negation is much harder |
| 06:55:17 | <dons> | tends to make things unsound fast unless you are careful |
| 06:57:25 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 06:58:35 | × | Guest50 quits (~Guest50@94.54.249.160) (Quit: Client closed) |
| 07:05:19 | <Axman6> | case getDict of None -> "No instance!"; Some Dict -> "Unbox it!" |
| 07:05:43 | <Axman6> | @hoogle Maybe (Dict c) |
| 07:05:43 | <lambdabot> | Control.Monad.Par.Class new :: ParIVar ivar m => m (ivar a) |
| 07:05:43 | <lambdabot> | Data.Ecstasy defStorage :: HasWorld world m => world ('WorldOf m) |
| 07:05:43 | <lambdabot> | Data.Ecstasy.Internal defStorage :: HasWorld world m => world ('WorldOf m) |
| 07:05:51 | <Axman6> | not even close lambdabot |
| 07:07:09 | <Axman6> | oh, Dict has two arguments! |
| 07:07:48 | <Axman6> | uh, no, was looking at barbie's version |
| 07:08:10 | → | acidjnk joins (~acidjnk@p200300d0c7049f68f01b5afaf545f9ab.dip0.t-ipconnect.de) |
| 07:08:30 | × | mason0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 07:12:19 | → | vysn joins (~vysn@user/vysn) |
| 07:13:17 | → | benin joins (~benin@106.198.91.80) |
| 07:14:30 | → | zeenk joins (~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94) |
| 07:14:58 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 07:16:15 | × | Akiva quits (~Akiva@user/Akiva) (Ping timeout: 252 seconds) |
| 07:19:14 | → | _ht joins (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 07:19:24 | × | Everything quits (~Everythin@37.115.210.35) (Ping timeout: 240 seconds) |
| 07:19:49 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 07:20:26 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 07:20:26 | → | Everything joins (~Everythin@37.115.210.35) |
| 07:21:43 | <Maxdamantus> | instance ~(BeardTrimmer a) => BeardTrimmer a |
| 07:25:07 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 260 seconds) |
| 07:27:57 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 240 seconds) |
| 07:30:17 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 07:37:51 | × | gdown quits (~gavin@h69-11-149-231.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 07:38:20 | → | fendor joins (~fendor@178.115.44.78.wireless.dyn.drei.com) |
| 07:43:45 | <energizer> | what does 'contraction' mean on this page https://en.wikipedia.org/wiki/Substructural_type_system |
| 07:43:55 | → | vglfr joins (~vglfr@46.96.132.108) |
| 07:45:42 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:c822:9539:eb3b:6254) |
| 07:50:57 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 07:51:02 | → | dextaa_ joins (~dextaa@user/dextaa) |
| 07:51:05 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:51:19 | <joel135> | energizer: contraction is a term from linear logic (and logic in general, i guess) |
| 07:51:51 | <joel135> | it means a -> (a, a) i.e. duplication/copying |
| 07:52:43 | <energizer> | thanks |
| 07:56:04 | <abastro[m]> | Showerthought: pattern matching is confusing to beginners because real life deconstruction always makes the entirety unavailable, just like how linear logic works |
| 07:56:24 | → | briandaed joins (~root@109.95.142.93.r.toneticgroup.pl) |
| 07:59:18 | × | jtm quits (~jtm@user/jtm) (Remote host closed the connection) |
| 07:59:31 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 07:59:32 | → | the_proffesor joins (~theproffe@2601:282:847f:8010::7f59) |
| 07:59:40 | → | jtm joins (~jtm@user/jtm) |
| 08:00:34 | × | loonycyborg quits (loonycybor@wesnoth/developer/loonycyborg) (Quit: ZNC - http://znc.sourceforge.net) |
| 08:00:43 | → | loonycyborg joins (loonycybor@wesnoth/developer/loonycyborg) |
| 08:01:11 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 08:01:30 | × | _ht quits (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 08:01:35 | × | alMalsamo quits (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 08:02:29 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 08:03:24 | × | theproffesor_ quits (~theproffe@2601:282:847f:8010::7f59) (Ping timeout: 240 seconds) |
| 08:03:57 | × | notzmv quits (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 08:04:33 | <energizer> | i'm often annoyed that the original is still in scope on the rhs |
| 08:06:16 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:07:35 | × | xff0x quits (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 260 seconds) |
| 08:07:55 | <joel135> | what do you mean? |
| 08:08:04 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:08:05 | <joel135> | both of you |
| 08:09:10 | <energizer> | match x with | foo bar => x + foo bar |
| 08:09:15 | → | xff0x joins (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 08:09:20 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 08:09:34 | <energizer> | but x should be unavailable because its contents were moved into foo bar |
| 08:09:42 | <joel135> | oh i see |
| 08:11:59 | × | acidjnk quits (~acidjnk@p200300d0c7049f68f01b5afaf545f9ab.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 08:13:06 | × | Everything quits (~Everythin@37.115.210.35) (Quit: leaving) |
| 08:13:58 | <abastro[m]> | energizer: Sounes like F# |
| 08:14:50 | <energizer> | F# would say "error there's no x in scope for x + foo bar"? |
| 08:16:28 | <abastro[m]> | Oh wait |
| 08:16:41 | <abastro[m]> | I mean, what language is the term from |
| 08:16:43 | <abastro[m]> | Ocaml? |
| 08:17:53 | <energizer> | granule |
| 08:18:35 | <abastro[m]> | Oh |
| 08:18:46 | <abastro[m]> | You meant the language with granular typing right |
| 08:18:50 | <abastro[m]> | That's so cool |
| 08:19:08 | <abastro[m]> | Perhaps easier to reason about at cost of less flexibility |
| 08:21:12 | → | oxide joins (~lambda@user/oxide) |
| 08:23:23 | <energizer> | but haskell's getting linear types innit |
| 08:24:57 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 08:28:16 | → | chomwitt joins (~chomwitt@2a02:587:dc0d:b200:e0e6:2517:8e76:8934) |
| 08:29:45 | → | mmhat joins (~mmh@55d4e150.access.ecotel.net) |
| 08:31:58 | × | nek0 quits (~nek0@nek0.eu) (Quit: Ping timeout (120 seconds)) |
| 08:32:15 | → | nek0 joins (~nek0@nek0.eu) |
| 08:35:49 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 08:36:36 | <abastro[m]> | Well, not as powerful as granular |
| 08:37:34 | → | alMalsamo joins (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 08:37:43 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 08:37:48 | alMalsamo | is now known as lumberjack123 |
| 08:39:11 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 08:40:15 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 08:42:15 | → | mason0 joins (~bc8147f2@cerf.good1.com) |
| 08:42:20 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 08:47:44 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 08:49:16 | → | alp joins (~alp@user/alp) |
| 08:51:50 | × | zaquest quits (~notzaques@5.130.79.72) (Remote host closed the connection) |
| 08:52:42 | → | acidjnk joins (~acidjnk@p200300d0c7049f68816ae2824fdd5aac.dip0.t-ipconnect.de) |
| 08:52:51 | × | chomwitt quits (~chomwitt@2a02:587:dc0d:b200:e0e6:2517:8e76:8934) (Ping timeout: 245 seconds) |
| 08:52:54 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 08:53:17 | × | shriekingnoise quits (~shrieking@201.231.16.156) (Quit: Quit) |
| 08:53:59 | → | zaquest joins (~notzaques@5.130.79.72) |
| 08:57:27 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 08:59:12 | → | bahamas joins (~lucian@86.120.77.115) |
| 09:00:11 | × | freeman42x[m] quits (~freeman42@2001:470:69fc:105::7d29) (Quit: You have been kicked for being idle) |
| 09:00:14 | × | norg[m] quits (~norgmatri@2001:470:69fc:105::1:c809) (Quit: You have been kicked for being idle) |
| 09:00:37 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 09:00:48 | → | ccntrq joins (~Thunderbi@exit-1.rz.nue.de.mhd.medondo.com) |
| 09:01:48 | × | dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 09:08:48 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 09:11:34 | → | vpan joins (~0@212.117.1.172) |
| 09:11:47 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:13:01 | × | benin quits (~benin@106.198.91.80) (Read error: Connection reset by peer) |
| 09:13:23 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 09:14:56 | × | bahamas quits (~lucian@86.120.77.115) (Ping timeout: 245 seconds) |
| 09:15:09 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 09:15:10 | → | benin joins (~benin@183.82.24.110) |
| 09:15:36 | × | xff0x quits (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 252 seconds) |
| 09:15:40 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 09:15:46 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 09:16:23 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 09:27:38 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 09:29:05 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 09:29:45 | → | bahamas joins (~lucian@86.120.77.115) |
| 09:31:34 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 09:33:59 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:34:19 | × | bahamas quits (~lucian@86.120.77.115) (Ping timeout: 250 seconds) |
| 09:38:57 | → | mcgroin joins (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 09:39:17 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 09:39:27 | × | benin quits (~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat) |
| 09:39:44 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 09:45:13 | → | benin joins (~benin@183.82.24.110) |
| 09:47:45 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 250 seconds) |
| 09:49:16 | × | liz quits (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: leaving) |
| 09:49:22 | → | xff0x joins (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 09:49:36 | → | liz joins (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 09:49:40 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 09:50:41 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 09:51:54 | <mon_aaraj> | Hm... well, it seems like my problem from earlier stays. I have my configuration file in ~/.config/.ghci: https://bpa.st/JPLQ and my GHC version is 9.2.2, confirmed via ghc --version and ghci --version as well, just in-case |
| 09:52:55 | × | benin quits (~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat) |
| 09:58:29 | → | xkuru joins (~xkuru@user/xkuru) |
| 09:58:54 | <mon_aaraj> | i realised i haven't mentioned my issue; it's that GHCi does not seem to read or realise that the file exists in that path |
| 10:00:20 | → | Guest43 joins (~Guest43@27.147.226.219) |
| 10:01:03 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 10:01:16 | <sm> | are you sure that's a path it looks at ? is there a ./.ghci or ~/.ghci ? |
| 10:01:24 | <jackdk> | monochrom: what is $XDG_CONFIG_HOME? https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html#the-ghci-and-haskeline-files |
| 10:01:55 | <jackdk> | sorry monochrom , I mean mon_aaraj |
| 10:05:14 | <Guest43> | I am applying for gsoc summer of haskell . During this period I am in my final year so I am not totally free but I really want to participate in gsoc . Cause probably I won't be able to apply to gsoc next year when I am not a student anymore? What can I do ? |
| 10:05:38 | × | acidjnk quits (~acidjnk@p200300d0c7049f68816ae2824fdd5aac.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 10:09:19 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 10:09:31 | <mon_aaraj> | jackdk: ``echo $XDG_CONFIG_HOME`` says ``/home/mon/.config`` |
| 10:09:52 | <mon_aaraj> | /home/mon is my $HOME, of course |
| 10:10:58 | <mon_aaraj> | sm: no, there's none, but there *is* a ``~/.ghc`` folder that has ghci_history inside it. i tried to get rid of it, but ghc keeps creating it |
| 10:13:20 | <Putonlalla> | Could I use `unsafeCoerce` to instantiate a class that doesn't export its methods? |
| 10:13:28 | × | chenqisu1 quits (~chenqisu1@183.217.201.88) (Quit: Leaving) |
| 10:13:31 | × | Guest43 quits (~Guest43@27.147.226.219) (Quit: Client closed) |
| 10:13:33 | → | boxscape_ joins (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 10:13:41 | <jackdk> | mon_aaraj: dunno then, maybe run ghci with some extra `-v` or something and see if it tells you more? |
| 10:15:09 | <mon_aaraj> | https://bpa.st/X73A here's the result, i don't see anything myself |
| 10:15:10 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 10:18:37 | → | notzmv joins (~zmv@user/notzmv) |
| 10:20:35 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 260 seconds) |
| 10:20:53 | <jackdk> | Beats me, then, sorry. |
| 10:21:19 | <sm> | also, if it were it ~/.config wouldn't the convention usually be ~/.config/ghci ? But I'd consult the GHC manual |
| 10:22:02 | <jackdk> | I'd give that a go, yeah, though the manual says `$XDG_CONFIG_HOME/.ghci`. I'd also try `$XDG_CONFIG_HOME/.ghci/.ghci` just for kicks |
| 10:23:15 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 10:24:50 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 10:26:46 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 10:27:04 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 10:27:21 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 10:30:53 | × | haskl quits (~haskl@user/haskl) (Read error: Connection reset by peer) |
| 10:31:01 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 10:31:41 | × | liz quits (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: Lost terminal) |
| 10:33:00 | → | haskl joins (~haskl@user/haskl) |
| 10:34:56 | → | mohy joins (~mohy@eduroam-mff-ms.koleje.cuni.cz) |
| 10:35:25 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 10:37:04 | → | mohy_ joins (~mohy@eduroam-mff-ms.koleje.cuni.cz) |
| 10:39:21 | × | mohy quits (~mohy@eduroam-mff-ms.koleje.cuni.cz) (Ping timeout: 256 seconds) |
| 10:40:36 | × | mohy_ quits (~mohy@eduroam-mff-ms.koleje.cuni.cz) (Client Quit) |
| 10:42:34 | → | otis^ joins (~otis@96-91-136-49-static.hfc.comcastbusiness.net) |
| 10:43:41 | × | lavaman quits (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 10:45:22 | → | liz joins (~liz@host109-151-125-217.range109-151.btcentralplus.com) |
| 10:46:42 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 10:47:24 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 10:58:55 | × | liz quits (~liz@host109-151-125-217.range109-151.btcentralplus.com) (Quit: leaving) |
| 11:00:12 | <Putonlalla> | I'm trying to use this to import types, but it's not working due to `Illegal promoted term variable in a type` errors. https://www.tweag.io/blog/2021-01-07-haskell-dark-arts-part-i/ |
| 11:00:18 | → | toulene3 joins (~toulene@user/toulene) |
| 11:00:26 | → | benin joins (~benin@183.82.24.110) |
| 11:01:22 | × | toulene quits (~toulene@user/toulene) (Ping timeout: 272 seconds) |
| 11:01:23 | toulene3 | is now known as toulene |
| 11:02:43 | → | zer0bitz joins (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 11:05:10 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 11:06:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 11:06:45 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 11:07:15 | × | zeenk quits (~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94) (Quit: Konversation terminated!) |
| 11:07:37 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 11:08:54 | → | chomwitt joins (~chomwitt@2a02:587:dc0d:b200:a198:e1d2:32d4:cbec) |
| 11:10:27 | <mon_aaraj> | i think i'll make a GHCi issue, that feels like the right place |
| 11:14:26 | → | rkrishnan joins (~user@2402:e280:215c:2cd:563e:b443:91bb:d4e2) |
| 11:15:21 | <boxscape> | mon_aaraj: you can also try renaming the .ghci file into ~/.config/.ghc/ghci.conf |
| 11:15:25 | × | Typedfern quits (~Typedfern@122.red-88-24-160.staticip.rima-tde.net) (Ping timeout: 240 seconds) |
| 11:17:51 | × | ProfSimm quits (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 11:19:56 | <mon_aaraj> | yep, i have |
| 11:20:09 | <boxscape_> | hmm okay |
| 11:20:10 | <mon_aaraj> | i have tried ~/.config/ghci/ghci.conf as well, and ~/.config/ghci.conf |
| 11:20:51 | <boxscape_> | I thought .config/.ghci/ghci.conf worked for me, but I think it actually just works because I ln -s'd ~/.ghc to .config/.ghc |
| 11:23:48 | × | benin quits (~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat) |
| 11:23:59 | → | razetime joins (~quassel@117.254.34.170) |
| 11:29:16 | → | vglfr joins (~vglfr@46.96.132.108) |
| 11:31:36 | → | Typedfern joins (~Typedfern@220.red-83-56-165.dynamicip.rima-tde.net) |
| 11:36:12 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 11:38:26 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 11:38:34 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 11:41:53 | → | pagnol joins (~user@014198154145.ctinets.com) |
| 11:48:25 | → | lavaman joins (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 11:50:16 | → | deadmarshal_ joins (~deadmarsh@95.38.116.46) |
| 11:50:29 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 11:51:20 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 11:56:23 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 11:57:56 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 11:58:12 | × | gehmehgeh quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 11:58:51 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 250 seconds) |
| 12:04:14 | × | synthmeat quits (~synthmeat@user/synthmeat) (Quit: WeeChat 3.0) |
| 12:10:35 | → | bahamas joins (~lucian@84.232.140.158) |
| 12:14:52 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 12:15:18 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:15:43 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 12:21:12 | → | synthmeat joins (~synthmeat@user/synthmeat) |
| 12:23:52 | → | Pickchea joins (~private@user/pickchea) |
| 12:25:23 | × | pagnol quits (~user@014198154145.ctinets.com) (Remote host closed the connection) |
| 12:27:26 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 12:40:12 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 12:41:48 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 12:41:51 | → | p3n_ joins (~p3n@217.198.124.246) |
| 12:41:51 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (Read error: Connection reset by peer) |
| 12:46:17 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 240 seconds) |
| 12:49:19 | × | tabemann quits (~travisb@2600:1700:7990:24e0:ef59:1828:166d:a63e) (Remote host closed the connection) |
| 12:49:32 | → | tabemann joins (~travisb@2600:1700:7990:24e0:3f89:422:8b05:c533) |
| 12:50:49 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 12:50:51 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 260 seconds) |
| 12:56:09 | → | xkuru joins (~xkuru@user/xkuru) |
| 12:57:48 | × | razetime quits (~quassel@117.254.34.170) (Ping timeout: 252 seconds) |
| 13:01:25 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 13:04:50 | × | gdd quits (~gdd@129.199.146.230) (Ping timeout: 268 seconds) |
| 13:06:15 | → | razetime joins (~quassel@117.254.34.57) |
| 13:06:26 | → | gdd joins (~gdd@129.199.146.230) |
| 13:07:15 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 13:07:35 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 13:08:30 | → | vglfr joins (~vglfr@46.96.132.108) |
| 13:08:36 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 13:10:03 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 13:11:47 | × | p3n_ quits (~p3n@217.198.124.246) (Ping timeout: 256 seconds) |
| 13:12:04 | → | p3n joins (~p3n@217.198.124.246) |
| 13:17:14 | × | razetime quits (~quassel@117.254.34.57) (Read error: Connection reset by peer) |
| 13:19:22 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 13:23:13 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 13:23:14 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 13:23:16 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 13:23:44 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 13:23:59 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 13:24:50 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 13:26:31 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 256 seconds) |
| 13:26:50 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 13:27:41 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 13:27:46 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Client Quit) |
| 13:28:22 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 13:28:40 | → | ubert joins (~Thunderbi@185.209.196.165) |
| 13:30:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 13:31:56 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 13:32:32 | → | ub joins (~Thunderbi@194.110.113.41) |
| 13:32:44 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 13:33:00 | × | ubert quits (~Thunderbi@185.209.196.165) (Ping timeout: 252 seconds) |
| 13:33:00 | ub | is now known as ubert |
| 13:33:12 | → | lainon joins (~lainon@2601:7c0:c500:4d20::2ff6) |
| 13:35:05 | astra | is now known as amish |
| 13:35:26 | × | amish quits (sid289983@id-289983.hampstead.irccloud.com) (Changing host) |
| 13:35:26 | → | amish joins (sid289983@user/amish) |
| 13:36:29 | amish | is now known as astra |
| 13:37:21 | → | ProfSimm joins (~ProfSimm@87.227.196.109) |
| 13:39:23 | → | shriekingnoise joins (~shrieking@201.231.16.156) |
| 13:39:26 | → | razetime joins (~quassel@117.254.34.57) |
| 13:40:20 | → | ystael joins (~ystael@user/ystael) |
| 13:42:33 | × | azimut quits (~azimut@gateway/tor-sasl/azimut) (Quit: ZNC - https://znc.in) |
| 13:42:52 | → | azimut joins (~azimut@gateway/tor-sasl/azimut) |
| 13:46:03 | → | ub joins (~Thunderbi@138.199.15.169) |
| 13:46:12 | × | ubert quits (~Thunderbi@194.110.113.41) (Ping timeout: 252 seconds) |
| 13:46:12 | ub | is now known as ubert |
| 13:47:02 | <Midjak> | Hi. Is it safe to use cabal and stack on the same system ? |
| 13:47:14 | × | ubert quits (~Thunderbi@138.199.15.169) (Client Quit) |
| 13:47:27 | <geekosaur> | sure, they just can't share packages |
| 13:48:20 | <Midjak> | ok. So there is no risk to have conflicts , right ? |
| 13:48:27 | <geekosaur> | right |
| 13:48:36 | <Midjak> | cool thank you |
| 13:48:52 | <maerwald> | Midjak: they're enemies... you have to hide them from each other or they try to delete each other |
| 13:49:08 | maerwald | giggles |
| 13:51:02 | <Midjak> | It's perhaps a silly question . I am not sure how stack and cabale work with dependencies |
| 13:52:47 | <maerwald> | stack installs into ~/.stack, cabal into ~/.cabal |
| 13:52:49 | → | bahamas joins (~lucian@92.85.13.88) |
| 13:53:03 | <Midjak> | simple and sure |
| 13:53:13 | <maerwald> | even when using them on the same project, stack uses .stack-work/ and cabal dist-newstyle/ |
| 13:53:23 | <maerwald> | for project-local artifcats |
| 13:53:56 | <maerwald> | the only "conflict" can be stacks hpack usage (package.yaml) |
| 13:54:09 | <maerwald> | make sure to not use any of those |
| 13:54:16 | <maerwald> | and edit *.cabal directly |
| 13:54:38 | <Midjak> | what is hpack ? |
| 13:54:46 | <maerwald> | something that generates *.cabal files |
| 13:54:48 | <maerwald> | you don't need it |
| 13:55:03 | <Midjak> | ok |
| 13:55:24 | × | rkrishnan quits (~user@2402:e280:215c:2cd:563e:b443:91bb:d4e2) (Ping timeout: 240 seconds) |
| 13:55:54 | <Midjak> | thank you both |
| 13:57:46 | → | ec joins (~ec@gateway/tor-sasl/ec) |
| 13:59:58 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Quit: WeeChat 3.4) |
| 14:02:08 | × | mcgroin quits (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 14:07:50 | → | stepcut joins (~lordgothi@c-24-13-80-95.hsd1.il.comcast.net) |
| 14:08:45 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:09:32 | <stepcut> | I am using GHC 9.2.1, but this macro does not seem to work, #if __GLASGOW_HASKELL__ >= 921. If I change it to 900 then it works. What am I doing wrong? Is this macro deprecated now? |
| 14:09:42 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 14:10:21 | × | otis^ quits (~otis@96-91-136-49-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 14:10:38 | <stepcut> | should I be using 'if MIN_VERSION_ghc(9,2,1)' or something? |
| 14:11:36 | <maerwald> | stepcut: that would check against the *package* ghc |
| 14:11:44 | <stepcut> | ah |
| 14:11:51 | <byorgey> | stepcut: for GHC version x.y.z the value of __GLASGOW_HASKELL__ is xyy, possibly with a leading zero |
| 14:11:52 | <maerwald> | did you try >= 902? |
| 14:11:55 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 14:12:00 | <byorgey> | should be 902 for GHC 9.2.1 |
| 14:12:10 | <maerwald> | https://guide.aelve.com/haskell/cpp-vww0qd72#item-fkuvztqe |
| 14:12:12 | <maerwald> | yes |
| 14:12:17 | → | yauhsien joins (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) |
| 14:12:46 | <stepcut> | oh |
| 14:12:47 | <maerwald> | if you're instead relying on base stuff, use MIN_VERSION_base(...) |
| 14:13:05 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 14:13:10 | <maerwald> | byorgey: what happens with ghc 10? :D |
| 14:13:14 | <stepcut> | I guess I don't know why it is 902, but if that is right, that is fine |
| 14:13:33 | <byorgey> | maerwald: logically, according to this specification, there can never be a GHC 10 |
| 14:13:36 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 14:13:40 | <byorgey> | GHC version numbers will asymptotically approach 10 |
| 14:13:57 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 14:14:04 | <stepcut> | maerwald: hmm.. perhaps I should be checking against base. I need some conditional code for dealing with the internal changes to Word8/Word16/Word32/Int8/Int16/Int32 types |
| 14:14:41 | <maerwald> | stepcut: `ghcup list` shows you base versions |
| 14:14:59 | <maerwald> | or use https://gitlab.haskell.org/ghc/ghc/-/wikis/working-conventions/boot-libraries |
| 14:15:28 | → | mikoto-chan joins (~mikoto-ch@213.177.151.239) |
| 14:17:36 | × | yauhsien quits (~yauhsien@61-231-38-131.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 14:18:20 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 14:22:31 | <stepcut> | maerwald: I guess I am unclear in this case if checking the version of GHC or the version of base would be better since the internal representation of Int?/Word? required the addition of new primitives to GHC. It is more than just needing a new base -- you also need the newer GHC -- though you can't get one without the other |
| 14:27:30 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 14:30:03 | → | Guest91 joins (~Guest91@114.246.34.22) |
| 14:30:55 | × | m5zs7k quits (aquares@web10.mydevil.net) (Read error: Connection reset by peer) |
| 14:31:06 | → | m5zs7k_ joins (~m5zs7k@web10.mydevil.net) |
| 14:31:34 | m5zs7k_ | is now known as m5zs7k |
| 14:31:48 | → | on^ joins (~on@96-91-136-49-static.hfc.comcastbusiness.net) |
| 14:34:35 | × | n3t quits (n3t@user/n3t) (Ping timeout: 252 seconds) |
| 14:35:00 | <boxscape> | version 10 doesn't seem ambiguous as long as it uses 4 digits |
| 14:35:27 | Guest91 | is now known as bruceLi |
| 14:35:29 | <boxscape> | or wait |
| 14:35:34 | <boxscape> | is 9021 also valid? |
| 14:35:35 | × | bruceLi quits (~Guest91@114.246.34.22) (Quit: Ping timeout (120 seconds)) |
| 14:36:12 | → | n3t joins (~n3t@s45.mydevil.net) |
| 14:36:16 | → | Guest91 joins (~Guest91@114.246.34.22) |
| 14:37:08 | <boxscape> | since it's just comparing integers, that shouldn't be valid, so I rest my case |
| 14:38:12 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 14:40:32 | <maerwald[m]> | stepcut: if you're dealing with Haskell imports, it's probably base |
| 14:41:37 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 14:43:01 | <stepcut> | maerwald: that seems somewhat sensible. I guess if JHC suddenly got a lot of development, then what I would care about is the version of base where this change happened |
| 14:43:01 | × | Guest91 quits (~Guest91@114.246.34.22) (Ping timeout: 256 seconds) |
| 14:43:09 | <stepcut> | rather than the compiler version |
| 14:43:25 | <maerwald[m]> | Checking against ghc version would only make sense to guard against primops bugs, for example |
| 14:43:44 | <maerwald[m]> | And there are some |
| 14:45:02 | → | Guest91 joins (~Guest91@114.246.34.22) |
| 14:45:02 | × | hololeap quits (~hololeap@user/hololeap) (Remote host closed the connection) |
| 14:46:07 | × | bahamas quits (~lucian@92.85.13.88) (Ping timeout: 250 seconds) |
| 14:46:28 | → | hololeap joins (~hololeap@user/hololeap) |
| 14:47:37 | × | oxide quits (~lambda@user/oxide) (Quit: oxide) |
| 14:48:28 | × | Guest91 quits (~Guest91@114.246.34.22) (Client Quit) |
| 14:51:20 | → | Guest91 joins (~Guest91@114.246.34.22) |
| 14:53:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 14:55:08 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 14:56:03 | × | Guest91 quits (~Guest91@114.246.34.22) (Ping timeout: 256 seconds) |
| 14:56:23 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 14:58:03 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 14:58:21 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 15:06:45 | → | dextaa_ joins (~dextaa@user/dextaa) |
| 15:07:01 | → | zebrag joins (~chris@user/zebrag) |
| 15:07:49 | → | Guest91 joins (~Guest91@198.13.48.162) |
| 15:13:29 | × | boxscape_ quits (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Quit: boxscape_) |
| 15:13:43 | → | boxscape_ joins (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 15:15:52 | × | ccntrq quits (~Thunderbi@exit-1.rz.nue.de.mhd.medondo.com) (Quit: ccntrq) |
| 15:16:00 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 15:17:52 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 15:18:22 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:c822:9539:eb3b:6254) (Quit: WeeChat 2.8) |
| 15:21:57 | × | razetime quits (~quassel@117.254.34.57) (Ping timeout: 240 seconds) |
| 15:26:13 | → | vysn joins (~vysn@user/vysn) |
| 15:26:57 | × | alp quits (~alp@user/alp) (Ping timeout: 240 seconds) |
| 15:27:56 | → | rekahsoft joins (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) |
| 15:30:21 | → | razetime joins (~quassel@117.254.34.170) |
| 15:31:40 | × | mmhat quits (~mmh@55d4e150.access.ecotel.net) (Quit: WeeChat 3.4.1) |
| 15:32:12 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 15:34:43 | × | Guest91 quits (~Guest91@198.13.48.162) (Quit: Client closed) |
| 15:34:55 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 256 seconds) |
| 15:36:20 | → | crazazy joins (~user@130.89.171.62) |
| 15:40:24 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 15:43:47 | × | doyougnu quits (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Remote host closed the connection) |
| 15:46:25 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Read error: Connection reset by peer) |
| 15:47:56 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 15:48:03 | → | bahamas joins (~lucian@84.232.140.158) |
| 15:51:29 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 15:52:51 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 260 seconds) |
| 16:00:25 | → | lbseale joins (~ep1ctetus@user/ep1ctetus) |
| 16:02:19 | <crazazy> | guys I think I found a new recursion scheme |
| 16:06:04 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 16:06:51 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Ping timeout: 260 seconds) |
| 16:07:49 | <janus> | crazazy: what is the name? i will name my first born after it |
| 16:08:43 | <crazazy> | i call it an "optomorphism" (i think). It's an unfold tat produces 0 or 1 layers of recursive datatye |
| 16:08:52 | <crazazy> | type* |
| 16:09:34 | <monochrom> | I was hoping ironically "I'm looking for a name? What's the name of your firstborn? I may steal it.", thus completing the recursion scheme. >:) |
| 16:09:42 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 16:09:45 | <crazazy> | oh lol |
| 16:10:07 | → | benin joins (~benin@183.82.24.110) |
| 16:10:07 | <crazazy> | well 0 layers of recursion have ben produced sofar |
| 16:10:16 | <crazazy> | *ahem* back to the drawing board |
| 16:10:36 | <crazazy> | janus: what's the name for your firstborn? I don't have a name yet |
| 16:10:47 | <janus> | 'undefined' |
| 16:10:59 | <crazazy> | oh oof that name is taken |
| 16:11:19 | × | benin quits (~benin@183.82.24.110) (Client Quit) |
| 16:17:56 | → | dcoutts_ joins (~duncan@host86-167-90-249.range86-167.btcentralplus.com) |
| 16:18:17 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 16:18:18 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 16:19:37 | × | dcoutts_ quits (~duncan@host86-167-90-249.range86-167.btcentralplus.com) (Remote host closed the connection) |
| 16:19:55 | → | dcoutts_ joins (~duncan@host86-167-90-249.range86-167.btcentralplus.com) |
| 16:20:35 | × | dcoutts__ quits (~duncan@host86-167-90-249.range86-167.btcentralplus.com) (Ping timeout: 250 seconds) |
| 16:23:24 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 16:24:13 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 16:24:17 | × | rekahsoft quits (~rekahsoft@cpe001b21a2fd89-cm64777ddc63a0.cpe.net.cable.rogers.com) (Ping timeout: 240 seconds) |
| 16:24:44 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 16:24:50 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 16:24:58 | → | benin joins (~benin@183.82.24.110) |
| 16:25:27 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 16:25:33 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 16:26:39 | × | benin quits (~benin@183.82.24.110) (Client Quit) |
| 16:27:30 | → | bahamas joins (~lucian@84.232.140.158) |
| 16:27:35 | → | benin joins (~benin@183.82.24.110) |
| 16:30:51 | → | econo joins (uid147250@user/econo) |
| 16:32:47 | × | benin quits (~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat) |
| 16:33:46 | → | benin joins (~benin@183.82.24.110) |
| 16:45:25 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 16:46:30 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 16:47:20 | × | vpan quits (~0@212.117.1.172) (Quit: Leaving.) |
| 16:49:22 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 16:52:19 | → | Unicorn_Princess joins (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 17:00:36 | × | boxscape_ quits (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 17:04:24 | → | alp joins (~alp@user/alp) |
| 17:06:08 | × | jtm quits (~jtm@user/jtm) (Quit: Leaving) |
| 17:08:59 | → | mcgroin joins (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 17:11:51 | → | boxscape_ joins (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 17:12:17 | → | Pickchea joins (~private@user/pickchea) |
| 17:13:00 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 17:15:11 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 17:15:33 | → | vglfr joins (~vglfr@46.96.132.108) |
| 17:20:52 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 17:21:30 | <Zemyla> | :t (<>) . Kleisli |
| 17:21:31 | <lambdabot> | Semigroup (Kleisli m a b) => (a -> m b) -> Kleisli m a b -> Kleisli m a b |
| 17:22:45 | × | rvbcldud quits (~rvbcldud@2601:602:87f:4220:c526:c452:c7e1:199e) (Quit: WeeChat 3.3) |
| 17:23:00 | → | fendor_ joins (~fendor@91.141.68.132.wireless.dyn.drei.com) |
| 17:23:19 | <Zemyla> | When should Kleisli be a Semigroup? |
| 17:23:48 | × | mbuf quits (~Shakthi@171.61.240.79) (Quit: Leaving) |
| 17:24:03 | → | ahammer joins (~ahammer@157.122.68.227) |
| 17:24:37 | → | kaph_ joins (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 17:24:47 | × | kaph quits (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 17:25:35 | <int-e> | I guess you could have an arrow version of Endo |
| 17:25:39 | × | fendor quits (~fendor@178.115.44.78.wireless.dyn.drei.com) (Ping timeout: 256 seconds) |
| 17:25:49 | <int-e> | And that would be a monoid |
| 17:26:36 | → | shapr joins (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 17:27:15 | <boxscape_> | though then you'd have (<>) . ArrEndo . Kleisli |
| 17:27:48 | <Franciman> | :t Endo |
| 17:27:49 | <lambdabot> | (a -> a) -> Endo a |
| 17:28:00 | <Franciman> | why do we need the newtype Endo? |
| 17:28:02 | <Franciman> | for monoids? |
| 17:28:29 | × | ahammer quits (~ahammer@157.122.68.227) (Ping timeout: 256 seconds) |
| 17:28:50 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 17:29:25 | <int-e> | foldr f z t = appEndo (foldMap (Endo . f) t) z |
| 17:29:37 | × | Pickchea quits (~private@user/pickchea) (Ping timeout: 256 seconds) |
| 17:29:54 | <int-e> | (from Foldable, replacing the #. by . because it would just distract from the use of Endo) |
| 17:30:49 | <boxscape_> | > appEndo (foldMap Endo [(+1), (*2), (^3)]) 5 |
| 17:30:51 | <lambdabot> | 251 |
| 17:30:59 | <Franciman> | :t appEndo |
| 17:31:01 | <lambdabot> | Endo a -> a -> a |
| 17:31:03 | <int-e> | Franciman: if you talk about Kleisly, the monoid I'd be interested in would be the one on a -> m a, which is like Endo but in a different category. |
| 17:31:04 | <Franciman> | oh i see |
| 17:31:06 | → | ahammer joins (~ahammer@157.122.68.227) |
| 17:31:08 | <energizer> | i think i'd rather use pattern matching like cmp a b | a <= b -> 1 | a == b -> 2 | a > b -> 3 rather than using operators that return bool. is that an option? |
| 17:31:14 | <int-e> | *kleisli |
| 17:32:32 | <boxscape_> | energizer I'm confused by your question because it seems like the example of what you're saying you'd rather use does have operators that return bool |
| 17:33:34 | <Franciman> | int-e: can we call it EndoM ? |
| 17:33:36 | <Franciman> | :P |
| 17:34:00 | <energizer> | lemme try again |
| 17:34:05 | <boxscape_> | I'd rather just generalize Endo to work for all Arrows |
| 17:34:32 | <energizer> | i think i'd rather use pattern matching like ord a b | LE -> 1 | EQ -> 2 | GT -> 3 rather than using operators that return bool. is that an option? |
| 17:34:49 | <int-e> | Franciman: But sure, you could have instance Semigroup (m b) => Semigroup (Kleisli m a b) |
| 17:34:51 | × | mason0 quits (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 17:35:03 | <Zemyla> | So should (Applicative m, Semigroup b) => Semigroup (Kleisli m a b) like for (->)? |
| 17:35:14 | <boxscape_> | energizer can do `ord a b -> case compare a b of LE -> 1; EQ -> 2; GT -> 3` |
| 17:35:22 | <int-e> | (I don't think I'd use it, but whatever) |
| 17:35:25 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 17:36:06 | <boxscape_> | s/can/you can |
| 17:36:55 | × | ahammer quits (~ahammer@157.122.68.227) (Ping timeout: 260 seconds) |
| 17:37:09 | → | jao joins (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 17:38:33 | <energizer> | oh cool, thanks boxscape_ |
| 17:38:44 | → | ahammer joins (~ahammer@157.122.68.227) |
| 17:39:06 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 17:39:25 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 17:39:50 | × | ahammer quits (~ahammer@157.122.68.227) (Client Quit) |
| 17:40:03 | → | ahammer joins (~ahammer@157.122.68.227) |
| 17:40:26 | <energizer> | is it too annoying to always use that instead of the boolean-returning operators? |
| 17:40:35 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 17:40:47 | <boxscape_> | personally I think it's fine |
| 17:41:00 | × | razetime quits (~quassel@117.254.34.170) (Ping timeout: 272 seconds) |
| 17:44:48 | × | ahammer quits (~ahammer@157.122.68.227) (Ping timeout: 272 seconds) |
| 17:46:33 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 17:46:34 | × | vglfr quits (~vglfr@46.96.132.108) (Read error: Connection reset by peer) |
| 17:46:45 | → | vglfr joins (~vglfr@46.96.132.108) |
| 17:46:49 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 17:47:34 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:47:50 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 17:48:20 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 17:48:57 | × | acidsys quits (~LSD@2a03:4000:55:d20::3) (Client Quit) |
| 17:49:12 | → | acidsys joins (~LSD@2a03:4000:55:d20::3) |
| 17:49:55 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 17:52:36 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 17:52:49 | → | ahammer joins (~ahammer@157.122.68.227) |
| 17:53:28 | → | pnotequalnp joins (~pnotequal@user/pnotequalnp) |
| 17:56:51 | × | benin quits (~benin@183.82.24.110) (Quit: The Lounge - https://thelounge.chat) |
| 17:57:00 | × | ahammer quits (~ahammer@157.122.68.227) (Ping timeout: 240 seconds) |
| 17:57:04 | → | aliosablack joins (~chomwitt@94.66.60.177) |
| 17:58:17 | → | Tuplanolla joins (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 17:58:24 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 260 seconds) |
| 17:58:24 | × | chomwitt quits (~chomwitt@2a02:587:dc0d:b200:a198:e1d2:32d4:cbec) (Ping timeout: 260 seconds) |
| 18:00:00 | × | boxscape_ quits (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) (Ping timeout: 272 seconds) |
| 18:01:44 | → | ahammer joins (~ahammer@157.122.68.227) |
| 18:03:03 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 18:04:08 | → | vglfr joins (~vglfr@46.96.132.108) |
| 18:04:35 | → | Akiva joins (~Akiva@user/Akiva) |
| 18:06:27 | × | ahammer quits (~ahammer@157.122.68.227) (Ping timeout: 256 seconds) |
| 18:08:50 | → | ahammer joins (~ahammer@157.122.68.227) |
| 18:09:01 | × | ahammer quits (~ahammer@157.122.68.227) (Remote host closed the connection) |
| 18:09:37 | → | dcoutts joins (~duncan@host86-151-44-233.range86-151.btcentralplus.com) |
| 18:12:12 | × | dcoutts_ quits (~duncan@host86-167-90-249.range86-167.btcentralplus.com) (Ping timeout: 240 seconds) |
| 18:13:15 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 256 seconds) |
| 18:14:09 | × | doyougnu quits (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 256 seconds) |
| 18:14:58 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 18:20:32 | → | boxscape_ joins (~boxscape_@p4ff0b60b.dip0.t-ipconnect.de) |
| 18:22:16 | <tomsmeding> | pnotequalnp: https://paste.tomsmeding.com/4bu8JHdA |
| 18:22:17 | × | vglfr quits (~vglfr@46.96.132.108) (Ping timeout: 240 seconds) |
| 18:25:23 | × | quintasan quits (~quassel@quintasan.pl) () |
| 18:25:31 | → | pgib joins (~textual@173.38.117.75) |
| 18:25:55 | → | quintasan joins (~quassel@quintasan.pl) |
| 18:26:14 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 18:29:06 | × | alp quits (~alp@user/alp) (Ping timeout: 245 seconds) |
| 18:30:04 | → | alp joins (~alp@user/alp) |
| 18:31:45 | → | Codaraxis__ joins (~Codaraxis@user/codaraxis) |
| 18:35:20 | × | perrierjouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4.1) |
| 18:36:06 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
| 18:38:20 | → | doyougnu joins (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) |
| 18:41:22 | × | sammelweis quits (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 18:41:34 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 18:42:41 | → | sammelweis joins (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 18:50:43 | → | vglfr joins (~vglfr@46.96.132.108) |
| 18:51:18 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 18:51:36 | × | justOkay quits (~justache@user/justache) (Read error: Connection reset by peer) |
| 18:52:35 | → | justOkay joins (~justache@user/justache) |
| 18:56:53 | × | pnotequalnp quits (~pnotequal@user/pnotequalnp) (Ping timeout: 256 seconds) |
| 19:00:08 | → | o-90 joins (~o-90@gateway/tor-sasl/o-90) |
| 19:03:31 | → | vicfred joins (~vicfred@user/vicfred) |
| 19:06:13 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 19:08:28 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 19:08:39 | × | o-90 quits (~o-90@gateway/tor-sasl/o-90) (Remote host closed the connection) |
| 19:14:26 | × | jlamothe quits (~jlamothe@198.251.61.229) (Quit: leaving) |
| 19:14:44 | × | mcgroin quits (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 19:19:31 | → | jlamothe joins (~jlamothe@198.251.61.229) |
| 19:31:35 | × | alp quits (~alp@user/alp) (Ping timeout: 252 seconds) |
| 19:31:43 | × | doyougnu quits (~doyougnu@cpe-67-249-83-190.twcny.res.rr.com) (Ping timeout: 260 seconds) |
| 19:36:32 | × | dextaa_ quits (~dextaa@user/dextaa) (Remote host closed the connection) |
| 19:36:35 | <hololeap> | anyone know of a lib like this for haskell? https://rubyapi.org/o/erb |
| 19:39:34 | <tomsmeding> | maerwald[m]: can you audit this bwrap command https://github.com/tomsmeding/pastebin-haskell/blob/play/bwrap-files/start.sh |
| 19:40:22 | <Sqaure> | If you want to describe a semi simple computation that is both computable and can show the result of each sub expression, what is the right datastructure? |
| 19:40:56 | <Sqaure> | Arrow? |
| 19:40:59 | <maerwald> | tomsmeding: this may be interesing for you https://gitlab.haskell.org/haskell/ghcup-hs/-/merge_requests/216/diffs#96eb0d2ea9d3017a76e863d75ffb63f8ec3db41c_24_59 |
| 19:40:59 | <sm> | hololeap: old answer: https://stackoverflow.com/a/5771359/84401 |
| 19:41:09 | <sm> | has anyone here managed to build only static, or only dynamic, with stack ? |
| 19:41:32 | <maerwald> | tomsmeding: that's a syscall sandboxing tool that I tried to use to verify ghcup behavior and what files it accesses |
| 19:42:00 | <maerwald> | some of those files are actually from curl, not from ghcup |
| 19:42:25 | <tomsmeding> | maerwald: you're suggesting I use that on ghc? |
| 19:42:42 | <maerwald> | ah, no |
| 19:43:28 | <tomsmeding> | (though I am impressed the lengths you go to to make ghcup a good citizen :p ) |
| 19:43:32 | <tomsmeding> | (ghcup is great btw) |
| 19:43:46 | <maerwald> | ah so you are following the playground approach or what |
| 19:43:52 | <tomsmeding> | yeah |
| 19:43:56 | <sm> | +1 |
| 19:43:59 | <tomsmeding> | it ""works"" |
| 19:44:18 | <tomsmeding> | as in, there is a <textarea> you can put code in, a <select> with ghcup versions, and a button to run |
| 19:44:31 | <maerwald> | yeah, I think the only dir ghc needs write access to is /tmp and possibly current dir |
| 19:45:03 | <tomsmeding> | yeah, I don't think I'm giving it more than that currently |
| 19:45:43 | <tomsmeding> | it's just that I couldn't find very extensive documentation on using bwrap in a quick search, so I don't know if I missed stuff that I should close off |
| 19:46:08 | <maerwald> | I haven't actually used it myself, but it looks reasonable |
| 19:46:20 | <tomsmeding> | the --unshare-all sounded good :p |
| 19:48:10 | <maerwald> | how do I test this? |
| 19:48:27 | <tomsmeding> | `cabal run`, then go to `localhost:8123/play` |
| 19:48:40 | <tomsmeding> | hopefully it works on a system that is not mine |
| 19:48:48 | <tomsmeding> | it expects ~/.ghcup as you saw |
| 19:49:13 | <tomsmeding> | (the list of available ghc versions is not sorted, fixing that now :p ) |
| 19:50:04 | <hololeap> | thanks, sm. I'm thinking dhall might be the way to go here |
| 19:50:50 | <tomsmeding> | maerwald: if you find the rate limit obnoxious, change the 1.0 to 0.0 in SpamDetect.hs:40 |
| 19:50:56 | <sm> | what format are you generating hololeap ? |
| 19:51:58 | → | rvbcldud joins (~rvbcldud@2601:602:87f:4220:421e:df9d:15c3:59fa) |
| 19:52:06 | <hololeap> | eventually a config format that looks very much like bash, but this is something I have needed/wanted on occasion for a while |
| 19:52:43 | → | zeenk joins (~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94) |
| 19:53:12 | <hololeap> | Square: a tree? |
| 19:53:33 | × | johnw quits (~johnw@2607:f6f0:3004:1:c8b4:50ff:fef8:6bf0) (Quit: ZNC - http://znc.in) |
| 19:53:45 | × | stepcut quits (~lordgothi@c-24-13-80-95.hsd1.il.comcast.net) (Remote host closed the connection) |
| 19:53:50 | <sm> | https://nickel-lang.org is new, I wonder if that would work |
| 19:54:47 | <sm> | background: https://www.tweag.io/blog/2022-03-11-nickel-first-release |
| 19:56:07 | <hololeap> | dhall can be used directly as a haskell lib, though |
| 19:56:44 | <sm> | ah true |
| 19:57:57 | <maerwald> | nickel is written in rust |
| 19:58:12 | <maerwald> | so you can use it as a library |
| 19:58:14 | <maerwald> | https://docs.rs/nickel-lang/0.1.0/nickel_lang/ |
| 19:59:16 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 19:59:47 | <maerwald> | tomsmeding: https://paste.tomsmeding.com/0aZDQ3SX |
| 20:00:25 | <maerwald> | it seems snap-server is busted |
| 20:00:41 | <tomsmeding> | maerwald: cabal-plan reports that I have snap-server-1.1.2.0 as well |
| 20:02:13 | <tomsmeding> | how can this fail |
| 20:02:27 | <maerwald> | it has not aged well |
| 20:02:37 | <maerwald> | also, I'm using cabal 3.7 |
| 20:02:42 | <tomsmeding> | maerwald: try https://paste.tomsmeding.com/GIotyusf |
| 20:02:57 | <tomsmeding> | oh I'm using cabal 3.6.2.0, but surely that cannot be the issue |
| 20:03:17 | <maerwald> | I think that was the issue |
| 20:03:24 | tomsmeding | is confused |
| 20:04:35 | <maerwald> | oh, my bwrap doesn't support --perms |
| 20:06:11 | <tomsmeding> | maerwald: remove the "--perms 700" and add "bash " at the start of the next line |
| 20:06:52 | <maerwald> | yes, that works |
| 20:07:21 | → | simendsjo joins (~user@84.211.91.241) |
| 20:07:23 | <maerwald> | excellent |
| 20:09:02 | <tomsmeding> | maerwald: this needs some love from a person who can actually do web design :p |
| 20:09:30 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 20:09:35 | <tomsmeding> | (and spends more than negligible time on it) |
| 20:09:36 | <maerwald> | I think next steps are: 1. line numbers for the editor, 2. creating a paste from the playground and 3. creating a playground from a paste |
| 20:09:46 | <maerwald> | then I'd already ship it |
| 20:10:03 | <tomsmeding> | perhaps even put in one of those fancy editors |
| 20:11:06 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 20:11:54 | <tomsmeding> | maerwald: do you think you're confident that the bwrap command is safe enough to put this on a publicly accessible thing |
| 20:12:01 | <maerwald> | I've done a fair amount of react, but it's one of those PTSD things. I can't remember a thing. |
| 20:12:02 | × | on^ quits (~on@96-91-136-49-static.hfc.comcastbusiness.net) (Remote host closed the connection) |
| 20:12:08 | <tomsmeding> | or if not, do you know who I might ask |
| 20:12:10 | <tomsmeding> | lol |
| 20:12:16 | Lord_of_Life_ | is now known as Lord_of_Life |
| 20:12:27 | <tomsmeding> | I'd _prefer_ this to not use react |
| 20:12:33 | <tomsmeding> | simply because it's blatantly unnecessary |
| 20:12:39 | <maerwald> | I even *did* write an editor in react. |
| 20:12:56 | <tomsmeding> | and did you come out alive |
| 20:13:07 | <maerwald> | but I'd need some psychotherapy or hypnosis to remember |
| 20:13:15 | <tomsmeding> | right, so partially |
| 20:13:24 | × | bahamas quits (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 20:14:08 | → | nicbk joins (~nicbk@user/nicbk) |
| 20:14:12 | × | briandaed quits (~root@109.95.142.93.r.toneticgroup.pl) (Ping timeout: 260 seconds) |
| 20:15:30 | → | alp joins (~alp@user/alp) |
| 20:15:40 | <hololeap> | is there any way to do a PR for hackage revisions? |
| 20:16:07 | <dminuoso> | Mail the maintainer? |
| 20:16:34 | <maerwald> | https://github.com/Jungwoo-An/react-editor-js |
| 20:17:11 | <dminuoso> | maerwald: Is that your product? |
| 20:17:15 | <maerwald> | god no |
| 20:17:20 | <tomsmeding> | :') |
| 20:17:45 | <dminuoso> | My react experience has been somewhat pleasant. |
| 20:18:01 | <dminuoso> | But perhaps that's just relative to what all the alternatives would have been. |
| 20:18:10 | <tomsmeding> | maerwald: seems that's a wysiwyg editor? |
| 20:18:50 | <maerwald> | I guess |
| 20:19:35 | <maerwald> | https://codemirror.net/ |
| 20:20:02 | <tomsmeding> | https://codemirror.net/6/ |
| 20:20:50 | <maerwald> | even a haskell shop uses it |
| 20:21:04 | <tomsmeding> | :o |
| 20:27:13 | → | perrierjouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 20:29:53 | <tomsmeding> | how does one query the linux monotonic clock in haskell |
| 20:30:08 | <tomsmeding> | ah, @hackage clock |
| 20:30:49 | <maerwald> | as expected, the documentation has all sorts of examples, but no *simple* example |
| 20:31:02 | <tomsmeding> | of codemirror? |
| 20:31:05 | <maerwald> | yeah |
| 20:31:44 | <tomsmeding> | https://codemirror.net/6/docs/guide/ "This is what a minimal viable editor might look like" -- sounds like what you were looking for |
| 20:32:00 | × | gurkenglas quits (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 272 seconds) |
| 20:33:15 | × | nicbk quits (~nicbk@user/nicbk) (Ping timeout: 240 seconds) |
| 20:33:24 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 20:33:40 | <maerwald> | was there before, still too much stuff |
| 20:42:35 | × | hololeap quits (~hololeap@user/hololeap) (Ping timeout: 240 seconds) |
| 20:43:01 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 20:43:05 | <Sqaure> | is there some library that lets you build expression trees which can be evaluted and also rendered ? Im thinking some GADT type of thing. Simply typed lambda calculus or more. |
| 20:43:24 | × | liskin quits (~liskin@xmonad/liskin) (Ping timeout: 272 seconds) |
| 20:43:43 | → | liskin joins (~liskin@xmonad/liskin) |
| 20:44:01 | → | hololeap joins (~hololeap@user/hololeap) |
| 20:45:16 | <janus> | > a + b |
| 20:45:17 | <lambdabot> | a + b |
| 20:45:29 | <janus> | seems like lambdabot does that? |
| 20:47:19 | <geekosaur> | no, that's just a clever abuse of Num and Show instances. in particular there isnoevaluation |
| 20:48:01 | <tomsmeding> | (the package is this one https://hackage.haskell.org/package/simple-reflect ) |
| 20:48:02 | → | vysn joins (~vysn@user/vysn) |
| 20:52:06 | <Sqaure> | hmm, i realize my question was the wrong one. It would need the ability to abstract away a function to some named black box. |
| 20:52:06 | → | pnotequalnp joins (~pnotequal@user/pnotequalnp) |
| 20:52:46 | → | gurkenglas joins (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 20:53:00 | <tomsmeding> | Sqaure: not sure what you mean here |
| 20:54:29 | → | geranim0 joins (~geranim0@modemcable242.171-178-173.mc.videotron.ca) |
| 20:54:36 | → | ymherklotz joins (cb2c9cfbdd@2604:bf00:561:2000::29a) |
| 20:54:45 | → | dcoutts_ joins (~duncan@host86-151-44-233.range86-151.btcentralplus.com) |
| 20:57:25 | × | dcoutts quits (~duncan@host86-151-44-233.range86-151.btcentralplus.com) (Ping timeout: 240 seconds) |
| 21:02:09 | × | cosimone quits (~user@93-44-187-176.ip98.fastwebnet.it) (Remote host closed the connection) |
| 21:02:45 | → | jgeerds joins (~jgeerds@55d4548e.access.ecotel.net) |
| 21:03:27 | <Sqaure> | tomsmeding, your reply was great but my question was the wrong one. Some functions gets too complicated when you decompose them into their atoms. I need something that just lets you build a tree of an expression variables (input) and application of 1..2-ary functions that can be named. Like : Apply "Fib" (\x -> <insert impl>) (Value 10) |
| 21:04:55 | <tomsmeding> | Sqaure: that feels like a usecase that doesn't arise very often, so I wouldn't be surprised if no such library exists |
| 21:05:19 | <tomsmeding> | depending on how much functionality you'd want, it wouldn't be hard to write though, I think |
| 21:05:51 | <geekosaur> | you're basically writing an interpreter for a simple language.it's more the kind of thing that shows up toward the end of intro haskell courses, than something that would be a library |
| 21:06:00 | <tomsmeding> | (would that be `data Exp where Apply :: String -> (a -> b) -> Value a -> Exp b` ?) |
| 21:06:31 | <Sqaure> | tomsmeding, basically i just want to be albe to write simple expressions using known functions an be able to show the result of each sub expression instead of just a single result. Presentable to non programmers. |
| 21:07:31 | → | cosimone joins (~user@93-44-187-176.ip98.fastwebnet.it) |
| 21:07:36 | × | rvbcldud quits (~rvbcldud@2601:602:87f:4220:421e:df9d:15c3:59fa) (Quit: WeeChat 3.3) |
| 21:08:57 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 240 seconds) |
| 21:10:43 | → | pavonia joins (~user@user/siracusa) |
| 21:15:51 | → | simendsjo joins (~user@84.211.91.241) |
| 21:18:31 | × | Techcable quits (~Techcable@user/Techcable) (Remote host closed the connection) |
| 21:18:39 | → | Techcable joins (~Techcable@user/Techcable) |
| 21:22:19 | × | simendsjo quits (~user@84.211.91.241) (Ping timeout: 260 seconds) |
| 21:24:20 | × | deadmarshal_ quits (~deadmarsh@95.38.116.46) (Ping timeout: 268 seconds) |
| 21:25:29 | <tomsmeding> | Sqaure: something at all in this direction? https://paste.tomsmeding.com/3CcFbWqg |
| 21:26:09 | → | kevin_ joins (~kevin@user/pnotequalnp) |
| 21:26:22 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.4.1) |
| 21:26:44 | × | pnotequalnp quits (~pnotequal@user/pnotequalnp) (Quit: Client closed) |
| 21:26:49 | kevin_ | is now known as pnotequalnp |
| 21:31:13 | <dminuoso> | You can use template haskell for that |
| 21:31:45 | <maerwald> | tomsmeding: sheesh, got it working |
| 21:31:48 | × | vysn quits (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 21:33:16 | × | Codaraxis__ quits (~Codaraxis@user/codaraxis) (Ping timeout: 245 seconds) |
| 21:33:31 | <maerwald> | tomsmeding: https://imgur.com/HVF39fR.png |
| 21:34:14 | <tomsmeding> | 🎉 |
| 21:34:31 | <tomsmeding> | what was difficult? |
| 21:34:43 | <maerwald> | remembering anything about frontend? |
| 21:34:48 | <maerwald> | like the shitty tooling and all |
| 21:34:54 | <tomsmeding> | OH this is that editor! |
| 21:35:01 | <maerwald> | yeah |
| 21:35:02 | <tomsmeding> | that's so cool |
| 21:36:03 | <tomsmeding> | PR please? if there's a merge conflict with what I did in the mean time, I can resolve |
| 21:40:58 | <tomsmeding> | maerwald: any ideas what should happen if someone does "open as playground" from a paste with >1 file? |
| 21:40:59 | → | Guest8714 joins (~Guest87@2a02-842b-0380-5b01-969e-e713-0c3b-e5ac.rev.sfr.net) |
| 21:41:06 | × | Guest8714 quits (~Guest87@2a02-842b-0380-5b01-969e-e713-0c3b-e5ac.rev.sfr.net) (Client Quit) |
| 21:41:08 | <tomsmeding> | or should that button belong to a file instead of a full paste |
| 21:41:37 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 21:42:35 | × | wyrd quits (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 21:44:02 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 21:46:15 | × | pnotequalnp quits (~kevin@user/pnotequalnp) (Quit: leaving) |
| 21:46:34 | → | kevin_ joins (~kevin@user/pnotequalnp) |
| 21:46:39 | kevin_ | is now known as pnotequalnp |
| 21:49:07 | → | Codaraxis__ joins (~Codaraxis@user/codaraxis) |
| 21:49:46 | → | wyrd joins (~wyrd@gateway/tor-sasl/wyrd) |
| 21:53:04 | × | Codaraxis__ quits (~Codaraxis@user/codaraxis) (Remote host closed the connection) |
| 21:53:46 | <maerwald> | tomsmeding: the CPP doesn't work here |
| 21:53:47 | → | Codaraxis__ joins (~Codaraxis@user/codaraxis) |
| 21:55:03 | <tomsmeding> | maerwald: interesting, how does it fail? |
| 21:55:28 | <tomsmeding> | it was mostly a gimmick to show that it does something, but maybe CPP is actually a good test |
| 21:55:43 | <tomsmeding> | perhaps it's not in one of the --ro-bind'ed bin directories on your system? |
| 21:57:27 | <maerwald> | https://github.com/tomsmeding/pastebin-haskell/pull/15 |
| 21:57:32 | <tomsmeding> | I saw :) |
| 21:58:05 | <tomsmeding> | oh man it was such simple js |
| 21:59:30 | <maerwald> | https://codemirror.net/6/docs/ref/#highlight |
| 22:00:11 | → | deadmarshal_ joins (~deadmarsh@95.38.113.36) |
| 22:00:37 | <tomsmeding> | maerwald: does that doRun event listener work? How can that work outside of that window.onload handler |
| 22:00:57 | <maerwald> | yeah, works |
| 22:01:13 | <maerwald> | or what do you mean |
| 22:01:44 | <tomsmeding> | I was under the impression that if the <script> is before the <body>, the elements in the body are not yet there when the script runs, hence that getElementById("btn-run") would return null |
| 22:01:48 | <tomsmeding> | but apparently I'm wrong? |
| 22:01:55 | → | acidjnk joins (~acidjnk@p200300d0c7049f68816ae2824fdd5aac.dip0.t-ipconnect.de) |
| 22:02:10 | <maerwald> | ctrl+enter is broken I think |
| 22:02:21 | <maerwald> | prolly because I'm not getting the correct element |
| 22:02:34 | <maerwald> | I dunno, js magic :D |
| 22:02:43 | <tomsmeding> | shouldn't that be done via some API of that editor thing |
| 22:02:53 | <maerwald> | probably |
| 22:04:03 | <tomsmeding> | why can I request a review from myself |
| 22:04:18 | <maerwald> | because you didn't open the PR |
| 22:05:01 | × | deadmarshal_ quits (~deadmarsh@95.38.113.36) (Ping timeout: 256 seconds) |
| 22:05:15 | <sm> | cool maerwald, are you needing `window.addEventListener('DOMContentLoaded', (event) => { JSSTATEMENTS; });` ? |
| 22:05:36 | tomsmeding | always does "load", not "DOMContentLoaded", never seen that O.o |
| 22:05:49 | × | Codaraxis__ quits (~Codaraxis@user/codaraxis) (Remote host closed the connection) |
| 22:06:08 | <maerwald> | sm: I dunno, please fix everything. Have to take care of my blood pressure now after doing js for half an hour. |
| 22:06:22 | <sm> | darn. I switched to plain no-query JS only yesterday |
| 22:06:23 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.4) |
| 22:06:38 | <sm> | thx for the tip tomsmeding |
| 22:07:00 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 272 seconds) |
| 22:07:29 | <maerwald> | arjun is good with css, hope he shows up |
| 22:07:35 | <sm> | ah, The load event is fired when the whole page has loaded, including all dependent resources such as stylesheets and images. This is in contrast to DOMContentLoaded, which is fired as soon as the page DOM has been loaded, without waiting for resources to finish loading. |
| 22:07:44 | <tomsmeding> | TIL |
| 22:08:24 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 22:12:04 | × | mikoto-chan quits (~mikoto-ch@213.177.151.239) (Ping timeout: 272 seconds) |
| 22:13:55 | <tomsmeding> | maerwald: does 'make bundle.js' work for you? For me it can't find the '@codemirror/basic-setup' module |
| 22:14:31 | <maerwald> | tomsmeding: make dependencies |
| 22:14:36 | × | cosimone quits (~user@93-44-187-176.ip98.fastwebnet.it) (Remote host closed the connection) |
| 22:15:00 | <tomsmeding> | what npm dependency is supposed to bring in codemirror? |
| 22:15:36 | <maerwald> | I probably forgot --save or so |
| 22:16:36 | <maerwald> | hm, works here |
| 22:16:40 | → | Chargen joins (~chargen@D964062A.static.ziggozakelijk.nl) |
| 22:16:40 | <maerwald> | :D |
| 22:17:06 | <tomsmeding> | was the -g install essential? I changed it to a local install before trying |
| 22:17:25 | <maerwald> | only for browserify |
| 22:17:33 | <maerwald> | because we execute it in the other rule |
| 22:17:42 | <tomsmeding> | `npm exec browserify` |
| 22:17:42 | <maerwald> | otherwise try npx |
| 22:19:11 | × | michalz quits (~michalz@185.246.204.105) (Remote host closed the connection) |
| 22:21:34 | <geekosaur> | and people say cabal is hard *eyeroll* |
| 22:22:13 | <tomsmeding> | maerwald: `grep codemirror -r .` only has hits in play-index.{j,t}s and some random typesMap.json file |
| 22:22:16 | <tomsmeding> | is that correct? |
| 22:22:33 | <tomsmeding> | geekosaur: what people are used to is easy |
| 22:23:03 | <hpc> | i mean, i have seen people flub "yum install" - maybe packaging is just fundamentally incompatible with developer brains |
| 22:24:23 | <tomsmeding> | maerwald: ah, `npm i --save @codemirror/basic-setup @codemirror/lang-javascript` |
| 22:24:32 | <maerwald> | tomsmeding: I updated PR |
| 22:24:47 | <tomsmeding> | wtf is npx help |
| 22:26:38 | <pnotequalnp> | npx is just a shortcut for running executables in node_modules (or just from the npm repo itself, directly) |
| 22:30:37 | <tomsmeding> | maerwald: https://paste.tomsmeding.com/7zjFFrY3 |
| 22:31:09 | <maerwald> | odd |
| 22:31:22 | → | merijn joins (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 22:31:26 | <maerwald> | my ts is 4.5.5 |
| 22:32:36 | <crazazy> | tbh I've been trying to just get my js deps from CDN's and skip all the npm stuff |
| 22:33:00 | <tomsmeding> | crazazy: there's some development tools as well in here |
| 22:33:15 | <tomsmeding> | which I'm not too happy about tbqh |
| 22:33:22 | <crazazy> | i mean yea but also jsdelivr can do the bundling and minifying of libraries for me |
| 22:34:07 | <crazazy> | and SRI hashes as well if you need them |
| 22:34:12 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 22:34:25 | <tomsmeding> | maerwald: also with tsc 4.5.5 same output |
| 22:36:14 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 22:38:02 | <tomsmeding> | maerwald: `npx tsc --lib dom,es2015 play-index.ts` doesn't throw errors anymore? |
| 22:38:55 | <tomsmeding> | it works 🎉 |
| 22:41:12 | <tomsmeding> | but only on browsers that support ES6 classes and stuff :p |
| 22:42:24 | × | qwedfg_ quits (~qwedfg@user/qwedfg) (Read error: Connection reset by peer) |
| 22:43:18 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 22:43:30 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 22:45:41 | <maerwald> | there's probably a way to set up a proper project |
| 22:46:44 | <maerwald> | and then have it deploy to kubernetes |
| 22:46:58 | <tomsmeding> | ._. |
| 22:47:01 | <maerwald> | xD |
| 22:48:41 | → | qwedfg joins (~qwedfg@user/qwedfg) |
| 22:48:57 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 22:51:17 | → | mcgroin joins (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 22:52:19 | → | nicbk joins (~nicbk@user/nicbk) |
| 22:52:23 | <maerwald> | this is faster than a local ghci |
| 22:52:30 | <maerwald> | for switching ghc versions |
| 22:52:50 | <tomsmeding> | it might even be, you know, useful |
| 22:53:16 | <tomsmeding> | future stretch goal: open your playground module in ghci |
| 22:56:30 | <maerwald> | formatting support would also be cool (and rather easy) |
| 22:57:57 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 22:59:51 | × | alp quits (~alp@user/alp) (Ping timeout: 260 seconds) |
| 23:00:56 | <tomsmeding> | maerwald: thanks a lot for the help! |
| 23:01:10 | <tomsmeding> | todo items have been merged into TODO.txt, and the code has been merged into 'play' |
| 23:01:52 | <tomsmeding> | and now I'm off to bed |
| 23:02:07 | <maerwald> | great progress |
| 23:02:47 | × | acidjnk quits (~acidjnk@p200300d0c7049f68816ae2824fdd5aac.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:03:54 | × | merijn quits (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 23:04:31 | × | jgeerds quits (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 256 seconds) |
| 23:09:37 | × | lainon quits (~lainon@2601:7c0:c500:4d20::2ff6) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 23:10:00 | → | Guest8730 joins (~lainon@2601:7c0:c500:4d20::2ff6) |
| 23:14:46 | × | mcgroin quits (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 272 seconds) |
| 23:19:17 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 23:20:26 | → | alp joins (~alp@user/alp) |
| 23:20:35 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 23:20:36 | × | zeenk quits (~zeenk@2a02:2f04:a110:7d00:2011:cfed:bad7:3c94) (Quit: Konversation terminated!) |
| 23:20:38 | × | xkuru quits (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 23:26:44 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 23:27:00 | × | mon_aaraj quits (~MonAaraj@user/mon-aaraj/x-4416475) (Ping timeout: 240 seconds) |
| 23:29:26 | → | mon_aaraj joins (~MonAaraj@user/mon-aaraj/x-4416475) |
| 23:29:29 | × | vicfred quits (~vicfred@user/vicfred) (Quit: Leaving) |
| 23:30:18 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 252 seconds) |
| 23:31:10 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 23:32:08 | <Sqaure> | tomsmeding, thanks for your paste. Definitely something along those lines. But i would need type safety, if at all possible. |
| 23:32:18 | <Sqaure> | (had to leave here for a bit) |
| 23:33:09 | <Sqaure> | type safety / type agnostic |
| 23:36:10 | <Sqaure> | im surprised if there wasnt some package on hackage doing this. I thought tracable computations was a common thing. |
| 23:36:54 | <geekosaur> | generally you want to add tracing to an existing language |
| 23:39:43 | <Sqaure> | geekosaur, oh ok. Do you know any example of that? |
| 23:39:59 | × | waleee quits (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 23:40:37 | → | waleee joins (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 23:43:40 | × | finsternis quits (~X@23.226.237.192) (Read error: Connection reset by peer) |
| 23:44:28 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 23:45:16 | → | Pickchea joins (~private@user/pickchea) |
| 23:47:09 | → | mvk joins (~mvk@2607:fea8:5cc3:7e00::7980) |
| 23:49:52 | <geekosaur> | ghc-vis comes to mind, but it only work sin ghci |
| 23:50:19 | <geekosaur> | which is the problem with trying to do it as a library: invariably it has to be wired into whatever language you're trying to trace |
| 23:51:05 | <geekosaur> | and has to know about its type system (and yes, dynamic languages have type systems, they just work differently), its evaluation model, etc. |
| 23:52:08 | × | machinedgod quits (~machinedg@24.105.81.50) (Ping timeout: 272 seconds) |
| 23:53:16 | → | ober joins (~ober@c-73-68-74-41.hsd1.ma.comcast.net) |
| 23:56:56 | <ober> | is the stream api in vector supposed to be considered internal? |
All times are in UTC on 2022-03-25.