Logs on 2021-03-01 (freenode/#haskell)
| 00:00:01 | × | zopsi quits (~zopsi@irc.dir.ac) (Quit: Oops) |
| 00:00:09 | × | atk quits (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 00:00:13 | <dolio> | Because an implementation that locally uses exceptions is different from one that doesn't, necessarily. |
| 00:00:31 | → | atk joins (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 00:00:36 | → | zopsi joins (~zopsi@irc.dir.ac) |
| 00:00:39 | <absence> | c_wraith: it's a more elegant way of expressing it, but i was thinking more along the lines of the vector getting "mapped" to its reverse rather than actually get reversed (although maybe it's a moot point due to fusion). there is some stuff called "backwards", but it seems to be for effects |
| 00:00:43 | <rednaZ[m]> | "Is there any problem with saying that `f : (a -> b throws e) -> b throws e` cannot catch anything and `f : (a -> b throws {Exn1 | r}) -> b throws r necessarily catches any Exn1`?" |
| 00:01:08 | <nshepperd> | oh, I've never heard of checked exceptions being used to assert that something doesn't catch |
| 00:01:43 | × | nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) () |
| 00:03:44 | <edwardk> | TFW you realize the thing you have been trying to do for 2 days is broken in ghc and its not your fault |
| 00:04:10 | × | pacak quits (~pacak@bb116-14-220-91.singnet.com.sg) (Read error: Connection reset by peer) |
| 00:04:30 | → | pacak joins (~pacak@bb116-14-220-91.singnet.com.sg) |
| 00:04:39 | <edwardk> | dolio: clearly the solution is some kind of region parameter trick to tag things it wants to produce and catch |
| 00:05:07 | <dolio> | The solution is static scoping. |
| 00:05:09 | <nshepperd> | rednaZ[m]: that seems way too restrictive |
| 00:05:11 | <edwardk> | or that |
| 00:05:36 | <dolio> | This is also a problem with algebraic effects, and people came up with similar solutions. |
| 00:05:46 | <dolio> | But mtl doesn't have this problem, because it's implemented with type classes. |
| 00:05:51 | <dolio> | Which are static. |
| 00:06:24 | → | Digit joins (~user@fsf/member/digit) |
| 00:06:59 | <dolio> | Or, I suppose, type classes and monad transformers are lists, not sets. |
| 00:07:14 | <nshepperd> | mtl is a cool system that doesn't afraid of anything |
| 00:07:31 | ← | remby parts (4c437c1b@bras-base-london1483w-grc-21-76-67-124-27.dsl.bell.ca) () |
| 00:07:32 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 00:08:12 | <dolio> | I.E. mtl clases + monad transformers are an implementation of Liejen-style scoped labels being desugared to tuples. |
| 00:08:23 | <Axman6> | edwardk: you're like the only person who that happens to, the rest of us just blame GHC and then find out its our fault |
| 00:10:21 | <edwardk> | Axman6: to be fair, i blamed myself for 2 days |
| 00:10:31 | <Digit> | hi haskellers. :) no question really, i just wanted to pass encouraging enthused comment: i know there are more established text editors around, but, mmm, that first line's got to be at least a little enticing: "First, note that Yi has no special purpose configuration language. Yi provides building blocks, that the user can combine to create their own editor. This means that the configuration file is a top-level Haskell script , |
| 00:10:31 | <Digit> | defining a main function." https://yi-editor.github.io/posts/2014-09-02-configuration/ (as yi documentation and blurbs menion elsewhere... text-editor, extensible/configured in haskell.) :) |
| 00:10:53 | <shapr> | I think someone implemented dropWhileEd and that's the problem |
| 00:11:30 | <dolio> | rednaZ[m]: I'm not sure what about my preceding explanation didn't answer that. |
| 00:11:33 | <edwardk> | shapr: a simple filter checking current username for ekmett like the hedgehog folks put in for hibberd? |
| 00:11:53 | → | dsrt^ joins (dsrt@ip98-184-89-2.mc.at.cox.net) |
| 00:11:59 | <shapr> | I'd just look for the kmett substring in the login name |
| 00:12:00 | <rednaZ[m]> | dolio: You said that this would lead to the anti-modular case. |
| 00:12:01 | <shapr> | but yeah, that |
| 00:12:45 | <edwardk> | shapr: oh man, cursing my whole family |
| 00:13:00 | <rednaZ[m]> | dolio: And then you seemed to say the anti-modular case can be described as "there's no way to say, "don't handle any exceptions from `g`"". |
| 00:13:29 | <rednaZ[m]> | Do you understand what I mean? |
| 00:14:15 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 00:14:20 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:715d:5350:d8ba:9302) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:14:21 | <dolio> | Well, I don't know what you're asking about. There are various problems with various systems, and there's one way that I think is good, but isn't implemented usually. |
| 00:14:24 | <edwardk> | shapr: found it. https://github.com/hedgehogqa/haskell-hedgehog/blob/06eb4747052a6ef109ab65688fc4d29a39a71c4c/hedgehog/src/Hedgehog/Internal/Config.hs#L100 |
| 00:15:25 | <dolio> | So, like, if saying `{Exn1 | r}` lets you catch Exn1 from `r`, then I don't think that's the good solution. |
| 00:15:57 | <dolio> | If it means that `r` is disjoint from `Exn1`, that means implementation details that shouldn't matter leak. |
| 00:16:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:16:31 | <dolio> | Because anything that references `f` has to talk about being disjoint from `Exn1`, even if `f` "owns" Exn1. |
| 00:18:09 | → | mrioqueiroz joins (~mrioqueir@186.251.19.98) |
| 00:19:10 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:151c:7038:ec74:9b6a) |
| 00:19:38 | ← | jemurray parts (~jemurray@shell.jasonmurray.org) () |
| 00:20:21 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 00:21:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 00:22:18 | <shapr> | edwardk: I don't know this story, but I want to |
| 00:22:40 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:23:34 | <sm[m]> | symlinkghc - Symbolically link the ghc tools provided by the global stack resolver into PATH |
| 00:23:34 | <sm[m]> | https://gist.github.com/simonmichael/42fa4828490ff71355b8c9029f036e4d |
| 00:23:42 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-cjskmdmxlxsbgxmo) |
| 00:24:47 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 00:27:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 00:30:05 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 00:30:29 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 00:30:49 | × | gitgoood quits (~gitgood@80-44-13-166.dynamic.dsl.as9105.com) (Ping timeout: 260 seconds) |
| 00:34:10 | → | gitgood joins (~gitgood@80-44-13-206.dynamic.dsl.as9105.com) |
| 00:34:45 | → | todda7 joins (~torstein@athedsl-258913.home.otenet.gr) |
| 00:35:03 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 00:35:46 | × | alx741 quits (~alx741@181.196.68.52) (Quit: alx741) |
| 00:36:04 | × | m0rphism1 quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds) |
| 00:37:35 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 00:38:09 | → | atmunr joins (~moemoemoe@190.151.160.175) |
| 00:39:35 | × | mrioqueiroz quits (~mrioqueir@186.251.19.98) (Ping timeout: 240 seconds) |
| 00:39:45 | → | bennofs__ joins (~quassel@dslb-094-222-091-028.094.222.pools.vodafone-ip.de) |
| 00:40:48 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (Quit: Leaving) |
| 00:41:01 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 00:41:13 | × | atmunr quits (~moemoemoe@190.151.160.175) (Quit: WeeChat 2.9) |
| 00:41:22 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:43:24 | × | bennofs_ quits (~quassel@dslb-188-106-243-069.188.106.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 00:44:36 | → | o1lo01ol_ joins (~o1lo01ol1@89.214.221.60) |
| 00:44:36 | × | o1lo01ol1o quits (~o1lo01ol1@89.214.221.60) (Remote host closed the connection) |
| 00:47:11 | → | moemoemoe joins (~moemoemoe@190.151.160.175) |
| 00:48:37 | ← | moemoemoe parts (~moemoemoe@190.151.160.175) ("WeeChat 2.9") |
| 00:48:43 | × | soft-warm quits (44695313@ip68-105-83-19.sd.sd.cox.net) (Ping timeout: 240 seconds) |
| 00:49:45 | × | o1lo01ol_ quits (~o1lo01ol1@89.214.221.60) (Ping timeout: 264 seconds) |
| 00:50:36 | ← | zq parts (~zq@xorshift.org) () |
| 00:51:04 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:151c:7038:ec74:9b6a) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 00:51:46 | <jamestmartin> | why is `(->)` syntactically valid but not `(%1->)`? |
| 00:52:34 | <edwardk> | you can use FUN 'One |
| 00:52:35 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 00:52:58 | <edwardk> | but in general you can't partially apply (->) at all the kinds it can be used at, so this doesn't surprise me |
| 00:54:11 | <edwardk> | you also generally can't section types. e.g. i'd like to be able to write instance Foo (e ->) rather than instance Foo ((->) e) but i can't do that either |
| 00:54:44 | <edwardk> | and morally what you wrote there jamestmartin looks a lot like a weird ternary section |
| 00:56:19 | × | Foritus quits (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) (Ping timeout: 256 seconds) |
| 01:00:59 | <jamestmartin> | mostly I'm just trying to figure out what the LinearTypes syntax for stuff is. where is it documented that FUN is exported by `Data.Kind`? (and for that matter, what exports 'One) |
| 01:03:38 | → | pfurla joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 01:03:59 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:06:06 | → | Foritus joins (~buggery@cpc91316-watf11-2-0-cust68.15-2.cable.virginm.net) |
| 01:06:40 | → | psutcliffe joins (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) |
| 01:07:09 | × | usr25_tm quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 01:08:22 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Remote host closed the connection) |
| 01:08:23 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 01:08:31 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 276 seconds) |
| 01:09:49 | × | WarzoneCommand quits (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 272 seconds) |
| 01:10:21 | → | cheater joins (~user@unaffiliated/cheater) |
| 01:10:49 | <sm[m]> | jeez, scripting with Haskell is still too hard |
| 01:12:15 | <sm[m]> | I wanted a week calendar in a certain format, I thought I'll just do a quick Haskell script. 1.5h of fiddling with setup later.. |
| 01:13:57 | <jamestmartin> | according to the GHC user manual, Multiplicity is exported by `GHC.Types`, which is provided by `ghc-prim`, but it's not documented as an export of `ghc-prim` on Hackage, and it seems unlikely that `FUN` would be exported as part of base but not `Multiplicity`. is it exported somewhere else without depending directly on `ghc-prim`? I can't search for it on hackage because hackage doesn't document the core linear types stuff afaict, the GHC user manual |
| 01:13:57 | <jamestmartin> | didn't even mention FUN existed at all, and neither the proposal nor the wiki mention what exports what (again afaict) |
| 01:16:00 | × | slack1256 quits (~slack1256@45.4.2.52) (Remote host closed the connection) |
| 01:17:34 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 01:20:48 | × | carlomagno quits (~cararell@148.87.23.10) (Remote host closed the connection) |
| 01:21:00 | → | WarzoneCommand joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 01:22:46 | → | carlomagno joins (~cararell@148.87.23.10) |
| 01:26:20 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 01:30:13 | × | gentauro quits (~gentauro@unaffiliated/gentauro) (Read error: Connection reset by peer) |
| 01:31:04 | → | gentauro joins (~gentauro@unaffiliated/gentauro) |
| 01:34:39 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 245 seconds) |
| 01:35:04 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection) |
| 01:35:24 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 01:36:15 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 240 seconds) |
| 01:39:39 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 01:40:32 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 01:40:54 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 01:42:05 | <edwardk> | jamestmartin: i grab FUN from GHC.Prim everything else from GHC.Types -- didn't even know Data.Kind exported this stuff |
| 01:47:52 | <jamestmartin> | neither did I (and as far as I can tell, it's just FUN?), but thanks for telling me how to do it because I didn't even know FUN was actually implemented (I figured it was another proposed-but-unused syntax) |
| 01:48:15 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 240 seconds) |
| 01:50:37 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 01:57:33 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 264 seconds) |
| 02:00:12 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 02:01:16 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) |
| 02:02:52 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) |
| 02:03:15 | × | svet quits (~svet@90.200.185.163) (Ping timeout: 240 seconds) |
| 02:05:20 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 02:05:56 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection) |
| 02:06:15 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 02:08:31 | → | Vanotek joins (~Vanotek@90.200.185.163) |
| 02:09:29 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 265 seconds) |
| 02:10:51 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection) |
| 02:11:57 | × | darjeeling_ quits (~darjeelin@122.245.218.150) (Ping timeout: 264 seconds) |
| 02:14:03 | → | darjeeling_ joins (~darjeelin@122.245.218.150) |
| 02:14:04 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 02:14:19 | → | Tario joins (~Tario@201.192.165.173) |
| 02:16:02 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 02:16:49 | <edwardk> | if you dig around in linear-base you'll find a couple mentions of it |
| 02:17:05 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:17:38 | → | z0k joins (~user@115-186-141-91.nayatel.pk) |
| 02:19:02 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Read error: Connection reset by peer) |
| 02:19:02 | → | Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 02:20:03 | × | z0k quits (~user@115-186-141-91.nayatel.pk) (Client Quit) |
| 02:22:49 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Ping timeout: 260 seconds) |
| 02:24:43 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 02:27:56 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:30:19 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 02:30:35 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 02:34:56 | → | Narinas joins (~Narinas@187.178.93.112) |
| 02:35:25 | × | puke quits (~vroom@217.138.252.56) (Quit: puke) |
| 02:37:59 | × | gitgood quits (~gitgood@80-44-13-206.dynamic.dsl.as9105.com) (Ping timeout: 245 seconds) |
| 02:40:19 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 260 seconds) |
| 02:40:32 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 02:40:54 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 02:41:56 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 02:42:52 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 02:44:01 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 02:45:35 | × | redmp quits (~redmp@172.58.38.156) (Ping timeout: 240 seconds) |
| 02:45:36 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit) |
| 02:46:22 | × | conal quits (~conal@192.145.118.119) (Quit: Computer has gone to sleep.) |
| 02:47:05 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 02:47:26 | × | melkor quits (~melkor@2a02:2b88:2:1::5b34:1) (Ping timeout: 264 seconds) |
| 02:47:44 | → | melkor joins (~melkor@31.31.76.126) |
| 02:48:23 | → | slack1256 joins (~slack1256@45.4.2.52) |
| 02:49:17 | × | saitamaplus quits (uid272474@gateway/web/irccloud.com/x-tqrynpyipoxrnkjn) (Quit: Connection closed for inactivity) |
| 02:49:39 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 02:50:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 02:52:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:52:22 | × | dansho quits (~dansho@ec2-52-69-229-22.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving) |
| 02:52:45 | → | conal joins (~conal@66.115.157.106) |
| 02:52:46 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:54:29 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-nrcpcvymghsotxnv) (Quit: Connection closed for inactivity) |
| 02:54:29 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 02:55:23 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Client Quit) |
| 02:56:15 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 240 seconds) |
| 02:56:56 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 02:59:27 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 03:01:49 | × | xff0x quits (~xff0x@2001:1a81:5349:9200:2806:fad1:e222:a1c8) (Ping timeout: 272 seconds) |
| 03:02:14 | × | slack1256 quits (~slack1256@45.4.2.52) (Remote host closed the connection) |
| 03:03:08 | → | xff0x joins (~xff0x@2001:1a81:5383:2100:7be7:dddc:2608:44b7) |
| 03:09:35 | × | __minoru__shirae quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds) |
| 03:10:08 | × | tinwood quits (~tinwood@general.default.akavanagh.uk0.bigv.io) (Remote host closed the connection) |
| 03:10:12 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 03:10:37 | × | urodna quits (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 03:13:10 | → | tinwood joins (~tinwood@general.default.akavanagh.uk0.bigv.io) |
| 03:14:25 | → | rekahsoft joins (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) |
| 03:16:07 | → | tinhatcat joins (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) |
| 03:16:50 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 03:17:21 | → | FinnElija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 03:17:21 | finn_elija | is now known as Guest77061 |
| 03:17:21 | FinnElija | is now known as finn_elija |
| 03:17:56 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 03:20:45 | × | Guest77061 quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 03:21:15 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 03:21:30 | × | tinhatcat quits (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) (Quit: Leaving) |
| 03:21:40 | → | tinhatcat joins (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) |
| 03:22:27 | × | davros1 quits (~davros@host86-183-29-83.range86-183.btcentralplus.com) (Quit: Leaving) |
| 03:27:02 | → | raym joins (~ray@45.64.220.3) |
| 03:27:56 | × | Guest12880 quits (~mrd@45.61.147.211) (Ping timeout: 240 seconds) |
| 03:29:09 | × | tinhatcat quits (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) (Quit: Leaving) |
| 03:29:38 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 03:30:15 | → | tinhatcat joins (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) |
| 03:32:49 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 03:34:15 | × | kupi quits (uid212005@gateway/web/irccloud.com/x-qxtkrwfdkyjvofwt) (Quit: Connection closed for inactivity) |
| 03:34:41 | × | tinhatcat quits (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) (Client Quit) |
| 03:40:31 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 03:40:55 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 03:44:57 | × | elliott__ quits (~elliott@pool-108-51-101-42.washdc.fios.verizon.net) (Ping timeout: 264 seconds) |
| 03:45:54 | × | theDon quits (~td@muedsl-82-207-238-016.citykom.de) (Ping timeout: 245 seconds) |
| 03:46:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:47:19 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:47:20 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 03:47:36 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-ppogqhnucstulgdr) (Quit: Connection closed for inactivity) |
| 03:48:00 | → | theDon joins (~td@muedsl-82-207-238-184.citykom.de) |
| 03:49:57 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 03:50:34 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:50:40 | → | tinhatcat_ joins (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) |
| 03:51:18 | × | tinhatcat_ quits (~tsranso@2600:1700:ae40:21c8:3994:a0e4:34e1:fd53) (Client Quit) |
| 03:51:27 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 03:52:00 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:53:26 | → | tromp_ joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:53:26 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 03:54:18 | × | tromp_ quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 03:55:04 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:56:54 | × | rekahsoft quits (~rekahsoft@cpe0008a20f982f-cm64777d666260.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 03:59:14 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 04:01:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 04:04:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:05:57 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 04:08:06 | → | __minoru__shirae joins (~shiraeesh@5.101.59.4) |
| 04:10:18 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 04:10:29 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 04:10:52 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Remote host closed the connection) |
| 04:11:26 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 04:12:16 | × | darjeeling_ quits (~darjeelin@122.245.218.150) (Ping timeout: 240 seconds) |
| 04:12:40 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 04:13:55 | → | plutoniix joins (~q@184.82.206.28) |
| 04:14:36 | → | redmp joins (~redmp@172.58.38.156) |
| 04:14:44 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 04:20:36 | × | DataComputist quits (~lumeng@50.43.26.251) (Ping timeout: 240 seconds) |
| 04:21:16 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 04:22:05 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 04:24:33 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (Quit: Leaving) |
| 04:25:27 | → | lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:24a3:780d:1b89:fbe4) |
| 04:33:08 | → | kit joins (~kit@103.231.91.232) |
| 04:33:45 | × | kit quits (~kit@103.231.91.232) (Client Quit) |
| 04:38:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 04:41:50 | × | poscat quits (~poscat@114.243.61.85) (Remote host closed the connection) |
| 04:42:17 | → | poscat joins (~poscat@114.243.61.85) |
| 04:42:19 | × | vicfred quits (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 04:53:37 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 04:56:10 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Read error: Connection reset by peer) |
| 04:56:38 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 04:59:12 | <redmp> | What's the shortest way to do a monadic action for each of the cross of two lists? I came up with `sequence $ liftM2 (\a b -> print (a, b)) "abcde" [1..6]` |
| 05:00:54 | <glguy> | for_ "abcde" \x -> for_ [1..6] \y -> print (x,y) |
| 05:01:17 | <glguy> | I'd probably go with that in some real code with some newlines |
| 05:01:21 | <redmp> | glguy: yeah, that's more what I was going for.. was trying to make it out of mapM_ and kept failing |
| 05:01:21 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 246 seconds) |
| 05:02:00 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Remote host closed the connection) |
| 05:02:29 | <redmp> | the one i wrote felt non-obvious .. this is nicer; thanks |
| 05:06:42 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 05:06:43 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 05:13:41 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 05:17:28 | × | Guest68145 quits (~SatanX@185.204.1.185) (Remote host closed the connection) |
| 05:18:38 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 05:20:47 | <monochrom> | @type for_ "abcde" \x -> for_ [1..6] \y -> print (x,y) |
| 05:20:48 | <lambdabot> | error: |
| 05:20:48 | <lambdabot> | Unexpected lambda expression in function application: |
| 05:20:48 | <lambdabot> | \ x -> for_ [1 .. 6] \ y -> print (x, y) |
| 05:21:05 | <monochrom> | @type for_ "abcde" (\x -> for_ [1..6] (\y -> print (x,y))) |
| 05:21:06 | <lambdabot> | IO () |
| 05:23:31 | → | jack joins (9a110de1@154.17.13.225) |
| 05:23:33 | → | titusjgr joins (7bc2de80@123-194-222-128.dynamic.kbronet.com.tw) |
| 05:23:56 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 05:24:00 | → | mrioqueiroz joins (~mrioqueir@177.74.248.219) |
| 05:25:53 | × | carlomagno quits (~cararell@148.87.23.10) (Quit: Leaving.) |
| 05:25:59 | × | titusjgr quits (7bc2de80@123-194-222-128.dynamic.kbronet.com.tw) (Client Quit) |
| 05:26:15 | × | __minoru__shirae quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds) |
| 05:26:28 | jack | is now known as InsideBreeze |
| 05:30:57 | <jamestmartin> | for a variable `x` of an uninhabited type, `case x of {}` does not consume `x`, but `(\case{}) x` does. is that the intended behavior? |
| 05:33:04 | → | __minoru__shirae joins (~shiraeesh@5.101.59.4) |
| 05:33:08 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 05:35:00 | <pavonia> | By consume you mean evaluate? |
| 05:35:21 | × | Tops21 quits (~Tobias@dyndsl-095-033-017-115.ewe-ip-backbone.de) (Ping timeout: 264 seconds) |
| 05:35:51 | × | Narinas quits (~Narinas@187.178.93.112) (Remote host closed the connection) |
| 05:36:14 | <jamestmartin> | I mean consume in the linear sense, as in `consume :: Void %1-> a` `consume x = _` typechecks |
| 05:37:04 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 05:37:09 | <pavonia> | Hhm, I don't know wht that syntax means |
| 05:37:58 | <pavonia> | But `(...) x` is different in the way it is a function application |
| 05:41:07 | → | gimps joins (~gimps@178.239.168.171) |
| 05:43:16 | × | __minoru__shirae quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds) |
| 05:44:09 | × | InsideBreeze quits (9a110de1@154.17.13.225) (Quit: Connection closed) |
| 05:44:23 | → | forgottenone joins (~forgotten@176.42.27.254) |
| 05:45:15 | → | InsideBreeze joins (9a110de1@154.17.13.225) |
| 05:45:30 | × | InsideBreeze quits (9a110de1@154.17.13.225) (Client Quit) |
| 05:45:51 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 05:46:23 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer) |
| 05:46:53 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 05:47:30 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Remote host closed the connection) |
| 05:47:37 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 05:48:26 | → | Kortantic joins (4c1b6755@c-76-27-103-85.hsd1.ut.comcast.net) |
| 05:49:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:49:45 | × | Kortantic quits (4c1b6755@c-76-27-103-85.hsd1.ut.comcast.net) (Client Quit) |
| 05:51:00 | → | aerona joins (~aerona@2600:6c54:4600:f300:a563:178a:b1b1:10ea) |
| 05:52:31 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 05:53:54 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 05:53:57 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 05:54:29 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:55:33 | × | conal quits (~conal@66.115.157.106) (Quit: Computer has gone to sleep.) |
| 05:55:50 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 05:56:23 | → | conal joins (~conal@66.115.157.106) |
| 05:57:48 | × | conal quits (~conal@66.115.157.106) (Client Quit) |
| 05:58:40 | → | shad0w_ joins (a0ca2456@160.202.36.86) |
| 05:58:44 | → | conal joins (~conal@66.115.157.106) |
| 05:58:48 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 05:58:49 | × | conal quits (~conal@66.115.157.106) (Client Quit) |
| 05:59:13 | <shad0w_> | can i cross compile for arm64/aarch64 from my windows/linux machines ? |
| 06:00:15 | → | conal joins (~conal@192.145.118.113) |
| 06:01:00 | × | shad0w_ quits (a0ca2456@160.202.36.86) (Client Quit) |
| 06:02:03 | → | shad0w_ joins (a0ca2456@160.202.36.86) |
| 06:09:53 | × | shad0w_ quits (a0ca2456@160.202.36.86) (Quit: Connection closed) |
| 06:10:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 06:11:05 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:15:11 | → | myShoggoth joins (~myShoggot@75.164.81.55) |
| 06:18:43 | × | rembo10_ quits (~rembo10@wally.codeshy.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 06:19:16 | → | cads joins (~cads@ip-64-72-99-232.lasvegas.net) |
| 06:22:17 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:23:47 | → | rembo10 joins (~rembo10@wally.codeshy.com) |
| 06:24:12 | → | knupfer joins (~Thunderbi@200116b824fa7200e4e032dd4c9fa8cc.dip.versatel-1u1.de) |
| 06:25:15 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 06:25:29 | × | myShoggoth quits (~myShoggot@75.164.81.55) (Ping timeout: 245 seconds) |
| 06:29:00 | → | aggin joins (~ecm@103.88.87.73) |
| 06:30:44 | → | toorevitimirp joins (~tooreviti@117.182.182.60) |
| 06:32:27 | × | lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:24a3:780d:1b89:fbe4) (Quit: Bye) |
| 06:32:27 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 06:33:33 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 264 seconds) |
| 06:33:46 | × | aggin quits (~ecm@103.88.87.73) (Client Quit) |
| 06:34:12 | → | aggin joins (~ecm@103.88.87.73) |
| 06:35:31 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 06:38:47 | × | aggin quits (~ecm@103.88.87.73) (Client Quit) |
| 06:39:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:41:07 | → | aggin joins (~ecm@103.88.87.73) |
| 06:42:07 | × | aggin quits (~ecm@103.88.87.73) (Client Quit) |
| 06:42:15 | × | mrioqueiroz quits (~mrioqueir@177.74.248.219) (Ping timeout: 240 seconds) |
| 06:42:22 | → | aggin joins (~ecm@103.88.87.73) |
| 06:43:24 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 245 seconds) |
| 06:46:47 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:48:04 | → | vchlup_ joins (~vchlup@nat.brnet.cz) |
| 06:52:28 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 06:53:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:54:02 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 06:57:33 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 07:00:10 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 276 seconds) |
| 07:00:54 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Read error: Connection reset by peer) |
| 07:02:07 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 07:08:02 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 07:10:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 07:11:54 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 07:13:55 | → | _ht joins (~quassel@82.169.194.8) |
| 07:16:43 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 245 seconds) |
| 07:17:15 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 07:20:34 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 07:20:35 | → | danza joins (~francesco@151.53.76.37) |
| 07:24:36 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 07:26:11 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 07:29:38 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 07:29:50 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 07:32:05 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 07:32:17 | × | jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 07:32:34 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection) |
| 07:32:42 | → | jpds_ joins (~jpds@gateway/tor-sasl/jpds) |
| 07:32:44 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 07:33:50 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 07:34:19 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 260 seconds) |
| 07:35:18 | × | MKirisame quits (~MarisaKir@c-98-237-240-11.hsd1.wa.comcast.net) (Remote host closed the connection) |
| 07:36:04 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 07:37:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 07:39:29 | → | bitmagie joins (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) |
| 07:42:45 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 07:44:51 | → | Aquazi joins (uid312403@gateway/web/irccloud.com/x-fhcnshqczetlnffl) |
| 07:47:49 | → | dhouthoo joins (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) |
| 07:48:10 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 07:48:11 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 07:48:27 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 07:51:00 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:51:28 | pjb | is now known as pjb|mars |
| 07:56:42 | pjb|mars | is now known as pjb |
| 08:02:00 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 08:04:04 | × | sm2n quits (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 08:04:15 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Remote host closed the connection) |
| 08:04:54 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 08:07:01 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.239.189) |
| 08:07:52 | × | bitmagie quits (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) (Quit: bitmagie) |
| 08:08:37 | × | errst quits (~errst@unaffiliated/tirej) (Quit: leaving) |
| 08:09:37 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 272 seconds) |
| 08:11:40 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 08:11:57 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.239.189) (Ping timeout: 264 seconds) |
| 08:13:24 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 245 seconds) |
| 08:13:58 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 08:15:49 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 08:16:10 | → | puke joins (~vroom@217.138.252.56) |
| 08:16:14 | → | zaquest joins (~notzaques@5.128.210.178) |
| 08:19:02 | × | aggin quits (~ecm@103.88.87.73) (Quit: WeeChat 3.0.1) |
| 08:19:20 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 08:19:42 | → | kuribas joins (~user@ptr-25vy0ia3p0g52y47swx.18120a2.ip6.access.telenet.be) |
| 08:22:11 | → | m0rphism1 joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 08:23:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 08:35:11 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 08:35:23 | × | Sgeo quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 08:35:58 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 08:36:09 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 08:36:52 | × | gimps quits (~gimps@178.239.168.171) (Remote host closed the connection) |
| 08:37:12 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 08:37:21 | → | supercoven joins (~Supercove@dsl-hkibng31-54fabd-233.dhcp.inet.fi) |
| 08:39:00 | → | michalz joins (~user@185.246.204.59) |
| 08:40:50 | → | Yumasi joins (~guillaume@2a01:e0a:5cb:4430:513f:2e4a:e959:c989) |
| 08:40:51 | <ski> | jamestmartin : i'd guess it's not |
| 08:43:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 08:44:27 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 272 seconds) |
| 08:47:48 | ← | aarvar parts (~foewfoiew@2601:602:a080:fa0:d4c5:1ad7:b189:949e) () |
| 08:48:43 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 08:49:17 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 08:58:56 | → | fendor joins (~fendor@178.165.129.154.wireless.dyn.drei.com) |
| 09:00:08 | × | shutendoji[m] quits (shutendoji@gateway/shell/matrix.org/x-ugeduntrngcqbunt) (Quit: Idle for 30+ days) |
| 09:00:09 | × | bram[m]1 quits (bramvdbnet@gateway/shell/matrix.org/x-smrpthqlcycbdvqg) (Quit: Idle for 30+ days) |
| 09:00:10 | × | CaptainYukinoshi quits (captain-yu@gateway/shell/matrix.org/x-wsmoytiqpsczqgmt) (Quit: Idle for 30+ days) |
| 09:00:38 | × | knupfer quits (~Thunderbi@200116b824fa7200e4e032dd4c9fa8cc.dip.versatel-1u1.de) (Ping timeout: 264 seconds) |
| 09:02:40 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) |
| 09:03:23 | × | ixlun quits (~user@213.205.241.12) (Remote host closed the connection) |
| 09:03:30 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Remote host closed the connection) |
| 09:04:51 | → | Sonderblade joins (~helloman@94.191.136.111.mobile.tre.se) |
| 09:04:59 | × | Sonderblade quits (~helloman@94.191.136.111.mobile.tre.se) (Client Quit) |
| 09:05:06 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 09:06:10 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 09:06:10 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 09:07:01 | → | psutcliffe joins (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) |
| 09:09:17 | → | hendursa1 joins (~weechat@gateway/tor-sasl/hendursaga) |
| 09:10:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 09:11:01 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 268 seconds) |
| 09:11:44 | × | michalz quits (~user@185.246.204.59) (Ping timeout: 260 seconds) |
| 09:12:44 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 09:12:50 | × | aerona quits (~aerona@2600:6c54:4600:f300:a563:178a:b1b1:10ea) (Read error: Connection reset by peer) |
| 09:13:09 | → | Franciman joins (~francesco@host-82-49-79-189.retail.telecomitalia.it) |
| 09:13:09 | → | nha joins (~nha@host109-158-11-34.range109-158.btcentralplus.com) |
| 09:16:25 | <nha> | are there any similar alternatives to the reader monad without having to use monads? I have something similar to a catamorphism but the reduction is sensitive to the depth of terms crossed, so it needs an extra parameter describing this depth. Is there such a thing as a context sensitive functor and algebra? |
| 09:18:09 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 260 seconds) |
| 09:20:03 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:21:03 | <tomsmeding> | nha: taking an additional parameter does not work? |
| 09:21:16 | <tomsmeding> | (note that, incidentally, (e ->) is precisely the Reader monad) |
| 09:21:30 | <merijn> | I like how the "small haskell exe" post on reddit goes through excessive efforts that will likely harm performance, but skips --split-sections and stripping >.> |
| 09:21:43 | <merijn> | Also, dynamic linking to pretend that shrinks actual install size >.> |
| 09:21:47 | → | o1lo01ol1o joins (~o1lo01ol1@31.22.239.189) |
| 09:22:56 | <tomsmeding> | well it might if you install the same application twice ;) |
| 09:23:35 | × | aarvar quits (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) (Ping timeout: 240 seconds) |
| 09:24:19 | <lortabac> | nha: there is ImplicitParams |
| 09:24:49 | <lortabac> | https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/exts/implicit_parameters.html |
| 09:27:40 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 09:27:43 | × | kderme48 quits (4fa758c1@ppp079167088193.access.hol.gr) (Ping timeout: 240 seconds) |
| 09:29:40 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 09:29:58 | → | raichoo joins (~raichoo@213.240.178.58) |
| 09:30:25 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 09:31:33 | → | LKoen joins (~LKoen@252.248.88.92.rev.sfr.net) |
| 09:31:51 | → | bitmagie joins (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) |
| 09:32:03 | × | bitmagie quits (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) (Client Quit) |
| 09:34:55 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 240 seconds) |
| 09:35:15 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 09:38:16 | → | chisui joins (577bc9b7@i577BC9B7.versanet.de) |
| 09:39:54 | → | catt joins (~r@31.127.31.99) |
| 09:40:25 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 09:42:21 | × | catt quits (~r@31.127.31.99) (Remote host closed the connection) |
| 09:47:45 | → | gienah joins (~mwright@gentoo/developer/gienah) |
| 09:49:33 | <nha> | tomsmeding: the parameter has to be threaded the functor and algebra, which is fine but then the two don't match the type of Functor (F a -> F b) and Algebra (F c -> c) since they would be (z -> F a -> F b) and (z -> F c -> c) |
| 09:50:58 | <nha> | tomsmeding: the reader monad imposes an order on the reduction, which I don't strictly need. The context is sensitive to the term depth not preorder/postorder ranking, so monad is overkill. |
| 09:52:03 | × | chisui quits (577bc9b7@i577BC9B7.versanet.de) (Ping timeout: 240 seconds) |
| 09:52:13 | <nha> | lortabac: dynamic binding would be nice but I can't use it since i'm writing in a haskell-like style in a different language which doesn't have dynamic binding. |
| 09:52:48 | <nha> | i'm mostly just curious if there is any variety of functor or algebra similar to what I need |
| 09:54:15 | <lortabac> | nha: Reader is also a functor |
| 09:54:36 | <lortabac> | if monad is overkill you can use its functor/applicative instance |
| 09:55:20 | <ski> | nha : "imposes an order on the reduction" -- in which sense ? |
| 09:56:32 | <ski> | (i guess you want to work in a Kleisli category, or something) |
| 09:57:55 | <ski> | > (do undefined; x <- (2 +); undefined; y <- (3 +); return (x * y)) 1 |
| 09:57:58 | <lambdabot> | 12 |
| 09:58:08 | <ski> | @undo (do undefined; x <- (2 +); undefined; y <- (3 +); return (x * y)) 1 |
| 09:58:08 | <lambdabot> | (undefined >> (2 +) >>= \ x -> undefined >> (3 +) >>= \ y -> return (x * y)) 1 |
| 09:59:36 | <ski> | > (\r -> let _ = undefined; x = (2 +) r; _ = undefined; y = (3 +) r in x * y) 1 -- that amounts to this |
| 09:59:37 | → | mouseghost joins (~draco@87.206.9.185) |
| 09:59:37 | × | mouseghost quits (~draco@87.206.9.185) (Changing host) |
| 09:59:37 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 09:59:37 | <lambdabot> | 12 |
| 10:00:34 | <ski> | (so, the order is present in the source, but doesn't actually impose data-dependencies) |
| 10:00:36 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 10:02:10 | <nha> | ski: that's only because haskell is lazy though isn't it? |
| 10:02:57 | <ski> | non-strict, but yes |
| 10:03:10 | → | ClaudiusMaximus joins (~claude@191.123.199.146.dyn.plus.net) |
| 10:03:10 | × | ClaudiusMaximus quits (~claude@191.123.199.146.dyn.plus.net) (Changing host) |
| 10:03:10 | → | ClaudiusMaximus joins (~claude@unaffiliated/claudiusmaximus) |
| 10:03:38 | <nha> | the language i'm using is strict and i don't want to have to thunk everything |
| 10:03:50 | <ski> | but then using the equivalent to `let' in that language, assuming it's strict, would also have order dependencies in the reduction, no ? |
| 10:03:53 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) |
| 10:04:33 | <nha> | i tried going down the applicative route but couldn't figure out how to type it since the terms are wrapped in fixpoint types |
| 10:04:46 | <nha> | ski: yea fair enough |
| 10:05:14 | <ski> | the language has a static type system ? |
| 10:05:49 | <nha> | yeah the type system is turing complete and basically is just prolog |
| 10:06:33 | <ski> | if you had a custom kind of arrow, say `~>' such that `T ~> U' meant `R -> T -> U', then an algebra of type `F c ~> c' in this Kleisli category would correspond to a function of type `R -> F c -> c' |
| 10:06:43 | <ski> | mhm |
| 10:07:41 | <nha> | ski: i'll look into that a bit, thanks |
| 10:08:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Ping timeout: 240 seconds) |
| 10:08:41 | → | o1lo01ol_ joins (~o1lo01ol1@95.69.78.182) |
| 10:09:28 | → | mayleesia joins (4d0d9efc@dynamic-077-013-158-252.77.13.pool.telefonica.de) |
| 10:09:32 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:09:37 | <ski> | (btw, "the type of Functor (F a -> F b)" sounds weird) |
| 10:10:18 | <nha> | sorry i left out the (a --> b) part |
| 10:10:45 | × | tribly quits (~tribly@unaffiliated/tribly) (Quit: WeeChat 2.9) |
| 10:11:10 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:a7e6:fd5e:5dd8:f140) |
| 10:11:19 | × | o1lo01ol1o quits (~o1lo01ol1@31.22.239.189) (Ping timeout: 245 seconds) |
| 10:12:08 | → | ionv joins (592f6a92@89.47.106.146) |
| 10:13:01 | × | ionv quits (592f6a92@89.47.106.146) (Client Quit) |
| 10:20:31 | → | ashepelev joins (~ashepelev@37.120.211.188) |
| 10:26:23 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-vtsprrmimewrgslj) |
| 10:27:14 | → | son0p joins (~son0p@181.58.39.182) |
| 10:27:30 | <ski> | ok |
| 10:33:46 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-vdnrjtitbesdywow) (Quit: Connection closed for inactivity) |
| 10:39:51 | × | psutcliffe quits (~psutcliff@2a00:801:3f2:4b56:e93e:1663:ff0c:6c42) (K-Lined) |
| 10:50:49 | → | michalz joins (~user@185.246.204.42) |
| 10:50:59 | → | gues65469 joins (username@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 10:53:58 | <ij> | too bad hip doesn't allow making images from delayed repa vectors, I could then have more declarative index computations |
| 10:55:28 | × | APic quits (apic@apic.name) (Ping timeout: 276 seconds) |
| 10:56:07 | × | gues65469 quits (username@gateway/vpn/mullvad/esp32prog/x-46565127) (Remote host closed the connection) |
| 10:56:12 | <ij> | hip's design is really cool, however |
| 10:57:20 | → | esp32_prog joins (username@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 10:58:11 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-ynybzievihtknuvf) |
| 10:58:13 | → | _noblegas joins (uid91066@gateway/web/irccloud.com/x-qtxpmwkzibqndqvb) |
| 10:58:57 | → | chisui joins (577bc9b7@i577BC9B7.versanet.de) |
| 11:01:58 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 276 seconds) |
| 11:05:13 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) |
| 11:07:39 | <CrabMan> | Is there a Haskell's alternative to Python's virtualenv? |
| 11:09:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Ping timeout: 240 seconds) |
| 11:10:16 | <Rembane> | CrabMan: cabal or stack should do approximately that |
| 11:11:13 | <CrabMan> | Rembane: My distro provides cabal 2.2.0.0. It looks like version 3 is out. I am afraid that if I install cabal 3 globally, things will break in my distro. |
| 11:12:13 | <Rembane> | CrabMan: I don't think it will, cabal 3 is backwards compatible, this statement will probably jinx it though. :) |
| 11:12:31 | <Rembane> | CrabMan: There's another tool that can help you with this: https://www.haskell.org/ghcup/ |
| 11:13:05 | → | APic joins (apic@apic.name) |
| 11:16:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:17:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:20:47 | → | kam1 joins (~kam1@5.125.126.175) |
| 11:21:18 | × | redmp quits (~redmp@172.58.38.156) (Ping timeout: 245 seconds) |
| 11:22:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 11:22:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:24:14 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 245 seconds) |
| 11:24:23 | → | quackrabbit joins (8102b464@129-2-180-100.wireless.umd.edu) |
| 11:26:27 | <quackrabbit> | I have a brand new installation from ghcup on an intel mac and im trying to figure out how to install packages. When I do a cabal install (ex: cabal install QuickCheck), modules I've written locally no longer compile complaining that the package "mtl" is locked. |
| 11:26:50 | <quackrabbit> | The only way to resolve this that I've found is completely blow away ~/.ghcup ~/.ghc and ~/.cabal and re-install |
| 11:26:52 | × | forgottenone quits (~forgotten@176.42.27.254) (Quit: Konversation terminated!) |
| 11:27:06 | × | nha quits (~nha@host109-158-11-34.range109-158.btcentralplus.com) (Quit: Leaving) |
| 11:28:14 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 11:28:30 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:29:01 | → | davros joins (~davros@host86-183-29-83.range86-183.btcentralplus.com) |
| 11:31:21 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 11:31:49 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 11:32:19 | × | danza quits (~francesco@151.53.76.37) (Ping timeout: 260 seconds) |
| 11:32:20 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 11:33:48 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 11:34:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:35:55 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 11:36:35 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 240 seconds) |
| 11:37:12 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Read error: Connection reset by peer) |
| 11:39:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 11:39:28 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:41:25 | <fendor> | quackrabbit, you should not install libraries with either cabal or stack. You usually open a project where you add the packages you want to the project |
| 11:41:38 | <quackrabbit> | How do I that? |
| 11:42:10 | <fendor> | quackrabbit, one way is to cd into an empty directory and execute `cabal init` |
| 11:42:10 | <quackrabbit> | I have a prject.cabal file |
| 11:42:30 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 11:42:32 | <fendor> | then you open that .cabal file and add to the build-depends section the library you want |
| 11:43:36 | <quackrabbit> | Then running `cabal build` fails due to a conflict in the versioning of baes |
| 11:43:42 | <quackrabbit> | *base |
| 11:43:53 | <fendor> | can you show the error? |
| 11:43:55 | <fendor> | @where paste |
| 11:43:55 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 11:44:08 | <fendor> | and what ghc version do you have installed? |
| 11:44:19 | <quackrabbit> | https://paste.tomsmeding.com/5Jhwihwi |
| 11:44:33 | <quackrabbit> | Version 8.10.4 |
| 11:44:41 | <quackrabbit> | I just ran `ghcup` 5 minutes ago |
| 11:44:52 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 11:45:24 | → | danza joins (~francesco@151.44.192.103) |
| 11:45:33 | <quackrabbit> | Thanks for the help btw |
| 11:46:49 | <fendor> | ok, so, you see, base is coupled with the ghc version. The project you want to build seemingly forces wants ghc 8.8.* version, though, afaict |
| 11:47:25 | <fendor> | *lambda cube seemingly only builds with ghc 8.8.* according to its version constraint on base |
| 11:48:33 | <quackrabbit> | is there a way to change this? |
| 11:48:43 | <fendor> | you would have to update the code in lambda cube |
| 11:48:53 | <fendor> | which can be trivial, but can also be very tedious |
| 11:48:55 | <quackrabbit> | The only edit I made in the cabal file is to add the dependency on QuickCheck |
| 11:49:05 | <quackrabbit> | The code in my project is minimal I just started |
| 11:49:34 | <fendor> | I dont think the dependency on QuickCheck has anything to do with it. |
| 11:49:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 11:49:54 | <quackrabbit> | Can I make a change in my cabal file to drop this depenency? |
| 11:49:57 | <fendor> | you are experimenting with lambda cube? |
| 11:50:06 | <quackrabbit> | Lamba cube is my own project I just started |
| 11:50:10 | <fendor> | oh. |
| 11:50:14 | <fendor> | I see, then it is quite trivial |
| 11:50:22 | <quackrabbit> | as in `mkdir lambdacube; cd lambdacube; cabal init` |
| 11:50:29 | × | APic quits (apic@apic.name) (Ping timeout: 245 seconds) |
| 11:50:34 | <fendor> | open your .cabal file, and look for `base >= 4.13.0.0 && < 4.14.0.0` |
| 11:50:35 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:50:43 | <quackrabbit> | yep |
| 11:51:01 | → | APic joins (apic@apic.name) |
| 11:51:07 | <fendor> | either remove the version constraint or relax it to `base >= 4.13.0.0 && < 4.15.0.0` |
| 11:51:18 | <fendor> | then everything should be fine |
| 11:52:16 | <quackrabbit> | ok it's building and passed the dependency check thanks a bunch |
| 11:52:17 | <quackrabbit> | will the haskell language server pick up that Im in a cabal project and use the installed packages? |
| 11:52:35 | <fendor> | yes |
| 11:52:57 | <quackrabbit> | wonderful. thanks |
| 11:53:08 | <fendor> | yes it will, but if you add dependencies, you might have to restart it to properly pick up the changes. (I am not sure, though, maybe it nowadays works without restarting) |
| 11:53:58 | <quackrabbit> | Nope, restarted emacs and no luck. Still not says Module not found |
| 11:54:06 | <quackrabbit> | Requiring the module in `cabal repl` works fine |
| 11:54:43 | <quackrabbit> | Do I have to list all my source files in the cabal file somewhere |
| 11:54:58 | <fendor> | yes, you have to! |
| 11:55:14 | <fendor> | you are using a library or executable? |
| 11:55:18 | <quackrabbit> | Executable |
| 11:55:29 | <quackrabbit> | so I have a main and then a bunch of modules |
| 11:55:35 | <quackrabbit> | (bunch = 2) |
| 11:55:36 | <fendor> | maybe this is helpful: https://cabal.readthedocs.io/en/3.4/developing-packages.html#editing-the-cabal-file |
| 11:55:53 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 11:55:54 | <fendor> | then you have to add your modules to the `other-modules:` section of your executable section |
| 11:56:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:57:24 | × | danza quits (~francesco@151.44.192.103) (Ping timeout: 260 seconds) |
| 11:57:26 | <quackrabbit> | Aha! Adding that bings back the old problem |
| 11:57:27 | <quackrabbit> | Could not load module ‘Control.Monad.Reader’ |
| 11:57:28 | <quackrabbit> | It is a member of the hidden package ‘mtl-2.2.2’. |
| 11:57:40 | → | Guest_58 joins (b0996fb4@176-153-111-180.abo.bbox.fr) |
| 11:57:42 | <fendor> | did you add mtl to your build-depends section? |
| 11:57:44 | <quackrabbit> | So relaxing the constraint on base didn't fix the issue |
| 11:58:14 | <quackrabbit> | Ah, so mtl is not part of the stdlib? |
| 11:58:24 | <quackrabbit> | Adding mtl fixed it thanks |
| 11:58:57 | <fendor> | indeed, it is not |
| 11:59:12 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 11:59:44 | <fendor> | I think it is a boot library, which means it is actually included in your normal ghci invocation, however in a project, you have to be a bit more explicit |
| 12:00:06 | <quackrabbit> | gotcha. |
| 12:00:27 | <quackrabbit> | Thanks you've been a huge help |
| 12:00:40 | <quackrabbit> | lang server is still not seeing the new module? Any ideas? |
| 12:00:40 | → | sQVe joins (~sQVe@unaffiliated/sqve) |
| 12:00:52 | <fendor> | error messages pls, or logs |
| 12:01:10 | <quackrabbit> | Could not find module Test.QuickCheck |
| 12:01:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 12:01:30 | <fendor> | QuickCheck in the build-depends? |
| 12:01:33 | <quackrabbit> | yep |
| 12:01:42 | <quackrabbit> | it builds fine in `cabal build` |
| 12:01:44 | <fendor> | error in the main module or one of the other-modules? |
| 12:01:51 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:01:52 | <quackrabbit> | on of the other-modules |
| 12:02:40 | <quackrabbit> | LSP log contains this: Command "hie-wrapper --lsp -d -l /tmp/hie.log" is not present on the path. |
| 12:02:41 | <fendor> | are the other-modules in some sub-directory? E.g. do you have a hs-source-dirs in your executable section? |
| 12:02:53 | <fendor> | hie? 0.o |
| 12:02:56 | <quackrabbit> | no it's all in the top level directory |
| 12:03:08 | <fendor> | is your config maybe old? |
| 12:03:46 | → | mrioqueiroz joins (~mrioqueir@177.74.248.219) |
| 12:04:05 | <quackrabbit> | I think doom emacs just checks for both |
| 12:04:11 | <fendor> | ah, interesting. |
| 12:04:25 | <fendor> | how did you install hls? |
| 12:04:30 | <quackrabbit> | ghcup |
| 12:05:22 | → | henninb joins (~henninb@63-228-50-251.mpls.qwest.net) |
| 12:05:45 | <fendor> | hmpf... In the terminal, what is the output of `haskell-language-server-wrapper --debug Main.hs` ? |
| 12:06:03 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) |
| 12:06:09 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 12:07:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 12:07:38 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 12:07:40 | <quackrabbit> | https://paste.tomsmeding.com/RlUWnRd8 |
| 12:08:05 | → | sm2n joins (~sm2n@bras-base-hmtnon143hw-grc-15-70-54-78-219.dsl.bell.ca) |
| 12:08:47 | <fendor> | quackrabbit, you have a hie.yaml file? |
| 12:08:52 | <quackrabbit> | nope |
| 12:09:03 | <fendor> | interesting. |
| 12:09:06 | <quackrabbit> | i agree |
| 12:09:14 | <fendor> | Is the file that fails to load Lambda2? |
| 12:09:53 | <quackrabbit> | no, it's SimplyTyped |
| 12:10:01 | <quackrabbit> | Lambda2 isn't even in `other-modules` |
| 12:10:10 | <quackrabbit> | (it is a file on disk though, hadn't added it yet) |
| 12:10:15 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:692f:34e4:c65a:92f2) (Ping timeout: 240 seconds) |
| 12:10:16 | <quackrabbit> | It isn't required by Main either |
| 12:10:16 | → | darjeeling_ joins (~darjeelin@122.245.218.150) |
| 12:10:44 | <fendor> | ah, that's fine then, hls just tries to compile any hs file it finds |
| 12:11:26 | → | danza joins (~francesco@151.53.76.37) |
| 12:11:42 | <fendor> | what is in your cabal file now? |
| 12:12:21 | <fendor> | also, are your sure hls is correctly launched? |
| 12:12:26 | → | knupfer joins (~Thunderbi@dynamic-046-114-144-162.46.114.pool.telefonica.de) |
| 12:12:33 | <fendor> | maybe the error is thrown by something like flycheck |
| 12:12:40 | × | knupfer quits (~Thunderbi@dynamic-046-114-144-162.46.114.pool.telefonica.de) (Client Quit) |
| 12:13:01 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 12:13:01 | → | knupfer joins (~Thunderbi@dynamic-046-114-144-162.46.114.pool.telefonica.de) |
| 12:15:23 | × | hendursa1 quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 268 seconds) |
| 12:15:38 | <quackrabbit> | Hmm maybe |
| 12:16:16 | × | DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 12:16:17 | <quackrabbit> | just confirmed emacs is using the LSP... |
| 12:16:39 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 12:16:59 | <quackrabbit> | nope that is it. It was using both |
| 12:17:00 | → | DTZUZU joins (~DTZUZU@205.ip-149-56-132.net) |
| 12:17:01 | <quackrabbit> | bizarre |
| 12:17:04 | × | nek0 quits (~nek0@mail.nek0.eu) (Quit: Ping timeout (120 seconds)) |
| 12:17:14 | → | pfurla_ joins (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 12:17:15 | → | ambiso99 joins (~ambiso@209.182.239.205) |
| 12:17:16 | → | nek0 joins (~nek0@mail.nek0.eu) |
| 12:17:26 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 12:18:01 | × | omnitrogen quits (~omnitroge@vps-c9700282.vps.ovh.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 12:18:10 | × | ambiso9 quits (~ambiso@209.182.239.205) (Read error: Connection reset by peer) |
| 12:18:45 | → | omnitrogen joins (~omnitroge@vps-c9700282.vps.ovh.net) |
| 12:19:16 | × | pfurla quits (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 12:19:58 | × | kam1 quits (~kam1@5.125.126.175) (Ping timeout: 276 seconds) |
| 12:20:42 | <fendor> | yeah, a bit weird, but it is working now? |
| 12:21:30 | <quackrabbit> | eh lsp isn't working but it's clearly an emacs problem not a haskell problem |
| 12:22:35 | × | Guest_58 quits (b0996fb4@176-153-111-180.abo.bbox.fr) (Quit: Connection closed) |
| 12:24:48 | <fendor> | well, a good start |
| 12:30:04 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 12:30:58 | → | __minoru__shirae joins (~shiraeesh@5.101.59.4) |
| 12:31:56 | × | epta quits (~m@nuda.space) (Ping timeout: 240 seconds) |
| 12:32:21 | → | epta joins (~m@nuda.space) |
| 12:35:05 | × | __minoru__shirae quits (~shiraeesh@5.101.59.4) (Remote host closed the connection) |
| 12:35:05 | × | knupfer quits (~Thunderbi@dynamic-046-114-144-162.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 12:36:01 | → | __minoru__shirae joins (~shiraeesh@5.101.59.4) |
| 12:37:44 | × | henninb quits (~henninb@63-228-50-251.mpls.qwest.net) (Quit: leaving) |
| 12:38:23 | × | quackrabbit quits (8102b464@129-2-180-100.wireless.umd.edu) (Ping timeout: 240 seconds) |
| 12:40:03 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 12:41:50 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 12:42:43 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.4) |
| 12:46:06 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection) |
| 12:46:24 | × | __minoru__shirae quits (~shiraeesh@5.101.59.4) (Ping timeout: 260 seconds) |
| 12:47:55 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 12:48:37 | → | lars__ joins (~lars@p4fc9f6dc.dip0.t-ipconnect.de) |
| 12:48:57 | × | eyenx quits (~eyenxeyen@unaffiliated/eye/x-1653358) (Remote host closed the connection) |
| 12:50:06 | → | daffy joins (01c84bd3@1.200.75.211) |
| 12:50:25 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 12:51:11 | × | daffy quits (01c84bd3@1.200.75.211) (Client Quit) |
| 12:51:39 | → | aggin joins (~ecm@103.88.87.73) |
| 12:54:07 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 12:54:33 | × | Codaraxis_ quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection) |
| 12:54:54 | → | Codaraxis_ joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 12:55:54 | → | Tario joins (~Tario@201.192.165.173) |
| 13:00:14 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 13:00:36 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Remote host closed the connection) |
| 13:01:12 | → | Deide joins (~Deide@217.155.19.23) |
| 13:01:48 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-ynybzievihtknuvf) (Quit: Connection closed for inactivity) |
| 13:02:16 | × | Codaraxis_ quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Remote host closed the connection) |
| 13:02:24 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 13:03:07 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 13:03:44 | → | eyenx joins (~eyenxeyen@unaffiliated/eye/x-1653358) |
| 13:03:53 | × | plutoniix quits (~q@184.82.206.28) (Quit: Leaving) |
| 13:06:28 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 13:06:35 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 13:08:55 | × | esp32_prog quits (username@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 240 seconds) |
| 13:09:02 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 268 seconds) |
| 13:09:32 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 13:09:50 | × | lars__ quits (~lars@p4fc9f6dc.dip0.t-ipconnect.de) (Quit: leaving) |
| 13:10:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Ping timeout: 240 seconds) |
| 13:11:57 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 13:11:59 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 13:12:42 | → | Mrbuck joins (~Mrbuck@gateway/tor-sasl/mrbuck) |
| 13:13:02 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 13:13:21 | → | augnun joins (~augnun@2804:14c:658b:41bb:8018:16a5:2f54:43b7) |
| 13:18:57 | × | raym quits (~ray@45.64.220.3) (Quit: leaving) |
| 13:20:45 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 13:22:07 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-silmedxoldmqygmd) |
| 13:22:34 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 260 seconds) |
| 13:23:28 | → | esp32_prog joins (username@gateway/vpn/mullvad/esp32prog/x-46565127) |
| 13:25:35 | → | LKoen_ joins (~LKoen@252.248.88.92.rev.sfr.net) |
| 13:25:52 | × | augnun quits (~augnun@2804:14c:658b:41bb:8018:16a5:2f54:43b7) (Quit: WeeChat 3.0.1) |
| 13:26:33 | → | carlomagno joins (~cararell@148.87.23.6) |
| 13:27:18 | × | aggin quits (~ecm@103.88.87.73) (Quit: WeeChat 3.0.1) |
| 13:27:27 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 13:27:36 | × | LKoen quits (~LKoen@252.248.88.92.rev.sfr.net) (Ping timeout: 240 seconds) |
| 13:30:34 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 13:31:34 | → | Tario joins (~Tario@201.192.165.173) |
| 13:32:02 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) |
| 13:32:16 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 13:32:47 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Quit: WeeChat 1.9.1) |
| 13:33:10 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 13:36:55 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 13:38:35 | → | orion joins (~orion@c-76-19-236-20.hsd1.nh.comcast.net) |
| 13:38:35 | × | orion quits (~orion@c-76-19-236-20.hsd1.nh.comcast.net) (Changing host) |
| 13:38:35 | → | orion joins (~orion@unaffiliated/orion) |
| 13:38:43 | × | ezzieyguywuf quits (~Unknown@unaffiliated/ezzieyguywuf) (Ping timeout: 265 seconds) |
| 13:39:29 | × | geowiesnot_bis quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 260 seconds) |
| 13:40:07 | → | knupfer joins (~Thunderbi@200116b824fa7200bdacb2af5161f3a9.dip.versatel-1u1.de) |
| 13:47:04 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 13:50:43 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:53:30 | × | son0p quits (~son0p@181.58.39.182) (Quit: leaving) |
| 13:55:32 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 13:56:15 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds) |
| 13:57:17 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.4) |
| 14:01:39 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 260 seconds) |
| 14:04:46 | × | raichoo quits (~raichoo@213.240.178.58) (Quit: Lost terminal) |
| 14:04:53 | → | alx741 joins (~alx741@181.196.68.52) |
| 14:08:20 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 14:10:09 | × | Axman6 quits (~Axman6@pdpc/supporter/student/Axman6) (Ping timeout: 256 seconds) |
| 14:10:20 | LittleFox94 | is now known as LittleFox |
| 14:12:34 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 268 seconds) |
| 14:12:35 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds) |
| 14:13:29 | × | LKoen_ quits (~LKoen@252.248.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 14:15:09 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 14:15:49 | <kuribas> | LSP works well on vscode |
| 14:16:07 | <kuribas> | flycheck-haskell works well with ghc though |
| 14:18:50 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 14:20:25 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Read error: Connection reset by peer) |
| 14:21:08 | → | matryoshka joins (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) |
| 14:22:33 | × | ddellacosta quits (~ddellacos@86.106.143.201) (Remote host closed the connection) |
| 14:22:51 | × | yahb quits (xsbot@haskell/bot/yahb) (Ping timeout: 260 seconds) |
| 14:23:28 | → | forgottenone joins (~forgotten@176.42.24.53) |
| 14:27:27 | × | mrioqueiroz quits (~mrioqueir@177.74.248.219) (Quit: leaving) |
| 14:27:57 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.4) |
| 14:30:17 | × | mniip quits (~mniip@freenode/staff/mniip) (Ping timeout: 633 seconds) |
| 14:30:28 | → | comerijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 14:30:42 | → | Wuzzy joins (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) |
| 14:31:54 | × | mayleesia quits (4d0d9efc@dynamic-077-013-158-252.77.13.pool.telefonica.de) (Quit: Ping timeout (120 seconds)) |
| 14:32:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 14:34:14 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 14:35:15 | × | xff0x quits (~xff0x@2001:1a81:5383:2100:7be7:dddc:2608:44b7) (Ping timeout: 240 seconds) |
| 14:35:40 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 14:36:10 | → | nf joins (~n@monade.li) |
| 14:36:26 | → | xff0x joins (~xff0x@2001:1a81:5383:2100:fd3a:fd43:5d55:8345) |
| 14:38:17 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 14:40:28 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-ooezfjzkvhydiyus) |
| 14:43:00 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 14:44:39 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 245 seconds) |
| 14:44:52 | → | mniip joins (~mniip@freenode/staff/mniip) |
| 14:44:53 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 14:44:54 | → | yahb joins (xsbot@178.219.36.155) |
| 14:44:54 | × | yahb quits (xsbot@178.219.36.155) (Changing host) |
| 14:44:54 | → | yahb joins (xsbot@haskell/bot/yahb) |
| 14:45:09 | → | tuoyuz joins (~user@121.34.151.31) |
| 14:45:30 | → | ezzieyguywuf joins (~Unknown@unaffiliated/ezzieyguywuf) |
| 14:47:15 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 240 seconds) |
| 14:47:20 | ← | tuoyuz parts (~user@121.34.151.31) ("ERC (IRC client for Emacs 27.1)") |
| 14:47:29 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 14:48:01 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 14:48:46 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 14:51:41 | → | davros_ joins (~davros@host86-183-29-83.range86-183.btcentralplus.com) |
| 14:51:54 | × | davros_ quits (~davros@host86-183-29-83.range86-183.btcentralplus.com) (Remote host closed the connection) |
| 14:53:09 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 14:54:05 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Ping timeout: 258 seconds) |
| 14:54:55 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 240 seconds) |
| 14:57:14 | → | Codaraxis joins (Codaraxis@gateway/vpn/mullvad/codaraxis) |
| 15:01:31 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 15:02:49 | × | Codaraxis quits (Codaraxis@gateway/vpn/mullvad/codaraxis) (Ping timeout: 265 seconds) |
| 15:03:59 | <bitmapper> | i'm excited to try and implement linear arrays |
| 15:04:01 | <bitmapper> | or vectors |
| 15:04:05 | comerijn | is now known as merijn |
| 15:04:51 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 15:05:18 | → | nf joins (~n@monade.li) |
| 15:05:36 | × | finn_elija quits (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 268 seconds) |
| 15:07:13 | → | finn_elija joins (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 15:07:18 | <ggVGc> | I feel dumb, but I've been reading the stack docs and can't figure this out.. How do I (with stack) build a local library, and make another application depend on it, without depending on the source folder (so it does not need to be checked if it needs to be rebuilt every time I build the application)? |
| 15:07:57 | <ggVGc> | both using the same resolver obviously |
| 15:07:59 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 15:08:17 | <ggVGc> | do I just copy the static library and explicitly depend on it |
| 15:09:19 | → | joe[m]3 joins (joemonoida@gateway/shell/matrix.org/x-zrgraxvdmbpvqofd) |
| 15:10:11 | → | dyeplexer joins (~lol@unaffiliated/terpin) |
| 15:10:48 | <merijn> | I don't think stack really supports that? You could try depending on a git repo of your source instead? |
| 15:12:20 | <ggVGc> | that would be the same thing as just having the library directory in extra-deps though, right? |
| 15:12:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Ping timeout: 240 seconds) |
| 15:12:41 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) |
| 15:12:41 | <ggVGc> | I'm just trying to get rid of the step of checking if my dependency needs to be built, every time I build my application |
| 15:12:43 | <merijn> | Yes, no, maybe? I don't use stack :p |
| 15:12:47 | <ggVGc> | since it's taking some significant time |
| 15:13:13 | <ggVGc> | maybe I'll move away from stack then. How would I do it with cabal? |
| 15:14:21 | <merijn> | ggVGc: hvr spent quite some time optimising "noop builds" to be sub 100ms for this reason. But in case it's still too slow, if you depend on a git repo with a specific commit it wouldn't trigger a rebuild unless you change the config to depend on a different repo/commit |
| 15:17:57 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:19:09 | × | Rudd0 quits (~Rudd0@185.189.115.108) (Ping timeout: 264 seconds) |
| 15:19:15 | × | fendor quits (~fendor@178.165.129.154.wireless.dyn.drei.com) (Remote host closed the connection) |
| 15:20:30 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 15:22:13 | × | DataComputist quits (~lumeng@50.43.26.251) (Quit: Leaving...) |
| 15:22:18 | <sm[m]> | re on yesterday's complaint about scripting setup: https://github.com/simonmichael/sm-haskell-tools has some scripting notes I haven't seen elsewhere |
| 15:22:33 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:2c10:d848:8f1f:38a4) |
| 15:23:19 | <sm[m]> | ggVGc: you can mark it as an extra-dep, then it won't be checked every time - see the user guide |
| 15:23:20 | × | o1lo01ol_ quits (~o1lo01ol1@95.69.78.182) (Remote host closed the connection) |
| 15:23:30 | → | average joins (uid473595@gateway/web/irccloud.com/x-ooapnrdetvogzxir) |
| 15:23:48 | <shapr> | sm[m]: there's also https://github.com/BrianHicks/nix-script |
| 15:23:57 | → | fendor joins (~fendor@178.165.129.154.wireless.dyn.drei.com) |
| 15:25:14 | <sm[m]> | thanks shapr |
| 15:25:29 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Ping timeout: 245 seconds) |
| 15:26:03 | → | MethMom joins (~root@097-103-176-123.res.spectrum.com) |
| 15:31:25 | → | mmfood joins (~mmfood@45.135.187.76) |
| 15:33:26 | × | egp__ quits (~egp_@2.95.74.168) (Quit: EXIT) |
| 15:33:31 | × | egp_ quits (~egp_@2.95.74.168) (Quit: EXIT) |
| 15:35:00 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:35:00 | → | bergey joins (~user@pool-74-108-99-127.nycmny.fios.verizon.net) |
| 15:35:40 | × | crobbins quits (~crobbins@2601:2c1:200:ec50:2c10:d848:8f1f:38a4) (Remote host closed the connection) |
| 15:36:09 | <shapr> | sm[m]: this is cool, I wonder how much of this works with cabal also? |
| 15:36:18 | → | crobbins joins (~crobbins@2601:2c1:200:ec50:dd18:3c82:fb8b:a1e5) |
| 15:36:43 | <merijn> | shapr: cabal has shebang based script support |
| 15:36:45 | <merijn> | has for a while |
| 15:37:04 | × | mmfood quits (~mmfood@45.135.187.76) (Remote host closed the connection) |
| 15:37:08 | → | o1lo01ol1o joins (~o1lo01ol1@95.69.78.182) |
| 15:37:13 | <shapr> | ah ok, thanks |
| 15:37:27 | → | mmfood joins (~mmfood@45.135.187.76) |
| 15:37:28 | <merijn> | lemme see if I can find the docs |
| 15:37:38 | → | mmfood_1 joins (~mmfood@45.135.187.76) |
| 15:38:29 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 15:38:50 | × | mmfood quits (~mmfood@45.135.187.76) (Client Quit) |
| 15:38:59 | × | mmfood_1 quits (~mmfood@45.135.187.76) (Client Quit) |
| 15:39:04 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 15:39:17 | → | mmfood joins (~mmfood@45.135.187.76) |
| 15:40:29 | × | mmfood quits (~mmfood@45.135.187.76) (Remote host closed the connection) |
| 15:40:41 | <merijn> | bleh, looks like no one wrote docs for this yet |
| 15:40:52 | → | mmfood joins (~mmfood@45.135.187.76) |
| 15:41:22 | <merijn> | shapr: https://github.com/haskell/cabal/issues/3843 |
| 15:43:10 | → | geowiesnot_bis joins (~user@87-89-181-157.abo.bbox.fr) |
| 15:43:29 | <sm[m]> | shapr, oh yes, let me add that |
| 15:45:29 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 260 seconds) |
| 15:47:19 | melkor | is now known as Guest41046 |
| 15:48:14 | → | mayleesia joins (4d0d9efc@dynamic-077-013-158-252.77.13.pool.telefonica.de) |
| 15:49:17 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 15:49:51 | <sm[m]> | https://cabal.readthedocs.io/en/3.4/cabal-commands.html#cabal-v2-run is the doc |
| 15:56:06 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) |
| 15:56:10 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 15:56:35 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 15:58:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:a857:70bc:9343:9cab) (Client Quit) |
| 15:58:17 | × | Benzi-Junior quits (~BenziJuni@88-149-67-143.du.xdsl.is) (Ping timeout: 272 seconds) |
| 16:00:30 | → | poscat1 joins (~poscat@123.116.89.28) |
| 16:01:37 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 276 seconds) |
| 16:02:24 | × | poscat quits (~poscat@114.243.61.85) (Ping timeout: 260 seconds) |
| 16:05:24 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-hyoxjevdyshrykda) |
| 16:08:17 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.0.1) |
| 16:08:42 | × | Narinas quits (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 16:08:51 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) |
| 16:09:29 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 16:10:45 | → | Narinas joins (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 16:12:11 | → | Rudd0 joins (~Rudd0@185.189.115.108) |
| 16:13:34 | × | toorevitimirp quits (~tooreviti@117.182.182.60) (Remote host closed the connection) |
| 16:13:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Ping timeout: 240 seconds) |
| 16:14:45 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 16:15:46 | × | o1lo01ol1o quits (~o1lo01ol1@95.69.78.182) (Remote host closed the connection) |
| 16:16:19 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 16:18:55 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 240 seconds) |
| 16:21:16 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 16:21:32 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 16:21:47 | × | sQVe quits (~sQVe@unaffiliated/sqve) (Quit: Bye!) |
| 16:24:20 | <rednaZ[m]> | I need to understand why GHC allows coercion arguments to prevent memoization although they do not exist at run time. Does anybody know that of have any pointers? |
| 16:24:53 | <merijn> | rednaZ[m]: #ghc ;) |
| 16:25:30 | <sm[m]> | shapr, added: https://github.com/simonmichael/sm-haskell-tools/blob/master/script-cabal-run |
| 16:25:51 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 16:25:56 | <shapr> | thanks! |
| 16:26:58 | <sm[m]> | I wonder what you'd need to patch to get #/usr/bin/env stack|cabal recognised as haskell files by everything |
| 16:27:16 | <shapr> | I think it's amusing that you've confused github as to whether those files are shell scripts or Haskell source |
| 16:27:29 | <merijn> | sm[m]: What do you mean? |
| 16:28:07 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 16:28:10 | <sm[m]> | merijn: when you open such haskell scripts in editors or view them on github eg, they are not highlighted as haskell |
| 16:28:25 | <sm[m]> | #!/usr/bin/env ghc|runghc are |
| 16:28:28 | <merijn> | sm[m]: Sadly, I suspect the answer is "tons of things" |
| 16:28:39 | <merijn> | sm[m]: libmagic is probably a good starting point? |
| 16:28:50 | <sm[m]> | that sounds good |
| 16:29:05 | <ggVGc> | merijn: I just wish I could have this behaviour without needing a separate git repo for each project |
| 16:29:19 | × | hiroaki_ quits (~hiroaki@2a02:8108:8c40:2bb8:a7e6:fd5e:5dd8:f140) (Ping timeout: 272 seconds) |
| 16:29:35 | <merijn> | ggVGc: cabal-install is pretty good about being fast even using local directories |
| 16:29:46 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 16:29:48 | <ggVGc> | also, my noop build definitely isn't sub 100ms :( |
| 16:30:02 | <sm[m]> | correction: Emacs recognises #!/usr/bin/env runghc|runhaskell (not #!/usr/bin/env ghc) |
| 16:30:04 | <ggVGc> | for the lib I depend on that is |
| 16:30:18 | <merijn> | ggVGc: I just meant that a git repo *guarantees* no-ops with cabal-install |
| 16:30:22 | <merijn> | ggVGc: With cabal? |
| 16:30:56 | <ggVGc> | no, sorry, with stack. That's why I said I could be ready to move away from stack. But I haven't used cabal in years, since last time I was using cabal it was... problematic |
| 16:31:00 | <merijn> | ggVGc: The sub 100ms remark was specifically to efforts hvr put into cabal-install, not stack |
| 16:31:01 | <ggVGc> | but I hear a lot has changed |
| 16:31:08 | <ggVGc> | yeah, I understand now |
| 16:31:12 | <ggVGc> | I misread |
| 16:31:35 | <merijn> | ggVGc: Depends what part you considered problematic |
| 16:32:55 | × | geowiesnot_bis quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 16:32:55 | × | esp32_prog quits (username@gateway/vpn/mullvad/esp32prog/x-46565127) (Ping timeout: 240 seconds) |
| 16:33:25 | <sm[m]> | is -j not the default for cabal build ? |
| 16:33:38 | <merijn> | ggVGc: I mean, a lot of the "cabal" issues I've seen here are "using super ancient packages and getting stuck with conflicting bounds", that part hasn't changed. |
| 16:34:04 | <merijn> | ggVGc: On the other hand, the "I need to manually sandbox stuff because 3 projects have conflicting dependencies" hassle is entirely gone |
| 16:34:10 | <merijn> | sm[m]: No |
| 16:34:21 | <merijn> | sm[m]: Because -j is rather heavy |
| 16:34:34 | <merijn> | So it can easily OOM tiny machines |
| 16:34:52 | <sm[m]> | noted |
| 16:35:29 | <merijn> | sm[m]: Basically, cabal only supports per package parallelism atm, so -j will spin up multiple package builds in parallel |
| 16:35:49 | <sm[m]> | I confirm a no-op cabal build is indeed rather fast, ~.1s here. With stack it's ~.5s |
| 16:36:10 | <merijn> | sm[m]: You can set a default setting for -j in ~/.cabal/config, though |
| 16:36:17 | <sm[m]> | yes, stack build is parallel by default (so low memory folks would have to add -j1) |
| 16:36:19 | <dcoutts> | (technically it's per-component rather than per-package) |
| 16:36:44 | <merijn> | sm[m]: The goal was that you can (unconditionally) call "cabal build" in scripts/build systems without incurring significant overhead |
| 16:38:09 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Quit: Leaving) |
| 16:38:52 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 16:39:18 | → | mananamenos joins (~jtomas@193.red-88-11-66.dynamicip.rima-tde.net) |
| 16:39:23 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 16:40:17 | ← | mananamenos parts (~jtomas@193.red-88-11-66.dynamicip.rima-tde.net) () |
| 16:40:51 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 16:41:23 | → | hiroaki_ joins (~hiroaki@2a02:8108:8c40:2bb8:745a:4c62:d02:a3cc) |
| 16:42:20 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 16:44:11 | → | kam1 joins (~kam1@5.126.106.241) |
| 16:50:22 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 276 seconds) |
| 16:51:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:53:12 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 16:53:59 | <monochrom> | ~/.cabal/config has auto-generated "jobs: $ncups" so you have implicit -j so you are still toasted. |
| 16:56:10 | <merijn> | hmm, did that change at some point? Because that wasn't the case in the past |
| 16:56:11 | → | banyanRob joins (268ce492@38.140.228.146) |
| 16:56:46 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 16:57:53 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 16:57:56 | <monochrom> | I happen to have saved default ~/.cabal/config's from 0.14 to 3.4, so I grepped "jobs" and... |
| 16:58:06 | × | kuribas quits (~user@ptr-25vy0ia3p0g52y47swx.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 16:58:27 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 16:58:32 | <monochrom> | "jobs" first appeared in 1.16, commented out (off by default) |
| 16:58:50 | <monochrom> | but 1.18 and onwards it's "jobs: $ncpus" all the way down. |
| 16:58:54 | <merijn> | hah |
| 16:59:15 | <merijn> | That sounds about right, I think 1.16 was around the time I started, so maybe I just never updated the defaults >.> |
| 16:59:55 | <merijn> | monochrom: But I recall adding an explicit -j on the cluster making my job substantially faster and that one always had a default config, so something's still weird |
| 17:00:13 | <merijn> | I blame my environment >.> |
| 17:00:55 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 240 seconds) |
| 17:01:54 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Ping timeout: 260 seconds) |
| 17:05:48 | × | chisui quits (577bc9b7@i577BC9B7.versanet.de) (Quit: Connection closed) |
| 17:07:45 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 17:08:01 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 17:08:33 | × | conal quits (~conal@192.145.118.113) (Quit: Computer has gone to sleep.) |
| 17:10:02 | → | emmanuel_erc joins (~user@rrcs-23-246-116-5.nys.biz.rr.com) |
| 17:12:10 | → | conal joins (~conal@192.145.118.123) |
| 17:12:41 | → | Dysfunctional joins (959c7c03@nat.ds3.agh.edu.pl) |
| 17:14:49 | <hc> | Hi all, the last three versions of the zip package don't have auto-generated documentation available |
| 17:14:58 | → | kderme joins (4fa758c1@ppp079167088193.access.hol.gr) |
| 17:15:52 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 17:16:06 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 17:16:20 | → | nf joins (~n@monade.li) |
| 17:16:34 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 17:16:54 | <Dysfunctional> | Hi, has anyone used bricks here? Did anyone try to do some custom rednering, like... https://paste.tomsmeding.com/kA5KemWL - vertical and horizontal joints might not be enough, and some widgets might need to be cut |
| 17:17:07 | <Dysfunctional> | rendering* |
| 17:17:26 | <Dysfunctional> | and joins* |
| 17:17:55 | <koz_> | hc: File an issue here: https://github.com/mrkkrp/zip/issues |
| 17:19:40 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:176:cad2:9667:c008) |
| 17:21:45 | → | LKoen joins (~LKoen@252.248.88.92.rev.sfr.net) |
| 17:22:52 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 17:23:15 | → | redmp joins (~redmp@172.58.38.226) |
| 17:23:18 | → | nf joins (~n@monade.li) |
| 17:25:22 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) |
| 17:26:32 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 17:26:59 | × | acarrico quits (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) (Ping timeout: 260 seconds) |
| 17:27:33 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 17:27:50 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 17:29:52 | × | nf quits (~n@monade.li) (Quit: Fairfarren.) |
| 17:30:05 | → | chisui joins (577bc9b7@i577BC9B7.versanet.de) |
| 17:30:21 | → | nf joins (~n@monade.li) |
| 17:30:31 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 17:31:25 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 17:31:30 | × | michalz quits (~user@185.246.204.42) (Remote host closed the connection) |
| 17:31:52 | <Dysfunctional> | Like it seems vty has a Image data type which is a tree along horizontal and vertical joins, and... I don't know, while it guarantees there won't be any overlaps there's that previous problem. Just wondering if a map or some other fancier tree couldn't be used to sovle that previous problem (for new ppl: https://paste.tomsmeding.com/kA5KemWL ) |
| 17:32:31 | × | nf quits (~n@monade.li) (Client Quit) |
| 17:32:58 | → | Tops21 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 17:33:20 | → | augnun joins (~augnun@2804:14c:658b:41bb:7154:d13c:3dbd:8655) |
| 17:33:28 | → | Tops22 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 17:34:45 | → | boxscape joins (86ab2c71@gateway/web/cgi-irc/kiwiirc.com/ip.134.171.44.113) |
| 17:36:19 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 17:36:30 | <boxscape> | Not that I actually need this, but to be honest, I kind of expected this to work https://paste.tomsmeding.com/yLYymOaf |
| 17:37:29 | × | Tops21 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 17:37:43 | → | nf joins (~n@monade.li) |
| 17:37:46 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 17:38:15 | × | mayleesia quits (4d0d9efc@dynamic-077-013-158-252.77.13.pool.telefonica.de) (Quit: Connection closed) |
| 17:38:49 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 245 seconds) |
| 17:39:39 | <boxscape> | I suppose the problem is that neither instance is more general than the other |
| 17:39:48 | × | knupfer quits (~Thunderbi@200116b824fa7200bdacb2af5161f3a9.dip.versatel-1u1.de) (Quit: knupfer) |
| 17:40:03 | <geekosaur> | I think so, yes |
| 17:40:03 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:40:14 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 17:40:30 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 17:40:48 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-46.w86-212.abo.wanadoo.fr) |
| 17:40:57 | <dolio> | Yeah, that's incoherent. |
| 17:41:00 | <Dysfunctional> | yeah, but one is overlappable and other is overlapping, guess they're not interpreted in the same family where the precedence can be calculated |
| 17:41:14 | → | Tops21 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 17:41:36 | → | conal_ joins (~conal@64.71.133.70) |
| 17:42:33 | × | conal quits (~conal@192.145.118.123) (Ping timeout: 264 seconds) |
| 17:42:44 | × | shutdown_-h_now quits (~arjan@2001:1c06:2d0b:2312:9922:cfc5:8f27:49f4) (Ping timeout: 240 seconds) |
| 17:43:35 | × | xff0x quits (~xff0x@2001:1a81:5383:2100:fd3a:fd43:5d55:8345) (Ping timeout: 240 seconds) |
| 17:43:54 | × | Tops22 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 260 seconds) |
| 17:44:15 | <boxscape> | dolio ah, true, changing one of the pragmas to INCOHERENT makes it compile |
| 17:44:36 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 17:44:39 | → | xff0x joins (~xff0x@2001:1a81:5383:2100:48ad:dc4f:6fad:3ff7) |
| 17:44:47 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) |
| 17:44:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:45:01 | <dolio> | Oh good. I was just about to say maybe it wasn't incoherent. :) |
| 17:45:13 | <dolio> | Like, technically. |
| 17:45:30 | <boxscape> | hm |
| 17:45:38 | <boxscape> | I don't actually know the technical definition |
| 17:46:03 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 17:46:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:47:44 | <dolio> | Anyhow, the 'overlapping' one isn't a special case of the 'overlappable' one. |
| 17:48:43 | <dolio> | So I guess what marking something 'incoherent' would do is, "just pick this one anyway." |
| 17:49:01 | <dolio> | Although I'm not 100% certain on the meaning of all the annotations. |
| 17:49:33 | <boxscape> | it actually picks the one *not* marked with incoherent, though if I'm understanding the user guide correctly, it's "arbitrary" |
| 17:49:41 | <dolio> | Hahaha. Okay. |
| 17:50:01 | → | nhs_ joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 17:50:31 | → | shutdown_-h_now joins (~arjan@2001:1c06:2d0b:2312:154f:4e40:6da2:bc2f) |
| 17:50:31 | → | ep1ctetus joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 17:50:57 | × | emmanuel_erc quits (~user@rrcs-23-246-116-5.nys.biz.rr.com) (Ping timeout: 264 seconds) |
| 17:50:58 | <boxscape> | oh no wait, it's arbitrary if *all* candidates are incoherent, otherwise it picks the non-incoherent one |
| 17:51:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:51:19 | <dolio> | Oh, I guess that makes sense. |
| 17:51:31 | <dolio> | If all but one are incoherent, you pick the 'coherent' one. |
| 17:51:36 | <boxscape> | right |
| 17:51:36 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 240 seconds) |
| 17:51:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:53:17 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 17:54:08 | <Dysfunctional> | I don't understand Haskell's type system when it comes to type classes. I just imagine there's some kind of compiler machinery that choses an instance and then... what does it mean if a type class is incoherent? |
| 17:56:11 | <sclv> | incoherent is virtually never what you want |
| 17:56:20 | <Dysfunctional> | I mean, overlapping is like: Make a choice, where the priority is: overlappable < overlaps < overlapping (has the highest priority). Incoherent? "Use me as a last resort?" |
| 17:56:22 | <sclv> | it means what the discussion above said -- just give up |
| 17:56:34 | <sclv> | i've never found a case where i wanted it |
| 17:56:35 | <dolio> | Incoherent means that arbitrary decisions are made, rather than there being a canonical choice. |
| 17:56:50 | <Dysfunctional> | sounds fun |
| 17:56:51 | <sclv> | i guess it _only_ makes sense if the different instances all "mean" the same thing |
| 17:57:04 | <dolio> | In this example, neither `Maybe a` nor `f Bool` are more specific than one another, so it just picks one. |
| 17:57:07 | <sclv> | i.e. no matter which instance you pick, the code is equivalent |
| 17:57:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 17:57:42 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:57:59 | <sclv> | the better way to try to disambiguate something like the above is fundeps |
| 17:58:04 | <sclv> | or closed type families |
| 17:58:11 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 17:58:19 | <Dysfunctional> | ok, thanks, tbh never undestood fundeps too |
| 17:58:27 | <dolio> | Also the explanation of overlapping above is missing things. |
| 17:59:06 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 17:59:12 | <dolio> | An 'overlapping' instance isn't deemed preferable to an 'overlappable' instance just because they can unify. |
| 17:59:38 | → | bitmagie joins (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) |
| 18:00:29 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:00:35 | <dolio> | Overlappable means that more specific instances don't need to specificaly say 'overlapping'. And 'overlapping' means that it can override a less specific instance that is not declared 'overlappable'. Or something like that. |
| 18:00:49 | × | vchlup_ quits (~vchlup@nat.brnet.cz) (Ping timeout: 260 seconds) |
| 18:00:49 | <dolio> | The specificity of the instance heads still matter. |
| 18:02:22 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 18:02:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 18:02:50 | <Dysfunctional> | Ok, thanks. 'Overlaps' is overlap without considertion for the instance head? |
| 18:03:10 | × | juri_ quits (~juri@178.63.35.222) (Ping timeout: 276 seconds) |
| 18:03:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:03:34 | <dolio> | I don't remember the difference between 'overlaps' and 'overlapping', because I barely ever use this stuff. |
| 18:03:54 | → | juri_ joins (~juri@79.140.120.239) |
| 18:03:54 | × | juri_ quits (~juri@79.140.120.239) (Read error: Connection reset by peer) |
| 18:04:04 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 18:04:09 | → | vchlup_ joins (~vchlup@nat.brnet.cz) |
| 18:04:21 | <dolio> | The only thing that's going to ignore the actual specialization order of the instance is 'incoherent' I think. |
| 18:04:46 | <aarvar> | I think overlaps = overlappable + overlapping, or something like that |
| 18:05:15 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 18:06:35 | × | xff0x quits (~xff0x@2001:1a81:5383:2100:48ad:dc4f:6fad:3ff7) (Ping timeout: 240 seconds) |
| 18:07:05 | <Dysfunctional> | so for example for a datatype with kind two and a type class that specializes one of the type arguments |
| 18:07:47 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 18:07:53 | → | xff0x joins (~xff0x@2001:1a81:5383:2100:76a2:26e:424a:1092) |
| 18:08:37 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:08:47 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 18:08:55 | → | juri_ joins (~juri@178.63.35.222) |
| 18:08:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 18:09:03 | × | chisui quits (577bc9b7@i577BC9B7.versanet.de) (Quit: Connection closed) |
| 18:09:05 | × | banyanRob quits (268ce492@38.140.228.146) (Quit: Connection closed) |
| 18:09:07 | → | vk3wtf_ joins (~doc@115-64-102-158.tpgi.com.au) |
| 18:09:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:09:56 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) |
| 18:11:56 | × | vk3wtf quits (~doc@203.221.224.44) (Ping timeout: 240 seconds) |
| 18:12:53 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 18:13:09 | × | bitmagie quits (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) (Quit: bitmagie) |
| 18:13:27 | → | bitmagie joins (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) |
| 18:13:51 | <perrier-jouet> | hi all |
| 18:14:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 18:14:29 | <perrier-jouet> | my /root/.stack folder is it save to delete it ? I am using archlinux |
| 18:14:46 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 18:14:53 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:15:02 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 18:15:05 | <geekosaur> | why have you been running stack as root |
| 18:15:58 | × | bitmagie quits (~Thunderbi@200116b8061b980088bf1ce130705d54.dip.versatel-1u1.de) (Client Quit) |
| 18:16:13 | <monochrom> | If you vow to never run stack as root again, you can delete it. |
| 18:16:21 | × | dyeplexer quits (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 18:17:07 | <monochrom> | stack is fundamentally a per-user program, "sudo stack" does not mean /usr/local. Whoever runs stack, it always means $HOME. |
| 18:17:07 | <perrier-jouet> | geekosaur: monochrom sometime installing packages it says you don't have permission so when I do su I guess that's when it created the /root/.stack |
| 18:18:10 | <geekosaur> | my guess is ypou ran stack as root once and now there are root-owned files in your own .stack and/or .stack-work |
| 18:19:13 | <geekosaur> | so you'll also need to fix that with sudo chown -R $USER ~/.stack ~/.stack-work |
| 18:19:14 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Remote host closed the connection) |
| 18:19:24 | <geekosaur> | and then don't run stack as root any more |
| 18:19:32 | × | DTZUZU quits (~DTZUZU@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 18:19:46 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:4c96:674d:b3c3:8428) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:20:04 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 18:20:35 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 18:20:47 | <geekosaur> | just pulling out sudo any time you have a permission problem is a lovely way to destroy your OS install |
| 18:21:42 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 18:21:45 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:22:20 | → | son0p joins (~son0p@181.136.122.143) |
| 18:25:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 18:25:55 | × | jonathanx quits (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 18:26:02 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:26:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:28:31 | <Dysfunctional> | what's your opinion on nix? |
| 18:28:49 | <boxscape> | Dysfunctional dolio OVERLAPS marks an instance as both overlappable and overlapping |
| 18:29:18 | → | tweek joins (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) |
| 18:29:29 | <boxscape> | oh aarvar said as much |
| 18:29:33 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 18:29:58 | × | NieDzejkob quits (~quassel@195.149.98.3) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 18:30:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Client Quit) |
| 18:30:26 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:30:38 | <tweek> | i cant get imgui working for the life of me |
| 18:30:41 | <tweek> | kill me |
| 18:31:07 | × | kderme quits (4fa758c1@ppp079167088193.access.hol.gr) (Quit: Connection closed) |
| 18:31:08 | → | Tops22 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 18:31:39 | → | chisui joins (577bc9b7@i577BC9B7.versanet.de) |
| 18:32:36 | × | Tops21 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 18:32:40 | <boxscape> | Dysfunctional nix can be quite nice when you figure out what you have to do, but it can be pretty difficult to figure that out because of the state of the documentation |
| 18:33:03 | <boxscape> | or possibly it's just an inherent property of nix that couldn't be fixed with better documentation, I'm not sure |
| 18:33:06 | <maerwald> | nix as an idea: nice. Nix as an ecosystem: horrible |
| 18:33:40 | <maerwald> | increases bus factor, becomes a risk in your company |
| 18:34:07 | <monochrom> | What is bus factor? |
| 18:34:13 | <maerwald> | while not solving any real problem you couldn't have solved otherwise (modulo some edge cases) |
| 18:34:22 | <maerwald> | monochrom: huh? |
| 18:34:25 | <Dysfunctional> | and what about custom executables, installation files, etc? Do you have to write your own .nix files for them? |
| 18:34:35 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 18:34:41 | <maerwald> | monochrom: https://en.wikipedia.org/wiki/Bus_factor |
| 18:35:09 | <boxscape> | Dysfunctional yes |
| 18:36:56 | × | tweek quits (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) (Quit: WeeChat 3.0.1) |
| 18:37:11 | <monochrom> | Thanks. But then isn't increasing bus factor the desirable direction, and you meant decreasing bus factor? |
| 18:37:21 | → | tweek joins (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) |
| 18:37:21 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:6d57:8fff:2704:b133) |
| 18:37:24 | <Dysfunctional> | and is it hard? checking for all the dependencies, what not... is there a tutorial on how to do that? |
| 18:37:57 | <Dysfunctional> | decreasing bus factor is better XD with covid we've got an increase |
| 18:38:07 | <geekosaur> | higher bus factor = more people who are single points of failure |
| 18:38:23 | × | tweek quits (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) (Client Quit) |
| 18:38:35 | × | perrier-jouet quits (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 18:38:45 | <geekosaur> | potentially |
| 18:39:39 | <boxscape> | Dysfunctional the best tutorial I'm aware of are the "nix pills" but I didn't find it to be a very good tutorial |
| 18:40:10 | <aarvar> | geekosaur: according to wikipedia that's a "rare alternative definition" |
| 18:41:16 | <boxscape> | Dysfunctional the #nixos IRC channel is indispensible |
| 18:41:46 | <Dysfunctional> | ok, might bother them in the future, thanks |
| 18:41:57 | × | darjeeling_ quits (~darjeelin@122.245.218.150) (Ping timeout: 264 seconds) |
| 18:43:15 | → | tweek joins (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) |
| 18:44:01 | <Dysfunctional> | just wondering whether haskell isn't in the same situation somewhat... a nice idea but a risk for a company |
| 18:44:11 | <boxscape> | Dysfunctional also something that took me forever to figure out is that this page exists, linked from the nixpkgs github, which documents how to use nix with various languages https://nixos.org/manual/nixpkgs/stable/#chap-language-support |
| 18:45:12 | → | python476 joins (~user@mfl93-13-83-155-250-136.fbx.proxad.net) |
| 18:45:14 | <python476> | hello there |
| 18:45:37 | <boxscape> | hi |
| 18:45:48 | <python476> | do you think it's possible to define a GUI monad ? |
| 18:46:04 | <python476> | like a parser but upon stream of user input events ? |
| 18:46:19 | × | tanuki quits (~quassel@173.168.154.189) (Ping timeout: 260 seconds) |
| 18:46:38 | → | olferino joins (~olferino@host-79-37-103-102.retail.telecomitalia.it) |
| 18:46:38 | × | olferino quits (~olferino@host-79-37-103-102.retail.telecomitalia.it) (Excess Flood) |
| 18:46:45 | <Dysfunctional> | boxscope ok, thanks, will be helpful! |
| 18:47:56 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 240 seconds) |
| 18:47:59 | <geekosaur> | there are free monad-based user interfaces, e.g. Prompt, for one interpretation of "GUI monad"; and there is monadic FRP for a different interpretation of "GUI monad" |
| 18:48:04 | → | Tario joins (~Tario@201.192.165.173) |
| 18:50:18 | → | mmfood_1 joins (~mmfood@45.135.187.76) |
| 18:50:55 | × | mmfood quits (~mmfood@45.135.187.76) (Ping timeout: 240 seconds) |
| 18:50:55 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 18:51:55 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 18:52:31 | → | NieDzejkob joins (~quassel@195.149.98.3) |
| 18:52:51 | <python476> | geekosaur: fair point |
| 18:54:14 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 18:54:58 | → | darjeeling_ joins (~darjeelin@122.245.208.86) |
| 18:55:23 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 18:55:43 | × | geekosaur quits (82650c7a@130.101.12.122) (Ping timeout: 240 seconds) |
| 18:56:16 | → | banyanRob joins (268ce492@38.140.228.146) |
| 18:58:35 | × | minoru_shiraeesh quits (~shiraeesh@5.101.59.4) (Ping timeout: 240 seconds) |
| 18:58:51 | → | minoru_shiraeesh joins (~shiraeesh@5.101.59.171) |
| 19:00:20 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-cjskmdmxlxsbgxmo) (Quit: Connection closed for inactivity) |
| 19:01:40 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:6d57:8fff:2704:b133) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:03:31 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:28 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 19:04:50 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 264 seconds) |
| 19:08:11 | × | ashepelev quits (~ashepelev@37.120.211.188) (Remote host closed the connection) |
| 19:08:35 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Ping timeout: 240 seconds) |
| 19:11:26 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6) |
| 19:12:23 | → | ddellacosta joins (~ddellacos@86.106.143.58) |
| 19:12:46 | → | tanuki joins (~quassel@173.168.154.189) |
| 19:13:24 | → | geekosaur joins (82650c7a@130.101.12.122) |
| 19:13:30 | → | asthasr joins (~asthasr@162.210.29.120) |
| 19:15:42 | → | CareBearemcho joins (~CareBeare@185.204.1.185) |
| 19:16:29 | × | asthasr quits (~asthasr@162.210.29.120) (Client Quit) |
| 19:18:34 | × | chisui quits (577bc9b7@i577BC9B7.versanet.de) (Quit: Connection closed) |
| 19:19:09 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 19:19:09 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 19:20:32 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 19:21:31 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 19:22:14 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:8c3e:8d1a:de68:76d3) (Ping timeout: 264 seconds) |
| 19:23:40 | × | tanuki quits (~quassel@173.168.154.189) (Quit: No Ping reply in 180 seconds.) |
| 19:23:55 | × | Tops22 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 19:23:56 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 19:24:26 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 19:24:34 | → | chisui joins (577bc9b7@i577BC9B7.versanet.de) |
| 19:25:04 | → | tanuki joins (~quassel@173.168.154.189) |
| 19:26:01 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 19:26:40 | × | ystael quits (~ystael@209.6.50.55) (Ping timeout: 260 seconds) |
| 19:29:27 | × | mmfood_1 quits (~mmfood@45.135.187.76) (Quit: Leaving) |
| 19:29:40 | × | gioyik quits (~gioyik@gateway/tor-sasl/gioyik) (Remote host closed the connection) |
| 19:30:18 | → | gioyik joins (~gioyik@gateway/tor-sasl/gioyik) |
| 19:31:11 | → | Tops21 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 19:32:48 | → | Tops22 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 19:34:39 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 245 seconds) |
| 19:34:43 | <sclv> | ?hoogle interact |
| 19:34:43 | <lambdabot> | Prelude interact :: (String -> String) -> IO () |
| 19:34:43 | <lambdabot> | System.IO interact :: (String -> String) -> IO () |
| 19:34:43 | <lambdabot> | Data.ByteString interact :: (ByteString -> ByteString) -> IO () |
| 19:35:07 | <sclv> | the "original" responsive interpretation of user events |
| 19:35:55 | × | Tops21 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 19:38:56 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 19:39:04 | → | acarrico joins (~acarrico@dhcp-68-142-39-249.greenmountainaccess.net) |
| 19:39:44 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 19:41:25 | → | Tops2 joins (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) |
| 19:41:27 | × | ddellacosta quits (~ddellacos@86.106.143.58) (Remote host closed the connection) |
| 19:41:59 | → | ddellacosta joins (~ddellacos@86.106.143.58) |
| 19:43:00 | × | tanuki quits (~quassel@173.168.154.189) (Quit: No Ping reply in 180 seconds.) |
| 19:44:16 | → | tanuki joins (~quassel@173.168.154.189) |
| 19:44:55 | × | Tops22 quits (~Tobias@dyndsl-095-033-090-074.ewe-ip-backbone.de) (Ping timeout: 240 seconds) |
| 19:47:09 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 19:47:15 | × | ddellacosta quits (~ddellacos@86.106.143.58) (Ping timeout: 240 seconds) |
| 19:54:30 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 19:54:39 | × | son0p quits (~son0p@181.136.122.143) (Ping timeout: 245 seconds) |
| 19:55:01 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 19:57:43 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 19:58:01 | → | mouseghost joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 19:58:01 | × | mouseghost quits (~draco@87-206-9-185.dynamic.chello.pl) (Changing host) |
| 19:58:01 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 20:00:37 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 20:01:21 | × | drakonis quits (~drakonis@unaffiliated/drakonis) (Quit: ZNC 1.8.2 - https://znc.in) |
| 20:03:31 | → | ixlun joins (~user@213.205.241.12) |
| 20:04:38 | → | drakonis joins (drakonis@unaffiliated/drakonis) |
| 20:05:39 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 260 seconds) |
| 20:05:47 | <ixlun> | Hi all, Is there a way to have a 'reference' to an object that's part of the state monad, so changes to it can be observed through the references? |
| 20:06:32 | × | ClaudiusMaximus quits (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 20:06:36 | → | superguest joins (~klf@67.216.62.0) |
| 20:06:43 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 20:07:10 | → | petersen joins (~petersen@redhat/juhp) |
| 20:07:45 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 20:07:48 | <merijn> | ixlun: By using a mutable reference? |
| 20:07:55 | × | nhs_ quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 240 seconds) |
| 20:08:52 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 20:09:40 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 20:09:46 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6) |
| 20:10:45 | <ixlun> | merijn: Yes, that's what I'm after |
| 20:10:53 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 20:10:56 | <merijn> | ixlun: No, that was the answer |
| 20:10:59 | <merijn> | Like IORef |
| 20:11:07 | <merijn> | or MVar/TVar |
| 20:11:34 | <superguest> | In general (i.e., functional programming), can we curry in the following fashion: f has signature f(p1, p2, ..., pN); and we do f "second_arg" 2 |
| 20:11:35 | <superguest> | ? |
| 20:11:40 | → | knupfer joins (~Thunderbi@i59F7FF45.versanet.de) |
| 20:11:58 | <ixlun> | Cool, thanks for that, I'll look at the docs :-) |
| 20:12:28 | <superguest> | similar, f "i-th_arg" i |
| 20:12:39 | <geekosaur> | in general when using such references, you use Reader instead of State since you'd be mutating the contents of the reference, not the reference itself |
| 20:13:54 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 20:14:00 | <geekosaur> | superguest, that's more an attribute of a language/syntax, scheme and the lisps support it but most other languages don't |
| 20:14:08 | <geekosaur> | if I understand what you're asking correctly |
| 20:14:10 | → | oish joins (~charlie@228.25.169.217.in-addr.arpa) |
| 20:14:31 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 20:14:37 | <ixlun> | geekosaur: Indeed, the reference itself is immutable for my use-case |
| 20:15:39 | <superguest> | perhaps I've forgot to illustrate what f "second_arg" 2 would return; it would return a function f1 that has signature f1(f1, f3, ... fN) |
| 20:16:05 | <geekosaur> | same answer |
| 20:16:47 | <geekosaur> | you can't really do that in Haskell or the MLs, you can do it in Scheme, it's less about functional programming than the language syntax and what that allows you to do |
| 20:18:18 | <superguest> | geekosaur, okay, is what I just illustrated still considered currying? |
| 20:18:53 | <geekosaur> | currying could be a part of it |
| 20:20:06 | × | jpds_ quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 20:20:44 | <geekosaur> | in haskell currying is between the standard form of function application and the tupled form; you can't really address tuples in the way you showed, though, so you can't really do this. (a form which used lists instead of tuples would be more amenable to it) |
| 20:21:45 | <geekosaur> | or if haskell had defined tuples differently than it does |
| 20:22:05 | → | jpds_ joins (~jpds@gateway/tor-sasl/jpds) |
| 20:22:20 | <minoru_shiraeesh> | ixlun: if the architecture makes you want to introduce mutables references, maybe you can choose another architecture? |
| 20:24:07 | <geekosaur> | superguest, in any case what you're really doing is partial application, not currying as such. (many people seem to confuse these) |
| 20:25:27 | <geekosaur> | currying is a means to achieve partial application in parameter order in haskell. modified forms of currying might allow partial application in other orders, but I doubt it'd be worth it in general |
| 20:25:59 | × | banyanRob quits (268ce492@38.140.228.146) (Quit: Connection closed) |
| 20:27:34 | <superguest> | that last remark clarifies it for me. |
| 20:28:36 | × | Pickchea quits (~private@unaffiliated/pickchea) (Ping timeout: 240 seconds) |
| 20:31:04 | <minoru_shiraeesh> | there should be other options that you can consider before introducing mutable references. You create pure subsystems in an impure framework which you also create. |
| 20:31:36 | <minoru_shiraeesh> | There are various ways of designing that framework and those subsystems. |
| 20:32:34 | <minoru_shiraeesh> | I don't know much about them, I'm in the process of investigating this subject. |
| 20:33:33 | <minoru_shiraeesh> | But one variation I can imagine is based on queues. |
| 20:33:34 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 20:33:40 | <geekosaur> | minoru_shiraeesh, sometimes one mutable reference is the price you pay for a program which is more comprehensible. or sometimes it's necessary (as when, for example, synchronizing data between multiple threads) |
| 20:33:40 | → | o1lo01ol1o joins (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) |
| 20:33:56 | <geekosaur> | it depends on the circumstances |
| 20:36:08 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 20:37:49 | → | cgadski_ joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 20:37:50 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Read error: Connection reset by peer) |
| 20:37:58 | × | o1lo01ol1o quits (~o1lo01ol1@bl7-89-228.dsl.telepac.pt) (Ping timeout: 245 seconds) |
| 20:38:27 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 20:39:23 | <minoru_shiraeesh> | geekosaur: you're implying that the programmer is experienced and considered other options, but what if it's a newbie that doesn't know other options? |
| 20:40:39 | × | superguest quits (~klf@67.216.62.0) (Quit: This computer has gone to sleep) |
| 20:41:30 | → | klf joins (~klf@67.216.62.0) |
| 20:41:38 | <geekosaur> | they're already trying to use State, which argues that they do |
| 20:42:20 | <minoru_shiraeesh> | so I think maybe the first thing to consider should be queues instead of mutable references. |
| 20:44:59 | <minoru_shiraeesh> | you have an application's state as data record (data MyState = ...), various commands (data Command = GoLeft, GoRight, etc), a queue of commands and a handler of type MyState Command -> MyState |
| 20:47:15 | → | ddellacosta joins (~ddellacos@86.106.143.123) |
| 20:48:02 | <minoru_shiraeesh> | I mean MyState -> Command -> MyState |
| 20:51:13 | → | Gurkenglas joins (~Gurkengla@unaffiliated/gurkenglas) |
| 20:51:46 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 20:53:48 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 20:54:16 | × | entel quits (uid256215@botters/entel) (Quit: Connection closed for inactivity) |
| 20:54:35 | <minoru_shiraeesh> | in OOP the Observable/Observer pattern handles that case |
| 20:55:03 | <minoru_shiraeesh> | the question is how do you translate the Observable/Observer pattern to fp |
| 20:55:19 | <klf> | thanks! |
| 20:56:26 | × | jess quits (jess@freenode/staff/jess) (Quit: K-Lined) |
| 20:57:20 | × | Pickchea quits (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 20:57:33 | → | jess joins (jess@freenode/staff/jess) |
| 20:59:49 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 21:00:04 | × | _ht quits (~quassel@82.169.194.8) (Remote host closed the connection) |
| 21:00:58 | <monochrom> | "tangible values" was a response to observable. |
| 21:01:49 | <monochrom> | I think that later FRP emerged and superseded it |
| 21:02:09 | × | dbmikus quits (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) (Ping timeout: 245 seconds) |
| 21:03:41 | <conal_> | Tangible values came well after FRP and was about direct manipulation of functionality-plus-GUI with a categorical flavored underpinning. |
| 21:03:52 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 21:04:30 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds) |
| 21:04:56 | × | Dysfunctional quits (959c7c03@nat.ds3.agh.edu.pl) (Quit: Connection closed) |
| 21:04:59 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 21:05:03 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 21:06:21 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 21:07:17 | → | dbmikus joins (~dbmikus@cpe-76-167-86-219.natsow.res.rr.com) |
| 21:07:36 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 21:07:55 | × | Yumasi quits (~guillaume@2a01:e0a:5cb:4430:513f:2e4a:e959:c989) (Ping timeout: 240 seconds) |
| 21:07:59 | × | ixlun quits (~user@213.205.241.12) (Ping timeout: 245 seconds) |
| 21:09:56 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 21:09:56 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 21:10:11 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 21:10:42 | → | lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:1c25:64cf:74a5:840b) |
| 21:10:57 | <python476> | conal_: are you still into FRP ? |
| 21:11:25 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 21:11:45 | <conal_> | python476: only in the background. still noodling some aspects. |
| 21:12:09 | × | oish quits (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 245 seconds) |
| 21:12:17 | <conal_> | hm. i wonder why my handle is "_"-suffixed. |
| 21:13:07 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 21:14:33 | <geekosaur> | freenode burped a couple days ago? |
| 21:15:17 | <int-e> | geekosaur: not sure what you mean, but there was a spam wave |
| 21:15:38 | × | xff0x quits (~xff0x@2001:1a81:5383:2100:76a2:26e:424a:1092) (Ping timeout: 260 seconds) |
| 21:15:53 | <conal_> | A problem with all of those state-update interfaces is that they wire in discreteness and thus discretization error, breaking simple, precise semantics, useful algebraic properties, and lots of optimization opportunities. Eliminating those properties by using continuous time was the original motivation for FRP. |
| 21:15:57 | → | fendor_ joins (~fendor@91.141.3.125.wireless.dyn.drei.com) |
| 21:15:58 | <geekosaur> | lots of joins/parts, and it wasn't just matrix |
| 21:16:05 | → | xff0x joins (~xff0x@2001:1a81:5383:2100:4da:5f51:727e:1977) |
| 21:16:27 | <conal_> | While imperative programming is deeply entwined with temporal discreteness, functional programming is not. |
| 21:17:02 | → | amartya joins (~amartya@84.65.86.130) |
| 21:17:15 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:18:11 | → | mputz joins (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) |
| 21:18:55 | × | fendor quits (~fendor@178.165.129.154.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 21:19:32 | <minoru_shiraeesh> | conal_: by descreteness you mean organizing the program as a big loop? |
| 21:21:54 | <conal_> | minoru_shiraeesh: Loops are one sign of discreteness, since they repeat only finitely often. Another is mutation. Another is lists. Another is anything like `MyState -> Command -> MyState`. |
| 21:23:01 | × | Wuzzy quits (~Wuzzy@p5b0df7c2.dip0.t-ipconnect.de) (Remote host closed the connection) |
| 21:23:49 | <minoru_shiraeesh> | are conduits relevant here? can you have a design in which you have a core running on conduits and pure modules? |
| 21:24:05 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 21:25:20 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:25:37 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 21:27:17 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 21:30:39 | → | st8less joins (~st8less@2603:a060:11fd:0:f217:d85a:8fff:99be) |
| 21:30:43 | → | kayvan joins (~user@52-119-115-185.PUBLIC.monkeybrains.net) |
| 21:33:23 | × | knupfer quits (~Thunderbi@i59F7FF45.versanet.de) (Ping timeout: 245 seconds) |
| 21:35:11 | × | Aquazi quits (uid312403@gateway/web/irccloud.com/x-fhcnshqczetlnffl) (Quit: Connection closed for inactivity) |
| 21:35:57 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 21:36:05 | × | forgottenone quits (~forgotten@176.42.24.53) (Remote host closed the connection) |
| 21:37:43 | × | _noblegas quits (uid91066@gateway/web/irccloud.com/x-qtxpmwkzibqndqvb) (Quit: Connection closed for inactivity) |
| 21:38:02 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 21:39:16 | × | nhs quits (~nhs@cpe-70-113-67-118.austin.res.rr.com) (Ping timeout: 240 seconds) |
| 21:39:30 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 21:39:53 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 21:41:16 | → | nbloomf joins (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6) |
| 21:42:36 | → | nhs joins (~nhs@cpe-70-113-67-118.austin.res.rr.com) |
| 21:43:50 | × | geekosaur quits (82650c7a@130.101.12.122) (Quit: Connection closed) |
| 21:44:56 | × | klf quits (~klf@67.216.62.0) (Quit: This computer has gone to sleep) |
| 21:49:02 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 21:51:05 | × | nbloomf quits (~nbloomf@2600:1700:ad14:3020:c491:50f:2150:49a6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:53:52 | → | conal joins (~conal@64.71.133.70) |
| 21:55:30 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 21:55:52 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 21:55:56 | → | mananamenos joins (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) |
| 21:57:55 | × | tweek quits (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 21:58:09 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 21:58:16 | <conal> | minoru_shiraeesh: I just looked at the haskell conduits library. It seems to be stream-oriented and thus intrinsically discrete as well. |
| 21:58:56 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 21:59:00 | <minoru_shiraeesh> | conal: I was about to post "maybe there is an article that demonstrates how to translate the Observer pattern to fp using conduits" |
| 21:59:29 | × | augnun quits (~augnun@2804:14c:658b:41bb:7154:d13c:3dbd:8655) (Quit: WeeChat 3.0.1) |
| 21:59:36 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 22:00:02 | × | st8less quits (~st8less@2603:a060:11fd:0:f217:d85a:8fff:99be) (Ping timeout: 264 seconds) |
| 22:00:25 | <minoru_shiraeesh> | conal: so if I take a knife and slice a rope to pieces, then those pieces are descrete, right? |
| 22:00:51 | <minoru_shiraeesh> | but if I take a lot of ropes and make a net, then that net is not descrete |
| 22:01:15 | <python476> | conal: how does continuity works in FRP since machines (most of them) are discrete in the end |
| 22:01:17 | → | st8less joins (~st8less@2603:a060:11fd:0:f217:d85a:8fff:99be) |
| 22:01:25 | <conal> | minoru_shiraeesh: beware that the term "fp" has become very loose. see http://conal.net/blog/posts/is-haskell-a-purely-functional-language#comment-626 . |
| 22:01:34 | <minoru_shiraeesh> | is this image helpful in understanding descreteness you are talking about? |
| 22:01:52 | <Cale> | python476: The key is that you may only need to observe a continuous function at finitely many points in the end |
| 22:02:18 | <python476> | so sampling |
| 22:02:33 | × | Franciman quits (~francesco@host-82-49-79-189.retail.telecomitalia.it) (Quit: Leaving) |
| 22:02:36 | <Cale> | Yeah |
| 22:02:39 | <conal> | python476: machines aren't discrete, since they're made of matter. discreteness is an abstraction. besides, programming is not about modeling the limitations of technology. just as you can write about things other than pencils. |
| 22:03:07 | <conal> | yes, what Cale said. exactly as with lazy infinite structures. |
| 22:03:24 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:03:38 | <conal> | infiniteness and continuity enable modularity in ways that finiteness and discreteness prevent. |
| 22:03:55 | × | lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:1c25:64cf:74a5:840b) (Ping timeout: 240 seconds) |
| 22:03:56 | <python476> | yes but so far your processor is your paradigm bottleneck, I don't have access to electrons from my compiler |
| 22:03:58 | <conal> | See the classic paper "Why functional programming matters". |
| 22:04:26 | × | bergey quits (~user@pool-74-108-99-127.nycmny.fios.verizon.net) (Remote host closed the connection) |
| 22:04:32 | <python476> | I skimmed through it but .. I don't remember this side, so I guess i'll have to re-read it |
| 22:04:45 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 22:05:22 | <minoru_shiraeesh> | conal: doesn't that mean that IO is by definition descrete? |
| 22:05:32 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 22:05:41 | <Cale> | Reflex doesn't have a great story at present for defining Behaviors (functions of time) that don't change at discrete moments in time, but it also doesn't let you observe the fact that a Behavior changes discretely, and even if your Behavior is only changing discretely, this distinction that it it's impossible to tell whether it's changing continuously is an important thing for the design of systems. |
| 22:06:19 | <minoru_shiraeesh> | so your program become descrete too, or it should have a non-discrete to descrete translation layer if it wants to interact with the world |
| 22:06:36 | → | lambda-11235 joins (~lambda-11@2600:1700:7c70:4600:1c25:64cf:74a5:840b) |
| 22:08:44 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 260 seconds) |
| 22:09:19 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 260 seconds) |
| 22:09:23 | → | augnun joins (~augnun@2804:14c:658b:41bb:6357:d1d8:c301:8b07) |
| 22:09:37 | <monochrom> | I was not convinced of non-discreteness either. But I am OK with "the API looks continuous and doesn't let you prove it's discrete", it may make things simpler. |
| 22:09:39 | <Cale> | If you're particularly operationally minded, you can think of FRP Events as representing permission to do computation at the moments at which they occur, while Behaviors don't give you that permission, but can be observed at any moment in time. |
| 22:09:54 | → | coot joins (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) |
| 22:10:27 | <conal> | python476: whenever you think programming notions have to reflect technology limitations, think of infinite data structures and continuous (resolution-independent) graphics. Also that we've been using finite alphabets and discrete inference rules to talk about continuous phenomena in math for hundreds of years. |
| 22:10:29 | <Cale> | Observing the value of a Behavior might in principle poll an external sensor |
| 22:11:27 | <Cale> | (though there must be some caching present, since if you use that value a second time in the same moment, it should have a single definite value at any moment in time) |
| 22:11:49 | <monochrom> | Hey the insistence of finite-proof-length actually is a contributing factor to all level of undecidability weirdness. I'm not sure it is a plus. :) |
| 22:13:13 | <python476> | conal: I get that we can think and model notion that lies outside the machines but in their realization i fail to understand how it would work |
| 22:13:55 | × | coot quits (~coot@37.30.55.141.nat.umts.dynamic.t-mobile.pl) (Ping timeout: 240 seconds) |
| 22:14:11 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 22:15:33 | → | jamm_ joins (~jamm@unaffiliated/jamm) |
| 22:16:27 | <monochrom> | But I can understand the carrying over of the reasoning from the benefits of infinite lists to the benefits of continuous-time functions. |
| 22:16:53 | <monochrom> | Let me start with the infinite list story, which is the "why FP matters" paper story. |
| 22:17:40 | <monochrom> | I am a list producer. But no one tells me when to stop, for decoupling sake. So I write code that pretends to keep producing to no end. |
| 22:17:55 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 22:18:06 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 22:18:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 22:18:59 | <monochrom> | We all "know" that the consumer is going to consume a just finite prefix. But for decoupling stake my code is not told that. And we have an overarching mechanism that pipes my code to consumer code and ensures I don't work much harder than what the consumer ends up needing. |
| 22:19:32 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 22:20:10 | <monochrom> | So the way you carry over this style to FRP is this. I am coding up some time-varying thing. I am not told what times a consumer wants to poll me, so I write code that pretends it's continuous time. |
| 22:20:22 | × | jamm_ quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 22:20:38 | × | st8less quits (~st8less@2603:a060:11fd:0:f217:d85a:8fff:99be) (Quit: WeeChat 2.9) |
| 22:20:48 | → | st8less joins (~st8less@2603:a060:11fd:0:f217:d85a:8fff:99be) |
| 22:21:06 | × | lambda-11235 quits (~lambda-11@2600:1700:7c70:4600:1c25:64cf:74a5:840b) (Max SendQ exceeded) |
| 22:21:26 | <monochrom> | At a meta-level we "know" that the consumer is going to poll at only finitely many points of time, even non-Zeno discrete ones. But for decoupling sake I am not told that. It sounds like it enables interesting decouplings. |
| 22:21:43 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 22:23:53 | × | ddellacosta quits (~ddellacos@86.106.143.123) (Remote host closed the connection) |
| 22:24:19 | → | klf joins (~klf@67.216.62.0) |
| 22:24:26 | → | ddellacosta joins (~ddellacos@86.106.143.123) |
| 22:24:39 | <monochrom> | And yeah the vector graphics argument too. If you work with continuous space and delay pixelation maximally, you can do very interesting compositional things. |
| 22:25:15 | × | cgadski_ quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 22:26:01 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 22:26:04 | <monochrom> | Hell in fact you work like s/delay pixelation maximally/let someone else worry about pixelation/ |
| 22:26:42 | × | dhouthoo quits (~dhouthoo@ptr-eitgbj2w0uu6delkbrh.18120a2.ip6.access.telenet.be) (Quit: WeeChat 3.0) |
| 22:27:36 | × | klf quits (~klf@67.216.62.0) (Client Quit) |
| 22:29:03 | → | klf joins (~klf@67.216.62.0) |
| 22:29:36 | × | ddellacosta quits (~ddellacos@86.106.143.123) (Ping timeout: 240 seconds) |
| 22:29:40 | → | DataComputist joins (~lumeng@50.43.26.251) |
| 22:30:32 | <monochrom> | What I have a little bit of reservation (but only a little) is that if you go with the space ℝ->Thing, you have a lot of uncomputable functions there. That space is full of junk. |
| 22:30:56 | × | darjeeling_ quits (~darjeelin@122.245.208.86) (Ping timeout: 240 seconds) |
| 22:31:22 | <conal> | True for infinite sequences as well. |
| 22:31:23 | <monochrom> | Fortunately, normally I'm happy to have junk in my space when it makes other things I care simpler. |
| 22:32:01 | <minoru_shiraeesh> | this discussion feels like "things went from 0 to 100 real fast" meme |
| 22:32:47 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 22:32:50 | <monochrom> | Sure. Why not. |
| 22:32:55 | <minoru_shiraeesh> | like a descrete jump from down-to-earth stuff to the heights of abstraction |
| 22:33:01 | <conal> | Or, isomorphically, Nat -> Bool. |
| 22:33:23 | → | araujo joins (~textual@45.56.153.95) |
| 22:33:47 | araujo | is now known as Guest75841 |
| 22:33:50 | <minoru_shiraeesh> | how do I apply this non-descreteness in practice when coding? |
| 22:34:00 | <minoru_shiraeesh> | and designing architectures |
| 22:34:07 | <monochrom> | Start with SVG, like I siad? >:) |
| 22:34:39 | <minoru_shiraeesh> | I mean, let's say we want to write a simple click counter |
| 22:34:42 | <monochrom> | Your 4K display is pixalated but when you write an SVG file you just don't care. |
| 22:35:00 | <koz_> | monochrom: A fun of junk in the trunk^Wspace. |
| 22:35:02 | <minoru_shiraeesh> | or a calculator with gui |
| 22:35:10 | × | Guest75841 quits (~textual@45.56.153.95) (Client Quit) |
| 22:35:21 | <python476> | for some reason I fail how to use the svg metaphor for time |
| 22:35:29 | <minoru_shiraeesh> | so, where is the non-descrete stuff in click counter or in gui calculator? |
| 22:36:00 | <python476> | and in the case of vector graphics, the idea is that discretization is a form of information loss |
| 22:36:12 | <python476> | so keeping the vector/svg abstraction as long as possible is best |
| 22:36:30 | <python476> | only at the latest time your produce 'degraded results' so to minimize loss |
| 22:36:32 | <python476> | am i off ? |
| 22:36:49 | <monochrom> | I think for a click counter you say you're given, by the system, a function ℝ->Bool that says "\t -> is there a mouse down at time t?". |
| 22:37:11 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:37:20 | <monochrom> | If you integrate that function, you get "\t -> how many clicks have there been up to time t?" |
| 22:37:38 | <python476> | t being some representation of reals |
| 22:37:53 | → | araujo joins (~textual@unaffiliated/araujo) |
| 22:38:00 | <monochrom> | Then you let a system-provided render to display "the current # of clicks". |
| 22:38:07 | araujo | greets around :) |
| 22:38:08 | <python476> | are we going back to analog computers ? (I often joke we are recreating live continuous analog computers) |
| 22:38:19 | python476 | co-greets araujo |
| 22:38:20 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 22:38:29 | <araujo> | python476 :D |
| 22:38:48 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 22:38:51 | <monochrom> | This is just cause for joining me in learning measure theory. >:) |
| 22:39:09 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 22:39:33 | <monochrom> | "It's integration all the way down. Oh and Radon-Nikodym derivatives." |
| 22:39:39 | × | LKoen quits (~LKoen@252.248.88.92.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 22:40:46 | <monochrom> | I don't like the name Radon-Nikodym. It only reminds me of radioactive gas and the drivers in earphones. >:) |
| 22:41:21 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 264 seconds) |
| 22:43:42 | <minoru_shiraeesh> | but you don't typically write functions that take time instant as a parameter, not for click counter at least. |
| 22:43:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 22:44:10 | <monochrom> | I don't typically write GUIs at all. |
| 22:44:37 | → | supastupid joins (~dexter@c-73-249-54-43.hsd1.nh.comcast.net) |
| 22:44:49 | <supastupid> | can i ask about XMonad here? |
| 22:45:02 | <monochrom> | A lot of programmers out there don't typically write or call curried functions. |
| 22:45:27 | <monochrom> | "you don't typically do" is a weak argument. |
| 22:45:54 | <python476> | monochrom: btw buy GUI i mean any user interface, it includes TUI in a way |
| 22:46:09 | <minoru_shiraeesh> | I mean, a function from a time instant to a number of clicks - that is still too abstract notion |
| 22:46:33 | <monochrom> | I don't typically write TUI either. Apart from getArgs and a couple of getLine's. |
| 22:47:02 | <minoru_shiraeesh> | in practice you would have an object in OOP, or a function from state to state in fp or something like that. |
| 22:47:30 | <monochrom> | In practice I avoid OOP. |
| 22:47:35 | → | danvet_ joins (~danvet@212-51-149-181.fiber7.init7.net) |
| 22:47:37 | <koz_> | In practice OOP is meaningless. |
| 22:47:44 | <koz_> | It's just handwaving and appeals to intuition. |
| 22:48:34 | <monochrom> | If you ask me what I would do if I have a GUI to hand in right now right here, I would go with whatever model gtk+ uses, sure. |
| 22:48:44 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 22:48:53 | <monochrom> | Doesn't mean I want this model forever. |
| 22:48:56 | <minoru_shiraeesh> | so, how do you apply non-descrete stuff when designing an architecture of, say, a click counter or a gui calculator, or any non-trivial program |
| 22:49:22 | <minoru_shiraeesh> | I imagine an answer like "there are streams" |
| 22:49:28 | <python476> | koz_: I (very .. very very) often fantasize suing the IT field for making me learn java/oo |
| 22:49:29 | <minoru_shiraeesh> | or something like that |
| 22:49:31 | <monochrom> | I already described my solution to click counter. |
| 22:49:48 | <monochrom> | For larger examples I would start charging consultation fees. |
| 22:50:07 | <python476> | so much bikeshedding discussions about where to place whatever bad side effect disguised as programming expert talk |
| 22:50:11 | <minoru_shiraeesh> | how do I translate a notion of a function from time instant to number of click to an actual code? |
| 22:50:39 | <minoru_shiraeesh> | like "use this library" |
| 22:50:49 | <minoru_shiraeesh> | or "use this monad" |
| 22:51:18 | × | apache8080 quits (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 245 seconds) |
| 22:51:39 | <monochrom> | In fact I think the ℝ->Thing model fits DirectX game engines more than ever. Right? Those game engines are frameworks that say "I tell you the time now is 3 o'clock, you tell me what to draw now" |
| 22:51:39 | <python476> | talking about streams, I just finished 'the reasoned schemer' and it's mostly streams of unified substitution.. any of you know haskell articles about relational interpreters ? |
| 22:52:04 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 22:52:18 | → | Axman6 joins (~Axman6@pdpc/supporter/student/Axman6) |
| 22:52:36 | → | darjeeling_ joins (~darjeelin@122.245.208.86) |
| 22:52:41 | <monochrom> | You are not even supposed to code up a lazy stream when you use a game engine. |
| 22:53:53 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 22:54:42 | → | ystael joins (~ystael@209.6.50.55) |
| 22:54:49 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 260 seconds) |
| 22:55:16 | <minoru_shiraeesh> | ok, I'm trying to understand how to apply it in practice. we don't need the "time instant" parameter, so we have a function something like currentNumberOfClicks :: Int, right? |
| 22:55:39 | <minoru_shiraeesh> | so, that function represents some non-discrete thing |
| 22:56:04 | → | apache8080 joins (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 22:56:30 | <minoru_shiraeesh> | in haskell it would have a type IO Int |
| 22:56:38 | → | kupi joins (uid212005@gateway/web/irccloud.com/x-vhrafoxqkobeyjua) |
| 22:57:16 | → | egp_ joins (~egp_@2.95.74.168) |
| 22:57:40 | <minoru_shiraeesh> | so, if I think in terms of functions like (currentNumberOfClicks :: IO Int) - that means I'm thinking in terms of some non-descrete things, right? |
| 22:57:59 | → | Tario joins (~Tario@200.119.185.141) |
| 22:58:40 | → | conal joins (~conal@152.89.204.163) |
| 23:00:05 | × | araujo quits (~textual@unaffiliated/araujo) (Quit: see ya...) |
| 23:00:37 | → | araujo joins (~araujo@45.56.153.95) |
| 23:00:38 | × | araujo quits (~araujo@45.56.153.95) (Changing host) |
| 23:00:38 | → | araujo joins (~araujo@unaffiliated/araujo) |
| 23:02:34 | <Axman6> | an IO Int is a recipe which, when _exxecuted_ will produce an Int. It may always return the same int (return 7), it may always return a new int (do { i <- readIORef ref; writeIORef ref (i+1); return i }), it may return a random IOReg (getRandomIO). I'm not sure if discrete and non-discrete come into it |
| 23:03:34 | <Axman6> | exxecution is like execution, but more badass |
| 23:03:43 | <Axman6> | while still being kid friendly |
| 23:03:47 | × | fendor_ quits (~fendor@91.141.3.125.wireless.dyn.drei.com) (Quit: Leaving) |
| 23:04:25 | <koz_> | As opposed to exxxecution. |
| 23:04:29 | <koz_> | Which is not kid-friendly. |
| 23:05:59 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 23:06:06 | × | Chobbes_ quits (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 1.9.1) |
| 23:06:06 | × | chirpsal1 quits (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) (Quit: WeeChat 1.9.1) |
| 23:06:56 | → | chirpsalot joins (~Chirps@pool-98-115-239-235.phlapa.fios.verizon.net) |
| 23:06:58 | → | Chobbes joins (~Chobbes@pool-98-115-239-235.phlapa.fios.verizon.net) |
| 23:08:03 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) (Remote host closed the connection) |
| 23:09:41 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 23:09:49 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 23:10:20 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 23:10:35 | <minoru_shiraeesh> | unless you're dealing with delays as part of application's domain model, you don't need a parameter representing a time instant, because you can imagine that it is passed implicitly |
| 23:11:36 | <minoru_shiraeesh> | so any function becomes non-descreet, if I understood the notion correctly |
| 23:11:54 | <minoru_shiraeesh> | but then the notion becomes useless, because it applies to everything |
| 23:13:58 | <minoru_shiraeesh> | you can say "do this thing" instead of "imagine a mapping from time instants to actions and execute an action that corresponds to current time instant" |
| 23:14:47 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 23:15:35 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 240 seconds) |
| 23:15:48 | × | dibblego quits (~dibblego@haskell/developer/dibblego) (Ping timeout: 246 seconds) |
| 23:16:46 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:16:48 | × | Tario quits (~Tario@200.119.185.141) (Read error: Connection reset by peer) |
| 23:17:23 | → | Tario joins (~Tario@201.192.165.173) |
| 23:18:16 | → | epicte7us joins (~epictetus@ip72-194-215-136.sb.sd.cox.net) |
| 23:21:15 | × | ep1ctetus quits (~epictetus@ip72-194-215-136.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 23:22:39 | × | conal quits (~conal@152.89.204.163) (Quit: Computer has gone to sleep.) |
| 23:24:14 | × | kayvan quits (~user@52-119-115-185.PUBLIC.monkeybrains.net) (Ping timeout: 245 seconds) |
| 23:24:56 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 240 seconds) |
| 23:25:32 | → | conal joins (~conal@192.145.118.157) |
| 23:25:51 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 23:29:35 | → | heatsink joins (~heatsink@2600:1700:bef1:5e10:7853:81e7:49e6:31d8) |
| 23:29:56 | × | klf quits (~klf@67.216.62.0) (Quit: This computer has gone to sleep) |
| 23:32:21 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 23:32:44 | × | danvet_ quits (~danvet@212-51-149-181.fiber7.init7.net) (Ping timeout: 260 seconds) |
| 23:33:01 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 272 seconds) |
| 23:33:19 | × | monokrome|stole quits (~monokrome@23-24-202-21-static.hfc.comcastbusiness.net) (Quit: WeeChat 2.8) |
| 23:34:09 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 23:34:12 | × | MethMom quits (~root@097-103-176-123.res.spectrum.com) (Remote host closed the connection) |
| 23:35:22 | <perrier-jouet> | hi all |
| 23:35:35 | × | rj quits (~x@gateway/tor-sasl/rj) (Ping timeout: 268 seconds) |
| 23:36:24 | → | klf joins (~klf@67.216.62.0) |
| 23:36:29 | <perrier-jouet> | I installed my haskell setup like stack setup --system-ghc --resolver ghc-8.10.4 and when I did stacl install pandoc I got this error |
| 23:37:11 | <perrier-jouet> | https://ix.io/2Rmh |
| 23:37:11 | × | araujo quits (~araujo@unaffiliated/araujo) (Quit: My laptop has gone to ZZZzzz…) |
| 23:37:24 | × | raehik1 quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 23:37:27 | <perrier-jouet> | sorry |
| 23:37:27 | × | augnun quits (~augnun@2804:14c:658b:41bb:6357:d1d8:c301:8b07) (Quit: WeeChat 3.0.1) |
| 23:37:33 | <perrier-jouet> | http://ix.io/2Rmh |
| 23:38:18 | → | rj joins (~x@gateway/tor-sasl/rj) |
| 23:38:28 | <monochrom> | Perhaps you have to settle with an older GHC, as said. |
| 23:38:35 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 23:39:19 | <monochrom> | Perhaps not so much stack itself but what's on stackage. |
| 23:39:21 | <Axman6> | those errors at the top looks like you have a very old stack |
| 23:39:43 | <monochrom> | Oh, that. |
| 23:39:57 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 23:40:06 | × | curiousgay quits (~AdminUser@178.217.208.8) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 23:40:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:41:09 | <perrier-jouet> | I just did stack updater |
| 23:41:12 | <perrier-jouet> | update |
| 23:41:23 | <Axman6> | what's stack --version say? |
| 23:41:35 | → | curiousgay joins (~gay@178.217.208.8) |
| 23:41:39 | <Axman6> | the update might have run but you have an older stack earlier in your path |
| 23:41:58 | <perrier-jouet> | Version 2.1.3, Git revision 636e3a759d51127df2b62f90772def126cdf6d1f (7735 commits) x86_64 hpack-0.31.2 |
| 23:42:31 | <Axman6> | try running stack upgrade |
| 23:42:32 | × | conal quits (~conal@192.145.118.157) (Remote host closed the connection) |
| 23:43:09 | → | conal joins (~conal@192.145.118.163) |
| 23:43:23 | × | mputz quits (~Thunderbi@dslb-088-064-063-125.088.064.pools.vodafone-ip.de) (Ping timeout: 245 seconds) |
| 23:44:04 | × | __monty__ quits (~toonn@unaffiliated/toonn) (Quit: leaving) |
| 23:44:56 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 23:44:57 | × | elfets quits (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 264 seconds) |
| 23:46:44 | <perrier-jouet> | Axman6: now I have stack version 2.5.1 and still can't install pandoc |
| 23:46:55 | <ggVGc> | python476: if you hadn't learnt java, or C++ (or python), then how could you appreciate all the things that are not those, and avoid walking into all the same traps yourself later when you decide (as we all do) to make your own programming environment? |
| 23:47:29 | → | tweek joins (~tweek@2603-6010-b207-6d3b-058f-45fa-65e0-88fa.res6.spectrum.com) |
| 23:47:30 | <perrier-jouet> | Axman6: error http://ix.io/2Rml |
| 23:48:33 | <supastupid> | sorry |
| 23:48:48 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 23:49:19 | <supastupid> | i had to leave for a bit, can i ask about XMonad here? |
| 23:50:20 | <ggVGc> | you're probably better off asking in their channel. But since a lot about using xmonad is writing haskell, if the questions are about that, then you'll probably get good answers here |
| 23:50:49 | <ggVGc> | personally I tried using xmonad for years while not learning haskell first, which was a bad time |
| 23:50:57 | × | mananamenos quits (~mananamen@193.red-88-11-66.dynamicip.rima-tde.net) (Ping timeout: 264 seconds) |
| 23:51:12 | <Axman6> | perrier-jouet: I have a feeling that " stack setup --system-ghc --resolver ghc-8.10.4" doesn't necessarilly do what you think it does. I think you may need to do stack --system-ghc install pandoc. That error looks very much like it can't find c0ompatible libraries though, can you try running stack update? (I thionk you may have already but just being sure that stack knows about all the versions) |
| 23:52:11 | <perrier-jouet> | Axman6: ok I will restart stack setup without the --systemghc |
| 23:52:25 | <Axman6> | perrier-jouet: on my machine, if I run `stack install pandoc` in my home directory (so there's no stack.yaml visible to it) it works fine. |
| 23:52:35 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 23:52:37 | <supastupid> | i have this variable with a xmobar process in it and a settings block references it and it says it's out of scope, how do i make this variable-process global? |
| 23:52:43 | × | chisui quits (577bc9b7@i577BC9B7.versanet.de) (Quit: Connection closed) |
| 23:52:46 | <Axman6> | perrier-jouet: If you just need the pandoc executable then I don't think you need to run stack setup at all |
| 23:52:47 | → | chisui89 joins (577bc9b7@i577BC9B7.versanet.de) |
| 23:53:35 | <Axman6> | stack setup is for writing new Haskell projects, it's not needed if you want to install tools using stack. what is your end goal from installing pandoc? |
| 23:55:22 | <Axman6> | supastupid: can you share the code? those words don't mean much to me |
| 23:55:31 | → | fissureman joins (~quassel@c-73-201-159-163.hsd1.dc.comcast.net) |
| 23:55:44 | <sm[m]> | perrier-jouet: I seem to remember that pandoc is not well packaged in stackage right now. If you want to build it, it's best to clone pandoc source and run stack install inside that directory |
| 23:55:47 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 23:56:06 | <Axman6> | WFM :\ |
| 23:56:39 | × | klf quits (~klf@67.216.62.0) (Ping timeout: 260 seconds) |
| 23:57:00 | <sm[m]> | but seriously consider finding a binary install method instead, it is a very heavy build |
| 23:57:05 | → | klf joins (~klf@67.216.62.0) |
| 23:58:00 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 23:58:06 | <perrier-jouet> | wow |
| 23:58:13 | <perrier-jouet> | nothing works |
| 23:58:21 | <perrier-jouet> | I restart from scratch |
| 23:58:24 | <sm[m]> | Axman6: interesting, what global stackage resolver did you have configured when it worked for you ? An old one ? |
| 23:58:40 | <perrier-jouet> | stack setup, stack install happstack same error |
| 23:58:58 | <sm[m]> | perrier-jouet: don't run stack setup, it's not needed |
| 23:58:59 | → | geowiesnot_bis joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 23:59:05 | <Axman6> | hwo do I check that agin? |
| 23:59:09 | <monochrom> | I just "apt install pandoc" from ubuntu. I reasoned that pandoc is pretty mature, so a yesteryear version doesn't really miss out much. |
| 23:59:26 | <supastupid> | Axman6: https://dpaste.com/6PFZZKXHU |
| 23:59:31 | <supastupid> | xmproc is the variable |
| 23:59:32 | <sm[m]> | Axman6: ~/.stack/global-project/stack.yaml |
| 23:59:43 | <Axman6> | yeah stack setup is not related to what you're trying to do |
All times are in UTC on 2021-03-01.