Logs: freenode/#haskell
| 2021-04-25 17:04:19 | <HelplessProgramm> | import Data.List.Split (splitOn) |
| 2021-04-25 17:04:20 | <HelplessProgramm> | import Data.String.Utils (strip) |
| 2021-04-25 17:04:20 | <HelplessProgramm> | import Data.Maybe (mapMaybe, fromMaybe) |
| 2021-04-25 17:04:22 | → | nicholasbulka joins (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) |
| 2021-04-25 17:04:22 | <HelplessProgramm> | I just can use this stuff |
| 2021-04-25 17:04:31 | <HelplessProgramm> | And what's included by default of course |
| 2021-04-25 17:04:47 | × | sw1nn quits (~sw1nn@2a00:23c7:622f:2c00:5726:e59c:c228:d7ce) (Ping timeout: 260 seconds) |
| 2021-04-25 17:05:04 | <gnumonic> | check the first element of the list, see if it's a nothing, if it is then remove it, then do that again til you're out of list :) |
| 2021-04-25 17:05:57 | → | sw1nn joins (~sw1nn@2a00:23c7:622f:2c00:b279:c6ef:9497:e6fa) |
| 2021-04-25 17:07:15 | <monochrom> | Except these are immutable lists, you can't remove anything. |
| 2021-04-25 17:07:32 | <HelplessProgramm> | aha |
| 2021-04-25 17:07:38 | <HelplessProgramm> | So sad |
| 2021-04-25 17:07:41 | <monochrom> | And no, "'remove' means you clone but selectively omit things" is not obvious to some students. |
| 2021-04-25 17:08:08 | <monochrom> | Indeed, when you write the code out, nothing in the code smells remotely like removing anything. |
| 2021-04-25 17:08:43 | × | nicholasbulka quits (~nicholasb@2601:900:4301:da0:58e6:3a0a:96a:ca2c) (Ping timeout: 250 seconds) |
| 2021-04-25 17:09:11 | × | invaser quits (~Thunderbi@31.148.23.125) (Ping timeout: 240 seconds) |
| 2021-04-25 17:13:41 | → | edrx joins (~Eduardo@2804:56c:d2c0:6300:d28a:a35a:c563:afab) |
| 2021-04-25 17:15:22 | <edrx> | hi! is this the right place to ask questions about stack? |
| 2021-04-25 17:15:44 | × | HelplessProgramm quits (4f911f9c@156.red-79-145-31.dynamicip.rima-tde.net) (Quit: Connection closed) |
| 2021-04-25 17:16:16 | <hpc> | this is a queue only channel :P |
| 2021-04-25 17:17:29 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 245 seconds) |
| 2021-04-25 17:17:29 | → | notzmv joins (~zmv@unaffiliated/zmv) |
| 2021-04-25 17:17:45 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-04-25 17:19:51 | × | CrazyPython quits (~crazypyth@98.122.164.118) (Ping timeout: 265 seconds) |
| 2021-04-25 17:21:01 | × | lawr3nce quits (~lawr3nce@gateway/tor-sasl/lawr3nce) (Remote host closed the connection) |
| 2021-04-25 17:21:25 | <edrx> | I'll take that as a yes =) so: I'm trying to install Agda using Stack, and I'm running into several problems - and I'm using this as an excuse to learn more about Stack (and about Cabal, Cabal Hell, etc). I use Debian, and I decided to do an "apt-get remove haskell-stack" in order to use the latest version, and then I did "wget -qO- https://get.haskellstack.org/ | sh"... |
| 2021-04-25 17:21:52 | × | carbolymer quits (~carbolyme@dropacid.net) (Quit: o/) |
| 2021-04-25 17:21:54 | → | CrazyPython joins (~crazypyth@98.122.164.118) |
| 2021-04-25 17:22:01 | × | notzmv quits (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 2021-04-25 17:22:10 | <edrx> | (my full notes are here - http://angg.twu.net/e/stack.e.html - but they're messy) |
| 2021-04-25 17:23:38 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-04-25 17:24:18 | <edrx> | what do I need to do to delete the current installation of stack and its files? is this enough? 1) rm /usr/local/bin/stack 2) rm ~/.local/bin/stack 3) remove all the stack-related directories in ~/.local/ ? |
| 2021-04-25 17:24:46 | <edrx> | ~/.stack/, iirc |
| 2021-04-25 17:25:36 | × | Mrbuck quits (~Mrbuck@gateway/tor-sasl/mrbuck) (Remote host closed the connection) |
| 2021-04-25 17:28:27 | <sclv> | sounds right |
| 2021-04-25 17:29:10 | <geekosaur> | ~/.stack-work? |
| 2021-04-25 17:29:53 | <wz1000> | I don't think there is ~/.stack-work, but there is a .stack-work/ folder in any directory with a stack.yaml you have run stack build on |
| 2021-04-25 17:29:56 | <sclv> | note that if you install something with stack then remove all stack related dirs it may break due to linking |
| 2021-04-25 17:30:29 | <edrx> | sclv: I'm planning to remove everything that I installed with stack, too... |
| 2021-04-25 17:30:50 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
| 2021-04-25 17:30:59 | <wz1000> | Cabal hell isn't really a thing anymore, in my experience these days cabal is much more likely to Just Work™ than stack on most things |
| 2021-04-25 17:32:50 | <Uniaika> | cabal.project is love, cabal.project is life |
| 2021-04-25 17:34:11 | → | wavemode_ joins (~wavemode@097-070-075-143.res.spectrum.com) |
| 2021-04-25 17:35:05 | → | desperek_ joins (~draco@87-206-9-185.dynamic.chello.pl) |
| 2021-04-25 17:35:20 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 2021-04-25 17:35:25 | <maerwald> | stack has a better file format, though :> |
| 2021-04-25 17:36:27 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 250 seconds) |
| 2021-04-25 17:37:56 | <Uniaika> | maerwald: I loathe yaml :3 |
| 2021-04-25 17:38:07 | → | DavidEichmann joins (~david@147.136.46.217.dyn.plus.net) |
| 2021-04-25 17:38:16 | <maerwald> | better than cabal, where no one really knows the format |
| 2021-04-25 17:38:27 | <maerwald> | and there are a couple of funny edge cases |
| 2021-04-25 17:38:41 | × | mouseghost quits (~draco@wikipedia/desperek) (Ping timeout: 240 seconds) |
| 2021-04-25 17:40:06 | <maerwald> | so yeah... I want cabal with a reasonable format, whether it's yaml or toml, idc |
| 2021-04-25 17:42:17 | <Uniaika> | tapas: you hear that? The People™ want to write Dhall for Cabal! |
| 2021-04-25 17:42:30 | → | Sgeo joins (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-04-25 17:43:22 | <maerwald> | why stop there? Can we not require nix for cabal file format? |
| 2021-04-25 17:45:17 | → | Guest6509 joins (~laudiacay@67.176.215.84) |
| 2021-04-25 17:45:22 | → | carbolymer joins (~carbolyme@dropacid.net) |
| 2021-04-25 17:45:31 | × | desperek_ quits (~draco@87-206-9-185.dynamic.chello.pl) (Quit: mew wew) |
| 2021-04-25 17:48:32 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-04-25 17:49:39 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 2021-04-25 17:49:50 | <monochrom> | Why stop there? Learn from xmonad. A cabal file ought to be a haskell file. |
| 2021-04-25 17:50:05 | × | electricityZZZZ quits (~electrici@135-180-3-82.static.sonic.net) (Read error: Connection reset by peer) |
| 2021-04-25 17:50:08 | <hpc> | and we'll name it... Setup.hs |
| 2021-04-25 17:50:32 | <geekosaur> | please don't learn from xmobar where it only looks like a haskell file… |
| 2021-04-25 17:51:39 | <monochrom> | :) |
| 2021-04-25 17:52:02 | <Uniaika> | :D |
| 2021-04-25 17:52:03 | <maerwald> | purists only use Makefiles |
| 2021-04-25 17:52:22 | <Uniaika> | and that is why they lose their mind |
| 2021-04-25 17:53:01 | <hpc> | the purest purists use Makefiles in every subdirectory too |
| 2021-04-25 17:53:28 | <maerwald> | Uniaika: you basically said FreeBSD users are insane :p |
| 2021-04-25 17:54:00 | <Uniaika> | maerwald: 1) I use FreeBSD 2) I have gone to a mental hospital in the past |
| 2021-04-25 17:54:33 | <Uniaika> | is there are a causal relationship between the two? maybe not, but the correlation is strong :-P |
| 2021-04-25 17:56:13 | <maerwald> | I think the question is: does FreeBSD make you insane or do you need to be insane to use it? |
| 2021-04-25 17:56:47 | <maerwald> | so causality no question, but in what direction |
| 2021-04-25 17:57:04 | <hpc> | maybe it's if and only if, like https://arxiv.org/pdf/1002.2284.pdf |
| 2021-04-25 17:57:47 | <__minoru__shirae> | how do people use something other than ubuntu, almost all installation instructions cover ubuntu |
| 2021-04-25 17:57:48 | <maerwald> | that's a weird paper |
| 2021-04-25 17:58:29 | → | nut joins (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-04-25 17:59:33 | <hpc> | it's one of my favorites |
| 2021-04-25 18:00:16 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-04-25 18:01:21 | × | sagax quits (~sagax_nb@213.138.71.146) (Quit: Konversation terminated!) |
| 2021-04-25 18:01:37 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-04-25 18:02:10 | → | stree joins (~stree@68.36.8.116) |
| 2021-04-25 18:02:11 | <maerwald> | Uniaika: https://www.unixsheikh.com/articles/why-you-should-migrate-everything-from-linux-to-bsd.html uh-oh |
| 2021-04-25 18:03:16 | <Uniaika> | maerwald: well, if this random dude says so, gotta do it! |
| 2021-04-25 18:03:22 | <maerwald> | exactly |
| 2021-04-25 18:07:48 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 2021-04-25 18:07:55 | → | thblt joins (~thblt@unaffiliated/thblt) |
| 2021-04-25 18:08:35 | <maerwald> | this post is gold |
| 2021-04-25 18:09:00 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 268 seconds) |
| 2021-04-25 18:09:16 | → | nineonine joins (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) |
| 2021-04-25 18:10:33 | → | ddellacosta joins (~ddellacos@86.106.143.73) |
| 2021-04-25 18:10:57 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2021-04-25 18:11:09 | <nut> | I'm using emacs to load a Haskell file without any cabal or stack project. How can I load a third party library such as lens |
| 2021-04-25 18:11:57 | <gnumonic> | anyone know a good book or resource or whatever on dependently typed programming? i've been studying singletons for a week or so and i get how the library works but i'd really like some examples more involved than the basic vector stuff |
| 2021-04-25 18:12:02 | <nut> | I can use the repl without problem |
| 2021-04-25 18:12:04 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-04-25 18:12:13 | <nut> | Just can't load any other libs such as lens |
| 2021-04-25 18:13:44 | × | nineonine quits (~nineonine@2604:3d08:7785:9600:bde3:c459:7b57:e4c8) (Ping timeout: 245 seconds) |
All times are in UTC.