Logs: freenode/#haskell
| 2020-10-04 18:23:39 | <justsomeguy> | Yes, that sounds like a good choice. |
| 2020-10-04 18:23:49 | <maerwald> | Just make sure you don't use 90% of those silly playbooks |
| 2020-10-04 18:23:50 | <kindaro> | I have no preference as to the order of execution, everything will be forced in the end. |
| 2020-10-04 18:24:07 | × | elliott__ quits (~elliott@2607:fb90:18d5:a5f3:100d:8762:6765:2dc) (Ping timeout: 272 seconds) |
| 2020-10-04 18:24:39 | <maerwald> | (even the "install python" playbooks are mostly broken... ) |
| 2020-10-04 18:24:48 | <maerwald> | so geekosaur is pretty much correct :p |
| 2020-10-04 18:24:56 | <monochrom> | logict is probably the CPS-based ListT alternative |
| 2020-10-04 18:25:14 | <monochrom> | err you already know logict |
| 2020-10-04 18:25:30 | × | cheater quits (~user@unaffiliated/cheater) (Ping timeout: 272 seconds) |
| 2020-10-04 18:25:40 | → | michalrus joins (m@michalrus.com) |
| 2020-10-04 18:25:57 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-04 18:26:11 | → | sand_dull joins (~theuser@179.48.249.132) |
| 2020-10-04 18:26:47 | <sm[m]> | maerwald these are good points. One plus I found for propellor was that (for a haskeller) it's small and simple enough to understand relatively quickly, unlike all the other config management tools |
| 2020-10-04 18:27:01 | <maerwald> | sm[m]: the types are not easy |
| 2020-10-04 18:27:12 | <sm[m]> | no |
| 2020-10-04 18:27:39 | <sm[m]> | but I was just following the examples |
| 2020-10-04 18:27:42 | <maerwald> | https://hackage.haskell.org/package/propellor-5.12/docs/Propellor-Types-MetaTypes.html#t:DebianLike |
| 2020-10-04 18:28:04 | <ski> | iirc, there may've been some simpler one (without interleaving) |
| 2020-10-04 18:28:39 | <maerwald> | check the IfStuck type family :p |
| 2020-10-04 18:28:57 | → | cheater joins (~user@unaffiliated/cheater) |
| 2020-10-04 18:28:58 | × | conal_ quits (~conal@209.58.131.35) (Quit: Computer has gone to sleep.) |
| 2020-10-04 18:29:10 | × | zacts quits (~zacts@dragora/developer/zacts) (Quit: leaving) |
| 2020-10-04 18:29:42 | <maerwald> | config doesn't need strong types, because you don't need to compile config... you need to *check* it |
| 2020-10-04 18:29:50 | → | p0a joins (~user@unaffiliated/p0a) |
| 2020-10-04 18:30:44 | <maerwald> | propellor goes the opposite way and extending the expressivity instead of minimizing it |
| 2020-10-04 18:30:57 | <maerwald> | which I think is the wrong approach for the problem domain |
| 2020-10-04 18:31:51 | × | Cale quits (~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com) (Remote host closed the connection) |
| 2020-10-04 18:33:10 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-04 18:33:10 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-04 18:33:10 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-04 18:33:13 | × | raehik1 quits (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2020-10-04 18:33:35 | <sm[m]> | maerwald: nowadays some would say nixos or nixpkgs is the way |
| 2020-10-04 18:33:44 | → | Cale joins (~cale@CPEf48e38ee8583-CM0c473de9d680.cpe.net.cable.rogers.com) |
| 2020-10-04 18:33:45 | × | GyroW_ quits (~GyroW@unaffiliated/gyrow) (Ping timeout: 240 seconds) |
| 2020-10-04 18:33:54 | <maerwald> | sm[m]: theoretically, if you ignore the bad ergonomics |
| 2020-10-04 18:33:55 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2020-10-04 18:34:57 | <sm[m]> | it has the same problem as the other tools (big and complicated, big investment required) |
| 2020-10-04 18:35:19 | → | Amras joins (~Amras@unaffiliated/amras0000) |
| 2020-10-04 18:35:31 | <maerwald> | it leaks memory, disk space and you need someone with a minimum of 3 years experience to fix any non-trivial nix problems |
| 2020-10-04 18:35:39 | × | kindaro quits (1f08f246@h31-8-242-70.dyn.bashtel.ru) (Remote host closed the connection) |
| 2020-10-04 18:35:53 | geekosaur | observes that ansible started out as "the answer" to those problems |
| 2020-10-04 18:36:12 | <geekosaur> | i.e. they come with the territory, it turns out |
| 2020-10-04 18:36:17 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Remote host closed the connection) |
| 2020-10-04 18:36:17 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-04 18:36:35 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-04 18:36:57 | hackage | reflex-dom-pandoc 0.4.0.0 - Render Pandoc documents to HTML using reflex-dom https://hackage.haskell.org/package/reflex-dom-pandoc-0.4.0.0 (sridca) |
| 2020-10-04 18:37:04 | <maerwald> | last time I ran nix-env on my pc it locked 6GB of ram doing nothing and then ate 20GB of disk space while it was compiling unrelated GHC versions (8.4.4 or something) until it OOMed out |
| 2020-10-04 18:37:25 | → | conal joins (~conal@209.58.131.35) |
| 2020-10-04 18:38:17 | <maerwald> | I don't know why tools keep installing random GHC versions for me |
| 2020-10-04 18:39:17 | <maerwald> | but yes, it's nice in theory :) |
| 2020-10-04 18:40:52 | × | GyroW quits (~GyroW@unaffiliated/gyrow) (Quit: Someone ate my pie) |
| 2020-10-04 18:41:35 | → | GyroW joins (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) |
| 2020-10-04 18:41:35 | × | GyroW quits (~GyroW@ptr-48ujrfd1ztq5fjywfw3.18120a2.ip6.access.telenet.be) (Changing host) |
| 2020-10-04 18:41:35 | → | GyroW joins (~GyroW@unaffiliated/gyrow) |
| 2020-10-04 18:41:44 | → | snakemasterflex joins (~snakemast@213.100.206.23) |
| 2020-10-04 18:42:29 | → | mav1 joins (~mav@i5E86200D.versanet.de) |
| 2020-10-04 18:42:45 | <Rembane> | maerwald: I think they don't want the installed GHCs to feel lonely. |
| 2020-10-04 18:44:19 | × | conal quits (~conal@209.58.131.35) (Quit: Computer has gone to sleep.) |
| 2020-10-04 18:44:22 | <maerwald> | and I don't even know how to decrease disk space in nix. I'm scared to touch any of it, because next time it will build for 3 hours again. |
| 2020-10-04 18:44:27 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2020-10-04 18:45:37 | <dolio> | ski: LogicT doesn't do any fancy interleaving on its own. It's CPS list like monochrom said. The interleaving comes from using different (overloaded) functions. |
| 2020-10-04 18:45:43 | <geekosaur> | supposedly it's open to garbage collection but I've not played with it enough to know how |
| 2020-10-04 18:46:01 | <dolio> | But those could be implemented for list, even. |
| 2020-10-04 18:47:02 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2020-10-04 18:47:20 | → | p-core joins (~Thunderbi@cst-prg-34-77.cust.vodafone.cz) |
| 2020-10-04 18:48:24 | → | John20 joins (~John@82.46.59.122) |
| 2020-10-04 18:48:37 | <dolio> | At least, if you mean 'interleaving choice' type stuff. |
| 2020-10-04 18:49:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 265 seconds) |
| 2020-10-04 18:50:50 | × | DavidEichmann quits (~david@43.240.198.146.dyn.plus.net) (Ping timeout: 272 seconds) |
| 2020-10-04 18:53:49 | × | jle` quits (~mstksg@unaffiliated/mstksg) (Ping timeout: 265 seconds) |
| 2020-10-04 18:54:55 | → | chaosmasttter joins (~chaosmast@p200300c4a73b2e0168c1f453f2fcf16d.dip0.t-ipconnect.de) |
| 2020-10-04 18:56:58 | → | shatriff joins (~vitaliish@217.27.153.240) |
| 2020-10-04 18:57:15 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-04 18:59:45 | → | raehik1 joins (~raehik@cpc96984-rdng25-2-0-cust109.15-3.cable.virginm.net) |
| 2020-10-04 18:59:55 | × | machinedgod quits (~machinedg@45.78.189.122) (Ping timeout: 240 seconds) |
| 2020-10-04 19:00:07 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2020-10-04 19:01:02 | → | conal joins (~conal@209.58.131.35) |
| 2020-10-04 19:02:29 | → | Sgeo joins (~Sgeo@ool-18b982ad.dyn.optonline.net) |
| 2020-10-04 19:02:35 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (Remote host closed the connection) |
| 2020-10-04 19:02:55 | × | xff0x quits (~fox@2001:1a81:52c9:f600:f5f2:9982:d51b:11e1) (Ping timeout: 240 seconds) |
| 2020-10-04 19:02:58 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2020-10-04 19:03:48 | × | conal quits (~conal@209.58.131.35) (Client Quit) |
| 2020-10-04 19:03:49 | → | xff0x joins (~fox@2001:1a81:52c9:f600:e0a1:2683:5939:2315) |
| 2020-10-04 19:04:47 | × | Tops2 quits (~Tobias@dyndsl-095-033-090-035.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2020-10-04 19:07:14 | × | otulp quits (~otulp@ti0187q162-5025.bb.online.no) (Remote host closed the connection) |
| 2020-10-04 19:09:51 | → | coot joins (~coot@37.30.49.218.nat.umts.dynamic.t-mobile.pl) |
| 2020-10-04 19:12:48 | × | idhugo quits (~idhugo@563472ae.rev.stofanet.dk) (Ping timeout: 256 seconds) |
| 2020-10-04 19:12:54 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Read error: Connection reset by peer) |
| 2020-10-04 19:13:38 | × | elliott__ quits (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2020-10-04 19:13:53 | → | isovector1 joins (~isovector@172.103.216.166) |
| 2020-10-04 19:15:11 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 2020-10-04 19:15:47 | × | chaosmasttter quits (~chaosmast@p200300c4a73b2e0168c1f453f2fcf16d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2020-10-04 19:15:58 | hackage | exotic-list-monads 1.0.1 - Non-standard monads on lists and non-empty lists https://hackage.haskell.org/package/exotic-list-monads-1.0.1 (maciejpirog) |
| 2020-10-04 19:18:11 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2020-10-04 19:20:33 | → | elliott__ joins (~elliott@pool-108-51-141-12.washdc.fios.verizon.net) |
| 2020-10-04 19:22:18 | → | DavidEichmann joins (~david@43.240.198.146.dyn.plus.net) |
| 2020-10-04 19:22:23 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:546d:33c9:eb39:ecef) (Ping timeout: 272 seconds) |
| 2020-10-04 19:27:12 | → | jonatanb joins (~jonatanb@79.184.190.239.ipv4.supernova.orange.pl) |
| 2020-10-04 19:27:19 | → | tchar joins (sid301738@gateway/web/irccloud.com/x-squtmljpvmzfdfsk) |
| 2020-10-04 19:27:24 | → | perrier-jouet joins (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
All times are in UTC.