Logs on 2021-08-26 (liberachat/#haskell)
| 00:02:54 | × | markpythonicbtc quits (~textual@2601:647:5a00:35:780a:5d22:10f6:8b18) (Quit: Textual IRC Client: www.textualapp.com) |
| 00:03:47 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 00:06:27 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 00:07:23 | → | farmfrmjakestate joins (~farmfromj@user/farmfrmjakestate) |
| 00:08:17 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 00:09:13 | → | Cajun joins (~Cajun@user/cajun) |
| 00:09:55 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 00:10:30 | → | lavaman joins (~lavaman@98.38.249.169) |
| 00:11:47 | × | otto_s_ quits (~user@p4ff272f9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 00:12:47 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 00:17:32 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 00:20:00 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Remote host closed the connection) |
| 00:20:03 | → | otto_s joins (~user@p4ff272f9.dip0.t-ipconnect.de) |
| 00:27:44 | <lbseale> | I am trying to use `setEnv` in System.Enviornment, but it is not setting my environment variable, anyone have thoughts about this? |
| 00:28:28 | <geekosaur> | how are you checking this? |
| 00:28:58 | <lbseale> | setting the variable to something, running my executable, then running `env` |
| 00:29:17 | <geekosaur> | that won't work; environments only propagate downward |
| 00:29:27 | <monochrom> | Ugh you know that a child's env vars are not "backported" to the parent, right? |
| 00:29:36 | <lbseale> | I know now! |
| 00:29:40 | <geekosaur> | your executable and any child processes will see it, the parent won't |
| 00:29:55 | <lbseale> | ok, so this will not work, is there a way to do what I want? |
| 00:30:27 | <lbseale> | I suppose write some bash script |
| 00:30:55 | <monochrom> | It is very unclear what you want. |
| 00:31:09 | <monochrom> | If you are in a shell, you already know the appropriate shell command for this. |
| 00:31:30 | <monochrom> | If you are in a Haskell/C/Python program, you already know the appropriate library function to call. |
| 00:31:50 | <nshepperd> | you want your program to set some environment variables in the parent shell? ssh-agent does this by outputting the commands to set the variables on stdout |
| 00:31:53 | <monochrom> | So, what else is left? |
| 00:32:08 | <lbseale> | monochrom: what nshepperd said |
| 00:32:18 | <nshepperd> | and then you eval the commands in your shell |
| 00:32:38 | <nshepperd> | like 'eval $(ssh-agent -s)' |
| 00:33:29 | <lbseale> | understood, so I need to write a script that will use the output of my Haskell program to set the environment variable |
| 00:34:49 | <monochrom> | You also know that unless you run, in the shell that you want to affect, "source that_script" or ". that_script", you would be back to the scenerio of "why can't child change parent's env", right? |
| 00:34:49 | <nshepperd> | it should be a bash function |
| 00:35:15 | <nshepperd> | or invoking 'source' yeah |
| 00:35:28 | <nshepperd> | which runs the commands directly in the parent shell |
| 00:35:43 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 00:35:57 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 00:36:21 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 250 seconds) |
| 00:36:23 | <monochrom> | I made exam questions like this for my unix course. |
| 00:37:20 | <monochrom> | "Q2: John wants to edit PATH programmtically. Part (a): John makes it a shell script and run "./myscript", why no workie?" |
| 00:37:34 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 00:37:48 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.2) |
| 00:37:49 | <monochrom> | "Part (b): Make it a shell function." |
| 00:38:26 | <lbseale> | hmm, I don't know the difference between a shell script and a shell function |
| 00:39:08 | <monochrom> | Do you know the difference between doing a fork-exec and not doing even a fork? |
| 00:40:07 | <lbseale> | I think I do, tell me if I'm wrong: fork exec runs something in a child process, and ... not fork doesn't create any process |
| 00:40:34 | <monochrom> | If my command is "./myscript", does it do fork-exec? |
| 00:40:52 | <lbseale> | I don't think so |
| 00:41:06 | <monochrom> | Do you know how to test your hypothesis? |
| 00:41:21 | <lbseale> | no |
| 00:41:45 | <monochrom> | Do you know how the shell command for printing itself's process ID? |
| 00:41:56 | <monochrom> | or s/the/a/ |
| 00:42:49 | <lbseale> | SE tells me it's `echo $$` |
| 00:43:01 | <monochrom> | Do you know how to test your hypothesis now? |
| 00:43:48 | × | Ananta-shesha quits (~pjetcetal@2.95.210.196) (Quit: EXIT) |
| 00:44:10 | <lbseale> | write a script that runs that and see if it's the same as if I just run it in the shell? |
| 00:44:13 | → | Ananta-shesha joins (~pjetcetal@2.95.210.196) |
| 00:44:20 | <monochrom> | Yes. |
| 00:44:46 | <lbseale> | ok, did the test, it's not the same |
| 00:44:59 | <lbseale> | so we have learned that `./myscript` does a fork-exec |
| 00:45:18 | <lbseale> | and that any changes done to the environment in the script will not propagate up to the shell in which it was called |
| 00:47:47 | <lbseale> | ... and `source myscript` does _not_ do a fork-exec |
| 00:49:48 | <lbseale> | I supposed `.` is a synonym for `source` |
| 00:50:18 | → | pbrisbin joins (~patrick@174-081-116-011.res.spectrum.com) |
| 00:50:24 | <geekosaur> | yes, 'source' is actually a bash-ism, '.' is the old name |
| 00:50:25 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 00:50:39 | <lbseale> | nice! |
| 00:51:06 | <geekosaur> | in particular '.' is POSIX and 'source' isn't |
| 00:51:17 | <monochrom> | shell function has the advantage of syntactically looking like yet another command. |
| 00:51:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 00:53:25 | → | d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 00:53:29 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 00:53:42 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 00:57:19 | <lbseale> | I have to go now, thanks for the help! |
| 00:57:55 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 00:59:41 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 00:59:46 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 00:59:56 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:00:03 | × | lavaman quits (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 01:00:30 | <hololeap> | is there a foldMap for semigroups and non-empty lists? |
| 01:01:08 | <Axman6> | @hoogle Semigroup m => (a -> m) -> t a -> m |
| 01:01:09 | <lambdabot> | Data.Semigroup.Foldable foldMap1 :: (Foldable1 t, Semigroup m) => (a -> m) -> t a -> m |
| 01:01:09 | <lambdabot> | Data.Semigroup.Foldable.Class foldMap1 :: (Foldable1 t, Semigroup m) => (a -> m) -> t a -> m |
| 01:01:09 | <lambdabot> | Rebase.Prelude foldMap1 :: (Foldable1 t, Semigroup m) => (a -> m) -> t a -> m |
| 01:01:47 | × | lbseale quits (~lbseale@user/ep1ctetus) (Read error: Connection reset by peer) |
| 01:02:38 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Read error: Connection reset by peer) |
| 01:02:48 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 01:04:37 | <hololeap> | hm, Foldable1, good call |
| 01:06:59 | <hololeap> | semigroupoids... semigroups... IN SPACE! |
| 01:08:38 | Axman6 | wonders what a hemi-demi-semigroup would look like |
| 01:09:45 | <c_wraith> | like a group, but with shoulders and arms. |
| 01:12:23 | × | albet70 quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:12:47 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 01:13:30 | → | albet70 joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:13:55 | → | neurocyte8306 joins (~neurocyte@46.243.82.232) |
| 01:13:55 | × | neurocyte8306 quits (~neurocyte@46.243.82.232) (Changing host) |
| 01:13:55 | → | neurocyte8306 joins (~neurocyte@user/neurocyte) |
| 01:16:04 | × | neurocyte830 quits (~neurocyte@user/neurocyte) (Ping timeout: 252 seconds) |
| 01:16:04 | neurocyte8306 | is now known as neurocyte830 |
| 01:17:00 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 244 seconds) |
| 01:18:56 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 01:30:36 | → | lavaman joins (~lavaman@98.38.249.169) |
| 01:31:33 | × | Vooch quits (~iovoo@096-038-011-034.biz.spectrum.com) (Read error: Connection reset by peer) |
| 01:31:57 | → | Vooch joins (~iovoo@096-038-011-034.biz.spectrum.com) |
| 01:34:47 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 01:40:28 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:40:28 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 01:40:28 | → | wroathe joins (~wroathe@user/wroathe) |
| 01:40:47 | × | xff0x quits (~xff0x@2001:1a81:536c:3300:1de6:1836:7ec4:e477) (Ping timeout: 240 seconds) |
| 01:41:40 | × | neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 250 seconds) |
| 01:42:44 | → | xff0x joins (~xff0x@2001:1a81:53a5:7900:5864:fdd9:e9b9:647) |
| 01:55:40 | × | pbrisbin quits (~patrick@174-081-116-011.res.spectrum.com) (Ping timeout: 252 seconds) |
| 02:02:41 | × | epolanski quits (uid312403@id-312403.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 02:04:22 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:06:57 | → | slac56696 joins (~slack1256@181.203.37.78) |
| 02:07:09 | × | betelgeuse quits (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 02:08:21 | → | betelgeuse2 joins (~betelgeus@94-225-47-8.access.telenet.be) |
| 02:09:05 | × | slack1256 quits (~slack1256@191.126.161.169) (Ping timeout: 250 seconds) |
| 02:09:29 | × | _xor quits (~xor@74.215.232.67) (Quit: WeeChat 3.2) |
| 02:17:30 | → | markpythonicbtc joins (~textual@2601:647:5a00:35:d556:b617:7067:a615) |
| 02:18:37 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 250 seconds) |
| 02:20:45 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 02:31:39 | → | lavaman joins (~lavaman@98.38.249.169) |
| 02:32:12 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 02:35:16 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 02:35:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 02:36:47 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 02:47:10 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 02:48:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:48:58 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 244 seconds) |
| 02:52:16 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 02:53:06 | × | alx741 quits (~alx741@186.178.109.43) (Quit: alx741) |
| 02:54:43 | <jakefromstatefar> | <command line>: cannot satisfy -package-id json-0.10-...: json-0.10... is unusable due to missing dependencies: parsec-3.1.14.0 syb-0.7.2.1... text-1.2.4.1 |
| 02:54:46 | <jakefromstatefar> | How do I fix this? |
| 02:55:06 | <jakefromstatefar> | I tried to unregister `json` via ghc-pkg, but that didn't work! |
| 02:55:21 | <jakefromstatefar> | json wasn't registered there! |
| 02:57:15 | <jakefromstatefar> | I was interfacing with Text.JSON, so I tried --force unregistering `text`, then reinstalling it, ghc-pkg still shows the packages depending on it as red |
| 02:57:19 | <jakefromstatefar> | what do I do? |
| 02:57:41 | <jakefromstatefar> | I have both stack and cabal, with a nix-interface to stack. |
| 03:00:37 | <dsal> | jakefromstatefar: Generally, you just define your requirements in your project and let the tool do the work (for whatever value of "the tool" there) |
| 03:01:07 | × | shailangsa quits (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) (Ping timeout: 240 seconds) |
| 03:05:48 | → | cross joins (~cross@spitfire.i.gajendra.net) |
| 03:15:33 | × | aegon quits (~mike@174.127.249.180) (Quit: leaving) |
| 03:15:54 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 03:16:00 | → | otto_s_ joins (~user@p5de2f1e2.dip0.t-ipconnect.de) |
| 03:17:53 | <Axman6> | jakefromstatefar: is using the jason package your choice? Aeson as definitely the most common choice these days. I've never even heard of the json package until today |
| 03:18:02 | → | jmcantrell joins (~jmcantrel@user/jmcantrell) |
| 03:18:29 | <Axman6> | (That's not saying aeson is the best json library, there are others which have some nice features, but it is definitely the de facto standard json library these days |
| 03:19:10 | × | otto_s quits (~user@p4ff272f9.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 03:19:22 | <jmcantrell> | Hello, I'm trying to compile a project. The readme just says to run `cabal install` in the project directory. I get lots of errors about missing modules. Should it not download dependencies? |
| 03:20:04 | <Axman6> | might need cabal configure first - and I would probably recommend using the new-configure and new-install instead |
| 03:20:09 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 03:20:37 | <c_wraith> | That sounds like you have an old version of cabal installed |
| 03:20:57 | <Axman6> | jmcantrell: if you can link us to the project we might be able to help more |
| 03:21:01 | <jmcantrell> | cabal-install version 3.2.0.0 |
| 03:21:14 | <jmcantrell> | https://github.com/koalaman/shellcheck |
| 03:21:51 | <jmcantrell> | new-configure and new-install had the same result |
| 03:22:05 | <Axman6> | personally I would justdo you know you need to build it from git? Personally I would just run cabal install ShellCheck outside of the project directory |
| 03:22:19 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 03:22:23 | <Axman6> | you might also need to run cabal update if you haven't downloaded package definitions before |
| 03:22:30 | × | slac56696 quits (~slack1256@181.203.37.78) (Remote host closed the connection) |
| 03:22:38 | <jmcantrell> | i need to test the latest commit |
| 03:22:43 | <Axman6> | ah ok |
| 03:23:04 | <Axman6> | can you paste all theoutput you get when you run cabal new-configure and cabal new-install? |
| 03:23:05 | <jmcantrell> | cabal install after update gave the same result |
| 03:23:11 | <jmcantrell> | sure |
| 03:23:16 | <Axman6> | @where paste |
| 03:23:16 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 03:24:45 | <jmcantrell> | https://paste.rs/PIz |
| 03:28:38 | <Axman6> | koala_man: ^ might be relevant to you if you're around |
| 03:30:00 | <koala_man> | huh. Which distro is this? |
| 03:30:26 | <jmcantrell> | arch |
| 03:30:36 | <Axman6> | a cabal new-configure and cabal new-build seems to be working fine for me, on macOS with ghc 8.10.6 |
| 03:30:48 | <koala_man> | jmcantrell: could you move/remove ~/.ghc and ~/.cabal and try again? |
| 03:32:01 | <jmcantrell> | there was no ~/.ghc, but ig get the same result after removing ~/.cabal |
| 03:32:21 | → | shailangsa_ joins (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) |
| 03:32:58 | <Axman6> | and if you run cabal update? |
| 03:33:59 | <jmcantrell> | ah, i forgot that. one sec |
| 03:34:29 | <jmcantrell> | same result |
| 03:34:50 | <Axman6> | how did you install ghc? |
| 03:36:18 | <jmcantrell> | i think it was installed as a dependency of another package, but through pacman |
| 03:37:02 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 03:37:24 | <sm> | chiming in late here, but "There are files missing in the ... package" generally means your package db is broken somehow. Maybe disk filled up at some point, or you cleaned up over zealously ? |
| 03:37:25 | <koala_man> | huh, I also get errors trying to build it in archlinux docker |
| 03:37:27 | <Axman6> | Why is Arch always so problematic when it comes to Haskell stuff -_- they broke everything a few years ago and I have no idea what the right way to do things anymore is |
| 03:37:52 | <c_wraith> | the right way to do haskell on arch is use ghcup and ignore their packages |
| 03:38:18 | <jmcantrell> | i definitely haven't touched anything related to haskell previous to this |
| 03:39:07 | <Axman6> | yeah ghcup is generally just good advice these days. it's made my life so much easier |
| 03:40:01 | <jmcantrell> | installing now... |
| 03:42:15 | → | lazlo joins (~ioaquine@179.6.215.254) |
| 03:42:24 | <lazlo> | test |
| 03:42:30 | <koala_man> | test confirmed |
| 03:42:36 | <Axman6> | Fail |
| 03:42:52 | <lazlo> | it's my first time using irc don't mind me being stupid |
| 03:43:12 | <Axman6> | Well welcome - Can we help you with any Haskell related issues? |
| 03:43:35 | × | farmfrmjakestate quits (~farmfromj@user/farmfrmjakestate) (Quit: Textual IRC Client: www.textualapp.com) |
| 03:45:25 | <lazlo> | I'd like to know where relevant Haskell news may be gotten from, I recently read about https://haskell.love/schedule.html and it got me pumped to try and learn it again |
| 03:45:26 | <monochrom> | Axman6: archlinux discarded static libraries and neglected to reconfigure GHC to default to dynamic linking. |
| 03:45:30 | <monochrom> | https://wiki.archlinux.org/title/Haskell#Problems_with_linking |
| 03:46:10 | <Axman6> | lazlo: the haskell subreddit is usually a good place to start |
| 03:46:46 | <monochrom> | Ah, also koala_man too. |
| 03:49:07 | <jmcantrell> | ok, it's building after installing ghcup |
| 03:49:25 | <Axman6> | sounds like a broken GHC install in that case - good to hear |
| 03:51:04 | <jmcantrell> | broken due to the arch problem that monochrom mentioned? |
| 03:51:18 | <monochrom> | If you're on arch then yeah. |
| 03:52:03 | × | Jack quits (~Jack@node-1w7jra24ayur83r37n177ovv8.ipv6.telus.net) (Ping timeout: 258 seconds) |
| 03:52:04 | <monochrom> | I have a few students once in a while who behave like the arch people. |
| 03:52:16 | <monochrom> | They had code that worked perfectly. |
| 03:52:36 | <monochrom> | They decided to do a last-minute finishing touch of changing indentation. |
| 03:52:36 | <koala_man> | monochrom: with that cabal config I get "newParallelJobControl: not a sensible number of jobs: 0" |
| 03:52:48 | <monochrom> | They decided not to do a last-minute test. |
| 03:53:20 | <Axman6> | classic |
| 03:54:44 | → | falafel joins (~falafel@2601:280:4e00:9970:889a:3513:448f:30e9) |
| 03:54:49 | <Axman6> | Reminds me of the story of the C group project where they were a) not using version control, and b) one of the members decided they didn't need all the *'s in the project to removed them the night before it was due... not where I heard that story, but it wounded like anightmare |
| 03:56:55 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 03:57:45 | → | falafel_ joins (~falafel@2601:280:4e00:9970:889a:3513:448f:30e9) |
| 03:59:25 | × | _ak_ quits (~akspecs@user/akspecs) (Ping timeout: 252 seconds) |
| 03:59:50 | <jmcantrell> | is there a distro that handles this correctly? |
| 04:00:40 | × | falafel quits (~falafel@2601:280:4e00:9970:889a:3513:448f:30e9) (Ping timeout: 240 seconds) |
| 04:00:53 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 250 seconds) |
| 04:01:07 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 04:01:29 | <monochrom> | Does nix count as a distro? ("is this a distro?" meme) |
| 04:01:49 | → | nate1 joins (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 04:01:52 | <monochrom> | Really each distro has its own religion that breaks something. |
| 04:01:52 | × | lazlo quits (~ioaquine@179.6.215.254) (Quit: leaving) |
| 04:01:59 | <hololeap> | jmcantrell: gentoo perhaps, if you can deal with the (re)compiles. that's what I use. |
| 04:02:12 | <monochrom> | Most distros split GHC into multiple packages so you are always missing a component. |
| 04:03:22 | × | tomjagua1paw quits (~tom@li367-225.members.linode.com) (Ping timeout: 240 seconds) |
| 04:03:47 | <hololeap> | what would be a good way to avoid the `case` here? http://sprunge.us/vElQfa |
| 04:03:47 | → | lazlo joins (~ioaquine@179.6.215.254) |
| 04:04:01 | × | lazlo quits (~ioaquine@179.6.215.254) (Client Quit) |
| 04:04:17 | → | lazlo joins (~ioaquine@179.6.215.254) |
| 04:04:37 | <hololeap> | (this is using megaparsec) |
| 04:04:45 | <jmcantrell> | ah ok |
| 04:05:14 | <monochrom> | Some distro's addition religion is "old means stable" so they ship you version 7. |
| 04:05:16 | <lazlo> | name++ Axman6 |
| 04:05:28 | <monochrom> | s/addition/additional/ |
| 04:05:51 | → | _ak_ joins (~akspecs@136-24-181-20.cab.webpass.net) |
| 04:05:51 | × | _ak_ quits (~akspecs@136-24-181-20.cab.webpass.net) (Changing host) |
| 04:05:51 | → | _ak_ joins (~akspecs@user/akspecs) |
| 04:06:01 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 04:06:07 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
| 04:07:09 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 04:07:32 | <hololeap> | I could use Data.List.NonEmpty.fromList, but is there a way to parse directly to a NonEmpty? |
| 04:07:41 | × | lazlo quits (~ioaquine@179.6.215.254) (Client Quit) |
| 04:08:01 | <dibblego> | some1 |
| 04:08:26 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 04:09:01 | <dibblego> | @type Data.List.NonEmpty.some1 |
| 04:09:02 | <lambdabot> | Alternative f => f a -> f (NonEmpty a) |
| 04:09:15 | <hololeap> | oh, word |
| 04:09:27 | <hololeap> | I also just found Control.Applicative.Combinators.NonEmpty in parser-combinators |
| 04:10:36 | <hololeap> | good to know that some1 exists, though. I've never seen that before |
| 04:10:38 | <koala_man> | jmcantrell: if nothing else, I'm able to build shellcheck on Arch with 'cabal install' when I take the original ~/.cabal/config, and uncomment and set the 5 options as described on https://wiki.archlinux.org/title/Haskell under "Configuring Cabal for dynamic linking" |
| 04:10:59 | <koala_man> | dibblego!! |
| 04:11:09 | <dibblego> | also this: https://hackage.haskell.org/package/separated-0.3.2.1/docs/Data-Separated.html#v:separatedBy |
| 04:11:19 | <dibblego> | omfg no way it's koala_man!!!! |
| 04:11:24 | <koala_man> | it is! |
| 04:11:35 | <jmcantrell> | koala_man: oh, nice. thanks |
| 04:13:13 | <hololeap> | dibblego: wouldn't it be separatedBy1? |
| 04:13:21 | × | Jonno_FTW quits (~come@api.carswap.me) (Ping timeout: 248 seconds) |
| 04:13:35 | <dibblego> | because it keeps the thing that is separating |
| 04:13:53 | <dibblego> | there is also separatedBy1 |
| 04:14:12 | <hololeap> | https://hackage.haskell.org/package/separated-0.3.2.1/docs/Data-Separated.html#v:separatedBy1 |
| 04:21:15 | × | nate1 quits (~nate@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 250 seconds) |
| 04:22:02 | → | mei joins (~mei@user/mei) |
| 04:24:29 | <jmcantrell> | koala_man: looks like the bug i was looking at has already been fixed on master |
| 04:24:42 | <jmcantrell> | for shellcheck |
| 04:25:35 | <koala_man> | yay! |
| 04:25:48 | <koala_man> | I should probably have mentioned: shellcheck.net lets you run scripts against master without having to mess with haskell tooling |
| 04:26:59 | <jmcantrell> | yeah, and it worked there. i guess i just wanted to be extra sure |
| 04:29:22 | × | VoidNoir0 quits (~VoidNoir0@72.80.203.52) (Quit: Ping timeout (120 seconds)) |
| 04:44:49 | → | flux joins (~flux@2603:900a:1600:ba00:5878:2c9:2445:5084) |
| 04:45:10 | <flux> | can someone explain why people care about cartesian closed categories in the context of haskell so much? |
| 04:45:22 | <flux> | like i understand the definition, just have no idea why it's significant |
| 04:50:02 | → | Jonno_FTW joins (~come@api.carswap.me) |
| 04:52:01 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 250 seconds) |
| 04:54:27 | <monochrom> | It is the minimum for supporting function application. |
| 04:55:03 | × | zebrag quits (~chris@user/zebrag) (Remote host closed the connection) |
| 04:56:21 | <Axman6> | Watch Conal Elliot's talk on Compiling to Categories to understand why |
| 04:56:38 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (*.net *.split) |
| 04:56:38 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (*.net *.split) |
| 04:56:38 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (*.net *.split) |
| 04:56:38 | × | hendursaga quits (~weechat@user/hendursaga) (*.net *.split) |
| 04:56:38 | × | adanwan_ quits (~adanwan@gateway/tor-sasl/adanwan) (*.net *.split) |
| 04:56:38 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (*.net *.split) |
| 04:56:38 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (*.net *.split) |
| 04:56:38 | × | hololeap quits (~hololeap@user/hololeap) (*.net *.split) |
| 05:01:48 | → | jushur joins (~human@user/jushur) |
| 05:02:20 | <flux> | i've tried to understand it so many times |
| 05:02:21 | <flux> | but failed |
| 05:03:07 | <flux> | i don't have a good category theory foundation sadly |
| 05:03:13 | × | cheater quits (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 05:03:57 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 05:05:01 | → | chexum joins (~quassel@gateway/tor-sasl/chexum) |
| 05:07:00 | <Axman6> | I don't think you really need much category theory understanding to understand why that talk/paper is important though |
| 05:07:07 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 05:07:20 | <flux> | hmm maybe i should try again |
| 05:07:26 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 05:07:32 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 05:07:35 | → | hendursaga joins (~weechat@user/hendursaga) |
| 05:07:38 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 05:07:53 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 05:10:15 | × | slowButPresent quits (~slowButPr@user/slowbutpresent) (Quit: leaving) |
| 05:15:44 | → | masaeedu[m] joins (~masaeedum@2001:470:69fc:105::e256) |
| 05:16:24 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: Lost terminal) |
| 05:16:46 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 05:18:50 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 05:19:15 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 05:19:15 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 05:19:15 | → | wroathe joins (~wroathe@user/wroathe) |
| 05:19:32 | × | flux quits (~flux@2603:900a:1600:ba00:5878:2c9:2445:5084) (Quit: Client closed) |
| 05:23:27 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 05:28:21 | → | desophos joins (~desophos@2601:249:1680:a570:dc82:b6a1:9d59:9d35) |
| 05:30:22 | → | Izem joins (~Izem@bras-base-london1483w-grc-38-65-95-41-242.dsl.bell.ca) |
| 05:40:25 | × | img quits (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 05:47:07 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 05:47:38 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 05:48:27 | → | ubert joins (~Thunderbi@77.119.215.189.wireless.dyn.drei.com) |
| 05:52:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 05:52:48 | → | img joins (~img@user/img) |
| 06:03:42 | → | retro_ joins (~retro@5ec19a54.skybroadband.com) |
| 06:05:27 | × | retroid_ quits (~retro@5ec19a54.skybroadband.com) (Ping timeout: 258 seconds) |
| 06:07:33 | → | ishutin_ joins (~ishutin@178-164-206-57.pool.digikabel.hu) |
| 06:11:16 | × | ishutin quits (~ishutin@92-249-150-163.static.digikabel.hu) (Ping timeout: 268 seconds) |
| 06:12:04 | → | lortabac joins (~lortabac@62.98.11.57) |
| 06:13:45 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 06:15:10 | × | falafel_ quits (~falafel@2601:280:4e00:9970:889a:3513:448f:30e9) (Ping timeout: 240 seconds) |
| 06:17:24 | × | thornAvery quits (~Thorn@2401:c080:1800:4346:5400:3ff:fe2c:c8f8) (Quit: Gateway shutdown) |
| 06:17:48 | × | Izem quits (~Izem@bras-base-london1483w-grc-38-65-95-41-242.dsl.bell.ca) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 06:18:00 | → | thornAvery joins (~thornAver@2401:c080:1800:4346:cb:55f4:6eab:8e22) |
| 06:20:14 | → | tomjaguarpaw joins (~tom@li367-225.members.linode.com) |
| 06:25:25 | <thornAvery> | . |
| 06:26:13 | → | vysn joins (~vysn@user/vysn) |
| 06:29:29 | × | rizoid quits (uid513644@id-513644.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:32:52 | → | fef joins (~thedawn@user/thedawn) |
| 06:38:36 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 276 seconds) |
| 06:38:46 | → | bitdex_ joins (~bitdex@gateway/tor-sasl/bitdex) |
| 06:49:42 | → | kenran joins (~kenran@200116b82b83850073ee310704ff487c.dip.versatel-1u1.de) |
| 06:50:23 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:51:09 | × | ziman quits (~ziman@user/ziman) (Quit: WeeChat 3.0) |
| 06:51:09 | × | Vajb quits (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer) |
| 06:51:10 | → | acidjnk joins (~acidjnk@p200300d0c72b9541f8d5911f73b02544.dip0.t-ipconnect.de) |
| 06:51:26 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 06:53:22 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 06:53:22 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 06:53:22 | → | wroathe joins (~wroathe@user/wroathe) |
| 06:54:15 | → | trcc joins (~trcc@users-1190.st.net.au.dk) |
| 06:58:10 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 07:01:52 | → | d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 07:03:31 | × | ubert quits (~Thunderbi@77.119.215.189.wireless.dyn.drei.com) (Remote host closed the connection) |
| 07:03:40 | → | fendor joins (~fendor@91.141.62.191.wireless.dyn.drei.com) |
| 07:05:31 | → | ubert joins (~Thunderbi@77.119.215.189.wireless.dyn.drei.com) |
| 07:12:18 | → | aashay-ss joins (~shipp02@223.18.154.68) |
| 07:14:48 | ← | aashay-ss parts (~shipp02@223.18.154.68) () |
| 07:19:40 | → | enoq joins (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 07:21:40 | × | kenran quits (~kenran@200116b82b83850073ee310704ff487c.dip.versatel-1u1.de) (Ping timeout: 240 seconds) |
| 07:23:47 | × | azeem quits (~azeem@dynamic-adsl-78-13-242-140.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 07:23:59 | → | kenran joins (~kenran@mue-88-130-62-159.dsl.tropolys.de) |
| 07:24:13 | → | azeem joins (~azeem@176.201.15.223) |
| 07:25:12 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 07:25:33 | → | azeem joins (~azeem@dynamic-adsl-78-13-242-140.clienti.tiscali.it) |
| 07:32:57 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 07:33:15 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 07:34:47 | × | son0p quits (~ff@181.136.122.143) (Ping timeout: 240 seconds) |
| 07:36:08 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:d4c9:355c:bd9d:df19) (Remote host closed the connection) |
| 07:37:01 | × | phma quits (~phma@host-67-44-208-160.hnremote.net) (Read error: Connection reset by peer) |
| 07:37:20 | → | Boomerang joins (~Boomerang@xd520f68c.cust.hiper.dk) |
| 07:45:08 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:47:40 | × | betelgeuse2 quits (~betelgeus@94-225-47-8.access.telenet.be) (Read error: Connection reset by peer) |
| 07:48:58 | → | betelgeuse joins (~betelgeus@94-225-47-8.access.telenet.be) |
| 07:49:54 | → | MoC joins (~moc@user/moc) |
| 07:51:26 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-4-60.prtc.net) |
| 07:52:03 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 07:59:05 | → | Gurkenglas joins (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) |
| 08:01:44 | × | ubert quits (~Thunderbi@77.119.215.189.wireless.dyn.drei.com) (Quit: ubert) |
| 08:01:58 | → | ubert joins (~Thunderbi@77.119.215.189.wireless.dyn.drei.com) |
| 08:02:49 | → | fef joins (~thedawn@user/thedawn) |
| 08:02:57 | → | td_ joins (~td@94.134.91.22) |
| 08:03:44 | → | jonathanx_ joins (~jonathan@c-5eea3245-74736162.cust.telenor.se) |
| 08:05:06 | → | phma joins (~phma@host-67-44-208-160.hnremote.net) |
| 08:05:22 | → | hendursa1 joins (~weechat@user/hendursaga) |
| 08:06:02 | × | jonathanx quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Ping timeout: 250 seconds) |
| 08:06:45 | → | epolanski joins (uid312403@id-312403.helmsley.irccloud.com) |
| 08:08:57 | × | hendursaga quits (~weechat@user/hendursaga) (Ping timeout: 276 seconds) |
| 08:12:51 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 08:16:25 | → | ubert1 joins (~Thunderbi@77.119.215.189.wireless.dyn.drei.com) |
| 08:17:03 | → | reumeth joins (~reumeth@user/reumeth) |
| 08:17:39 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Killed (NickServ (GHOST command used by allbery_b))) |
| 08:17:39 | → | allbery_b joins (~geekosaur@xmonad/geekosaur) |
| 08:17:42 | allbery_b | is now known as geekosaur |
| 08:19:05 | × | hnOsmium0001 quits (uid453710@id-453710.stonehaven.irccloud.com) (Quit: Connection closed for inactivity) |
| 08:19:38 | × | hays quits (~rootveget@fsf/member/hays) (Remote host closed the connection) |
| 08:20:46 | → | hays joins (rootvegeta@fsf/member/hays) |
| 08:20:47 | → | dhouthoo joins (~dhouthoo@178-117-36-167.access.telenet.be) |
| 08:21:07 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
| 08:22:37 | × | azeem quits (~azeem@dynamic-adsl-78-13-242-140.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 08:23:26 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 08:24:14 | → | azeem joins (~azeem@dynamic-adsl-78-13-242-140.clienti.tiscali.it) |
| 08:24:36 | → | kuribas joins (~user@ip-188-118-57-242.reverse.destiny.be) |
| 08:25:11 | <kuribas> | is it possible to generate stack configuration from a cabal file? |
| 08:25:18 | <kuribas> | With same version bounds etc...? |
| 08:25:59 | <kuribas> | For example, what if you use some stack based plugin (i.e. intellij) to edit a cabal only package? |
| 08:26:08 | <kuribas> | You're simply out of luck? |
| 08:26:19 | <sm> | stack init |
| 08:27:23 | <sclv> | stack works with cabal files fine |
| 08:27:41 | <sclv> | it just needs an additional file as well |
| 08:28:08 | <sclv> | you don’t need to replace your cabal file with hpack yaml to use stack |
| 08:29:26 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 250 seconds) |
| 08:29:59 | × | benin036932 quits (~benin@183.82.178.142) (Ping timeout: 250 seconds) |
| 08:31:17 | → | benin036932 joins (~benin@183.82.178.142) |
| 08:31:34 | <merijn> | In fact, you shouldn't do that unless you hate collaborating :p |
| 08:32:11 | <Axman6> | yeah please don't use hpack :( I understand what they were going for, but cabal is the way to go |
| 08:32:54 | × | acidjnk quits (~acidjnk@p200300d0c72b9541f8d5911f73b02544.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 08:35:22 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 08:35:51 | → | lordgrenville joins (~josh@188.120.142.132) |
| 08:36:13 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 08:36:17 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 08:36:31 | <sm> | please don't discourage folks from using package.yaml if they want. It can be helpful, and there's no conflict with cabal users |
| 08:36:35 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 08:36:51 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) |
| 08:37:01 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Client Quit) |
| 08:37:26 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 08:37:27 | <merijn> | "It can be helpful" <- agree to disagree :p |
| 08:39:04 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 08:39:22 | <sm> | sm: it lets you generate cabal files from a simpler and less redundant format, saving some work and for certain projects, removing a big source of errors (forgetting to mirror changes in all components, forgetting to declare new files, etc.) |
| 08:40:19 | <sm> | and if you want to collaborate with non-stack users you should also commit the cabal file, obviously |
| 08:40:35 | × | lordgrenville quits (~josh@188.120.142.132) (Quit: WeeChat 3.2) |
| 08:40:46 | <sclv> | the format is no longer less redundant |
| 08:40:53 | → | josh joins (~lordgrenv@188.120.142.132) |
| 08:40:55 | <sclv> | cabal also has common stanzas |
| 08:41:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) (Ping timeout: 240 seconds) |
| 08:41:16 | josh | is now known as Guest9529 |
| 08:41:34 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 250 seconds) |
| 08:41:42 | <sm> | sm: yes, that's true nowadays, if you can require your builders to have a new-enough cabal-install |
| 08:41:56 | <sm> | sclv didn't we have this chat a few days ago :) |
| 08:42:39 | <sclv> | yes thats why I’m reminding you, you need to update your jingle :-) |
| 08:43:49 | <sm> | sclv, I would say a less redundant format is still fair |
| 08:44:21 | <sm> | to yaml fans at least. They can reuse what they know. |
| 08:44:21 | <sclv> | ok why |
| 08:44:55 | <sclv> | thats not less redundant. thats just different. and “more familiar to yaml users” |
| 08:45:34 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 08:45:45 | <sm> | those folks don't have to learn the special .cabal format, so for them it's "redundant". I'm not calling it that, just defending my sincere attempt to summarise, which you call a jingle :) |
| 08:46:01 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 08:46:49 | <maerwald[m]> | We may soon have cabal as toml format |
| 08:46:58 | <Axman6> | :o |
| 08:46:59 | <maerwald[m]> | Then we don't need these discussions anymore |
| 08:47:10 | <Las[m]> | link? |
| 08:47:38 | <sm> | is this the build-hpack-into-cabal idea ? |
| 08:47:42 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 08:47:53 | <maerwald[m]> | https://github.com/haskell/cabal/issues/7548 |
| 08:47:57 | <sm> | ..but better, so we don't have to admit we did that.. ? :) |
| 08:48:08 | <sclv> | redundant used to mean it literally reduced redundancy. it doesn’t anymore. i think using that word is now more confusing than not for what you’re describing |
| 08:48:11 | <maerwald[m]> | Hpack is irrelevant |
| 08:48:26 | <maerwald[m]> | Redundant, so to speak |
| 08:49:30 | <merijn> | sm: Hard disagree that "yaml" is simpler. Especially since it's an "undocumented, incomplete, partial schema that doesn't support all cabal features" |
| 08:49:55 | <sm> | sclv: ok. I see your point, it's hard to get everything across in an IRC conversation. I acknowledged that you rightly point out cabal has a similar feature now, just not quite so reliably available (user must have cabal-install >=X) |
| 08:50:17 | <sm> | I'm no yaml defender, I'll exit this topic now |
| 08:50:22 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 08:51:01 | <maerwald[m]> | Tbf, anything is better than a fully custom format |
| 08:51:35 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 08:51:37 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 08:51:46 | <maerwald[m]> | E.g.: parsing stack resolvers just requires you to depend on a yaml lib |
| 08:51:52 | <merijn> | sm: FWIW, common stanzas were added in 2.2, which means it's available on any machine that has a cabal-install less than 4 years old |
| 08:51:55 | <maerwald[m]> | Parsing cabal stuff, good luck |
| 08:52:08 | <merijn> | maerwald[m]: That's ingenous |
| 08:52:28 | <merijn> | maerwald[m]: It requires you depend on a yaml lib *and* a custom rolled parser on top of that |
| 08:52:41 | <merijn> | since yaml just gives you dictionaries without any schema |
| 08:52:43 | <tdammers> | sm: that's not the commonly understood meaning of "redundant". "Redundant" here means that the same information is replicated multiple times in the configuration - whether you base a configuration file format on YAML or make it custom has nothing to do with that |
| 08:52:49 | <maerwald[m]> | Which is dead simple |
| 08:53:15 | <merijn> | maerwald[m]: Only if the input schema is trivial |
| 08:53:34 | <tdammers> | I do think that making cabal a custom format was a mistake. But I also think YAML isn't the best choice. |
| 08:53:52 | <merijn> | I think YAML is one of the worst possible choices :p |
| 08:54:01 | <merijn> | Clearly we should just use Dhall :p |
| 08:54:08 | <tdammers> | from an ergonomics perspective, YAML is better than XML |
| 08:54:15 | <Hecate> | tdammers: you'll be happy to know that there is effort to go towards a better format, like TOML |
| 08:54:19 | <sclv> | cabal format predates yaml and toml afaik, and also predates widespread json |
| 08:54:45 | <Hecate> | sclv: yeah I think JSON only widely appeared with more JS in the browser |
| 08:54:46 | <sclv> | at the time, the “standard” would have been, at best, xml |
| 08:54:52 | <Hecate> | haha yeah |
| 08:54:55 | <tdammers> | JSON is even worse than YAML in many ways. TOML seems like a viable candidate. |
| 08:54:58 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 08:55:06 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 08:55:08 | <Hecate> | tdammers: TOML is definitely viewed as a better candidate |
| 08:55:20 | <sclv> | be very thankful that a custom format was picked over xml, lol! |
| 08:55:27 | Hecate | is thankful |
| 08:55:56 | <merijn> | Hecate: Not convinced TOML atm, but I'm not too familiar with the details |
| 08:55:57 | <Hecate> | Now it is time we give the Cabal format a honorable discharge, for services rendered to the Nation |
| 08:56:03 | <tdammers> | OTOH, an XML-based format with a well-defined schema would make it much easier to migrate to a different representation |
| 08:56:07 | → | banacorn joins (~banacorn@2001-b011-0003-1131-c802-b4b6-b5ea-5124.dynamic-ip6.hinet.net) |
| 08:56:10 | <Hecate> | merijn: the details of your doubt or of the language? |
| 08:56:20 | <merijn> | Hecate: of TOML |
| 08:56:29 | <[exa]> | oh please guys don't XML :D |
| 08:56:46 | <Hecate> | [exa]: nobody is thinking of this lol |
| 08:56:50 | <merijn> | XML would incur the Wrath of Wadler :p |
| 08:57:08 | <tdammers> | don't worry, nobody in their right minds would consider XML as a human-editable configuration format in 2021 |
| 08:57:16 | tdammers | sobs |
| 08:57:19 | <Hecate> | merijn: the Spec is quite readable! :) |
| 08:57:29 | <merijn> | @quote Wadler XML |
| 08:57:29 | <lambdabot> | Wadler says: So, the essence of XML is this: the problem it solves is not hard, and it does not solve the problem well. |
| 08:57:31 | <sclv> | “an xml format with a well-defined schema” is almost as good a punchline as “the aristocrats!” |
| 08:57:34 | <maerwald[m]> | Why have a file format at all? Just move a sqlite file around |
| 08:57:40 | <merijn> | maerwald[m]: Yes! |
| 08:57:45 | <merijn> | maerwald[m]: Did you hear the amazing news? |
| 08:57:45 | <maerwald[m]> | Lol |
| 08:57:51 | <[exa]> | good I'm happy now |
| 08:58:09 | <merijn> | maerwald[m]: Next release of SQLite will have (opt-in) strict typing/schemas! |
| 08:58:18 | <tdammers> | we could also just settle on the worst possible candidate: Python pickles |
| 08:58:48 | <merijn> | SQLite now officially "best software" in existence :> |
| 08:58:52 | <[exa]> | tdammers: you need to add more visual basic to get the actual worst candidate |
| 08:59:11 | <sclv> | i suggest using the sbt format (scala source coupled to a specific version of scala) |
| 08:59:11 | <tdammers> | [exa]: easy, just put an implementation of VB in your pickles |
| 08:59:24 | <[exa]> | oh dumb me, that's true |
| 08:59:28 | <tdammers> | [exa]: because you can do that. pickles can serialize arbitrary python objects, code and all |
| 08:59:40 | <[exa]> | wonderful |
| 08:59:43 | <merijn> | maerwald[m]: https://www.sqlite.org/draft/stricttables.html |
| 08:59:44 | <tdammers> | it's "hilarious" |
| 08:59:50 | <sclv> | oh wait its worse. Coupled to a pair of a scala version and an sbt lib version |
| 09:00:54 | <tdammers> | and then encode it into EBCDIC for good measure |
| 09:02:03 | <sclv> | ooh, hear me out, hdf5! |
| 09:02:33 | <sclv> | or the most standard standard, asn1! |
| 09:03:11 | <merijn> | sclv: I'm going to assassinate you in plain sight and no judge will convict me |
| 09:03:34 | <banacorn> | Hi, is it possible to split the compiling process into smaller stages? I'm compiling something on GitHub Actions but it keeps running out of memory :( |
| 09:04:06 | <sclv> | im writing my next april fools post as we speak. Just gotta hire a contractor who understands asn.1 to write the schema |
| 09:04:12 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-233b-e9a1-b8cd-7d30.fixed6.kpn.net) |
| 09:04:14 | <merijn> | banacorn: hmm, Github actions has been fine for me so far. Or you by any chance using pandoc? :p |
| 09:04:48 | <merijn> | sclv: Pretty sure that's against the Geneva convention |
| 09:05:38 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 09:06:07 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 09:06:11 | <Las[m]> | banacorn: Have you tried setting GHCRTS? |
| 09:06:24 | <banacorn> | merijn: It's something worse, Agda '=D https://github.com/banacorn/agda-language-server/runs/3429332793?check_suite_focus=true#step:10:3866 |
| 09:06:39 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 09:06:56 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Client Quit) |
| 09:08:09 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 09:08:17 | <banacorn> | Las[m]: No, I haven't! Thanks, I'll try this! |
| 09:09:22 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 09:09:56 | <sm> | Las: what would that do ? |
| 09:10:37 | <Las[m]> | sm: You can set flags for the GC, such as setting it to compact mode by default |
| 09:10:46 | <Las[m]> | or setting a limit for how much memory to use |
| 09:10:55 | <sm> | cool |
| 09:11:02 | <sm> | banacorn: I would troubleshoot this locally, for sure |
| 09:11:16 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 09:12:09 | <sm> | Las: this seems like some standard advice we should give to the folks trying to build on <4G machines |
| 09:12:15 | <merijn> | Las[m]: Compacting GC is the standard |
| 09:13:00 | <merijn> | banacorn: Ensure parallel compiles are disabled, btw |
| 09:13:05 | <Las[m]> | merijn: Last time I read the docs it said that it would only be enabled when half of the available memory is used IIRC |
| 09:13:21 | <banacorn> | merijn: I see, thank you! |
| 09:13:33 | <merijn> | The default GC of GHC is "copy & compact" |
| 09:13:39 | <merijn> | So I wonder what docs you read that in |
| 09:13:47 | <sm> | usually we tell them to add +RTS -M ... -RTS to ghc options, I guess that's similar to using GHCRTS |
| 09:14:01 | <merijn> | sm: I mean, limiting the memory just means your program dies with an async exception, instead of OOM-killed |
| 09:14:05 | <merijn> | sm: That's not super useful |
| 09:15:07 | <sm> | merijn: my belief and IIRC experience is it encourages GHC to be more thrifty with memory, so compiles may succeed even if they run slower. I could be wrong. |
| 09:15:26 | <merijn> | banacorn: Github Actions are fairly beefy, so I wouldn't expect GHC to blow up unless it's code that massively blows up locally. But accidentally running 2-4 GHCs instead of 1 is a good way to kill even the beefiest machines ;) |
| 09:15:31 | <Las[m]> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/runtime_control.html?highlight=c#rts-flag---copying-gc |
| 09:15:54 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 09:16:37 | <banacorn> | The same action on Linux and Mac machines are fine, but the Windows version keeps blowing up somehow |
| 09:16:47 | → | fef joins (~thedawn@user/thedawn) |
| 09:17:04 | <merijn> | ah! |
| 09:17:07 | <merijn> | Clear solution |
| 09:17:11 | <merijn> | Blame windows :D |
| 09:18:08 | × | ridcully_ quits (~ridcully@p508ac428.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 09:18:41 | <banacorn> | ;D |
| 09:19:06 | → | ridcully_ joins (~ridcully@p508ac428.dip0.t-ipconnect.de) |
| 09:19:33 | → | neo1 joins (~neo3@cpe-292712.ip.primehome.com) |
| 09:25:21 | × | jonathanx_ quits (~jonathan@c-5eea3245-74736162.cust.telenor.se) (Read error: Connection reset by peer) |
| 09:25:23 | → | jonathanx joins (~jonathan@c-5eea3245-74736162.cust.telenor.se) |
| 09:26:28 | × | banacorn quits (~banacorn@2001-b011-0003-1131-c802-b4b6-b5ea-5124.dynamic-ip6.hinet.net) (Ping timeout: 246 seconds) |
| 09:27:05 | × | vysn quits (~vysn@user/vysn) (Quit: WeeChat 3.2) |
| 09:28:43 | × | trcc quits (~trcc@users-1190.st.net.au.dk) () |
| 09:28:54 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 09:30:39 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 250 seconds) |
| 09:30:54 | → | desophos_ joins (~desophos@c-24-14-63-128.hsd1.il.comcast.net) |
| 09:31:05 | × | desophos quits (~desophos@2601:249:1680:a570:dc82:b6a1:9d59:9d35) (Ping timeout: 250 seconds) |
| 09:37:44 | × | Ananta-shesha quits (~pjetcetal@2.95.210.196) (Remote host closed the connection) |
| 09:38:03 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 09:38:13 | × | ablutor quits (~quassel@wasscher.com) (Quit: going for vitamine d) |
| 09:38:30 | → | ablutor joins (~quassel@wasscher.com) |
| 09:42:31 | → | tengu1 joins (~tengu1@cpe-70-121-244-14.neb.res.rr.com) |
| 09:43:41 | → | chexum_ joins (~quassel@gateway/tor-sasl/chexum) |
| 09:43:51 | × | chexum quits (~quassel@gateway/tor-sasl/chexum) (Ping timeout: 276 seconds) |
| 09:45:58 | → | __monty__ joins (~toonn@user/toonn) |
| 09:47:22 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 09:48:14 | ← | joel135 parts (sid136450@id-136450.stonehaven.irccloud.com) () |
| 09:56:08 | → | PinealGlandOptic joins (~PinealGla@37.115.210.35) |
| 09:56:53 | → | banacorn joins (~banacorn@2001-b011-0003-1131-c802-b4b6-b5ea-5124.dynamic-ip6.hinet.net) |
| 09:59:27 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 09:59:53 | chexum_ | is now known as chexum |
| 10:00:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 10:00:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 10:00:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 10:03:02 | → | amahl joins (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) |
| 10:04:36 | × | shailangsa_ quits (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) (Remote host closed the connection) |
| 10:04:47 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 10:07:46 | <maerwald[m]> | Speaking of windows, I'm still looking for a way to link to certain mingw libs statically |
| 10:09:19 | <kuribas> | sclv: but the stack and cabal will use different dependency versions right? |
| 10:10:10 | × | xff0x quits (~xff0x@2001:1a81:53a5:7900:5864:fdd9:e9b9:647) (Ping timeout: 240 seconds) |
| 10:10:33 | × | kenran quits (~kenran@mue-88-130-62-159.dsl.tropolys.de) (Quit: WeeChat info:version) |
| 10:11:44 | → | jonathanx_ joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 10:14:07 | × | jonathanx quits (~jonathan@c-5eea3245-74736162.cust.telenor.se) (Ping timeout: 240 seconds) |
| 10:15:02 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 10:17:19 | → | mikoto-chan joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 10:17:56 | <Gurkenglas> | Would lenses/optics be easier to understand if we sold them to the newbie exactly as "something that turns a small action into a big action"? Ideally a lens error on "x . to head .= 3" would look like "`.=` produced `SettingAction` which `to head` cannot process." |
| 10:18:22 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 10:20:22 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-4-60.prtc.net) (Ping timeout: 246 seconds) |
| 10:20:49 | × | neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Read error: Connection reset by peer) |
| 10:21:40 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 250 seconds) |
| 10:24:44 | <dminuoso> | I dont even understand what that means, and I consider myself an advanced user. |
| 10:25:25 | <Gurkenglas> | Damn it. What I mean by action, why that lens line doesn't work, or lenses in general? |
| 10:26:13 | <dminuoso> | Gurkenglas: I think this is sort of the same problem behind the monad tutorial fallacy. Once you have some analogy/explanation/intuition built on from experience, it seems so obvious. |
| 10:26:41 | <dminuoso> | But that analogy/explanation/intuition only makes sense for you, because of your own experiences with it. |
| 10:27:00 | <Gurkenglas> | It seems to me like this is the one right perspective, though! I'd love to be proven wrong. |
| 10:27:14 | <dminuoso> | Here's a list of things that are all true about lenses: |
| 10:27:33 | <dminuoso> | - (VL style) lenses are coalgebras of the costate comonad |
| 10:27:45 | <dminuoso> | - lenses/optics are first class, composable, accessors |
| 10:28:10 | <dminuoso> | - lenses allow for easily manipulating nested data in a pure language |
| 10:28:23 | <Gurkenglas> | I haven't investigated the first -, but I'm willing to bet I'll find it favors my interpretation :3 |
| 10:29:09 | <Gurkenglas> | What do you mean by first class? Composable is clear in my interpretation. What do you mean by accessor? Presumably setters and getters are kinds of accessors. |
| 10:29:21 | <dminuoso> | If you want to investigate the first, which is just humor by the way, just remember that Costate is just an old name for Store. |
| 10:29:41 | <dminuoso> | So consider something like C, where accessing a structs field is done by say `f.g` |
| 10:29:50 | <dminuoso> | But we cannot pass around this `.g` as a first class value |
| 10:30:19 | <dminuoso> | So the "path into some nested value(s)" is not a first class value in many languages |
| 10:30:34 | <dminuoso> | The closest analogy to lens I found, is something like XPath or CSS selectors. |
| 10:31:07 | <dminuoso> | But using that only makes sense if the reader is already familiar with say XPath |
| 10:32:04 | <dminuoso> | Oh and here's another item to the list above, which I think is actually valuable in some sense: |
| 10:32:33 | <dminuoso> | - lenses split an object into the focus, and the whole with a hole where the focus belonged. |
| 10:32:44 | <dminuoso> | But that one is generally not useful for teaching lenses |
| 10:32:58 | <dminuoso> | They are rather an intuition about how VL-style lenses work internally |
| 10:35:55 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 10:36:12 | × | desophos_ quits (~desophos@c-24-14-63-128.hsd1.il.comcast.net) (Quit: Leaving) |
| 10:37:10 | × | azeem quits (~azeem@dynamic-adsl-78-13-242-140.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 10:37:38 | → | shailangsa joins (~shailangs@host86-185-102-120.range86-185.btcentralplus.com) |
| 10:37:39 | → | azeem joins (~azeem@176.201.15.223) |
| 10:38:23 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) |
| 10:41:13 | → | cheater joins (~Username@user/cheater) |
| 10:42:39 | → | xff0x joins (~xff0x@2001:1a81:53a5:7900:5864:fdd9:e9b9:647) |
| 10:42:40 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) (Ping timeout: 240 seconds) |
| 10:50:40 | × | tengu1 quits (~tengu1@cpe-70-121-244-14.neb.res.rr.com) (Quit: Client closed) |
| 10:50:54 | → | cfricke joins (~cfricke@user/cfricke) |
| 10:56:22 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 10:56:27 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 10:57:06 | → | azeem joins (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) |
| 11:01:01 | → | alx741 joins (~alx741@186.178.109.43) |
| 11:01:12 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 276 seconds) |
| 11:01:23 | <kuribas> | Gurkenglas: I find the definition in the Optics packages quite good: "An optic is a first-class, composable notion of substructure." |
| 11:02:01 | <kuribas> | Gurkenglas: IMO to explain it, start eays, from a getter/setter for a field. |
| 11:02:14 | <Gurkenglas> | eays? |
| 11:02:18 | <kuribas> | easy :) |
| 11:02:21 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:03:19 | <maerwald> | not sure that's gonna help a newbie :p |
| 11:03:20 | → | tromp joins (~textual@dhcp-077-249-230-040.chello.nl) |
| 11:03:25 | → | lavaman joins (~lavaman@98.38.249.169) |
| 11:03:49 | <kuribas> | If you understand what a lens is for a field, then you can generalise it to traversals, and prisms. |
| 11:04:37 | <kuribas> | A lens over a field is quite easy to understand. It's nothing more than a getter and setter. |
| 11:05:09 | <Gurkenglas> | dminuoso, the third - has its place; it's the problem for which optics are the solution, whereas the "small action into big action" is the gear I would give the user to have any hope of understanding/debugging/coming up with lens lines |
| 11:07:52 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 252 seconds) |
| 11:10:08 | <Gurkenglas> | dminuoso, the fourth -, "Lens' s a: s <-> (a,_); Traversal' s a: s <-> ([a],_); Prism' s a: s <-> Either a _; ..." is an implementation lens could have had, but doesn't remotely! Although I suppose the connection is a neat one and maybe (,) and Either should be defined that way in the first place :) |
| 11:14:13 | × | zaquest quits (~notzaques@5.128.210.178) (Remote host closed the connection) |
| 11:15:54 | → | zaquest joins (~notzaques@5.128.210.178) |
| 11:17:24 | <Gurkenglas> | kuribas, @optics: nice! The reason that they use % instead of . is that Haskell doesn't yet allow control of error messages for . like it does for newtypes, and the impredicative types embarassment, yes? |
| 11:17:44 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 11:18:00 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 250 seconds) |
| 11:18:11 | × | jonathanx_ quits (~jonathan@dyn-8-sc.cdg.chalmers.se) (Remote host closed the connection) |
| 11:22:25 | <Gurkenglas> | "Since Optic is a newtype, other libraries that wish to define optics must depend upon its definition." <- ...do we not have some way of saying "and here's a definition that can only be used if you also import the optics package."? |
| 11:25:04 | → | neo1 joins (~neo3@cpe-292712.ip.primehome.com) |
| 11:25:25 | <Gurkenglas> | I suppose in the end the library can define s->a and s->b->t... or even, to be more on the nose, (((s->a) -> (s->b->t)) -> x) -> x :) |
| 11:25:28 | <kuribas> | Gurkenglas: (.) only operates on functions, but an optic isn't a function. |
| 11:25:45 | <kuribas> | Gurkenglas: or more general on Categories, but it isn't a Category either. |
| 11:26:05 | → | sszark joins (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) |
| 11:26:15 | → | jonathanx joins (~jonathan@dyn-8-sc.cdg.chalmers.se) |
| 11:26:27 | <Gurkenglas> | kuribas, yeah "reason they don't use ." is to be read as "reason they don't define optics as functions" |
| 11:26:58 | <kuribas> | Gurkenglas: IMO "." is confusing and leaking abstractions. |
| 11:27:17 | <kuribas> | because it is used the wrong way than what you would expect. |
| 11:27:21 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 11:27:39 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 11:27:42 | → | Neuromancer joins (~Neuromanc@user/neuromancer) |
| 11:28:19 | <Gurkenglas> | kuribas, I argue that the user should think of the other direction as the expected one! What implementation of what optic does not involve function composition? |
| 11:29:23 | <kuribas> | Gurkenglas: I mean, it's leaking the abstraction, because the user shouldn't not think about the implementation. |
| 11:30:02 | <Gurkenglas> | If every implementation is the same then I disagree. |
| 11:31:05 | <Gurkenglas> | Hmm, except not every implementation is the same, as in Ctrl-F "fourth -". |
| 11:31:31 | <kuribas> | There are already different means to implement optics. |
| 11:31:40 | → | cfricke joins (~cfricke@user/cfricke) |
| 11:31:51 | <Gurkenglas> | Do errors from the optics package ever leak the abstraction? |
| 11:31:58 | <kuribas> | No |
| 11:34:06 | <Gurkenglas> | Here's an argument for making actions the newtypes instead of optics: It makes it so that instead of hardcoding in the subset relation as a class, we hardcode in the element relation as a class. |
| 11:35:55 | → | pretty_dumm_guy joins (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 11:36:10 | <Gurkenglas> | Then the kind that pops out when you compose needn't be hardcoded, instead you intersect the hardcoded sets. |
| 11:36:18 | → | dude joins (~da1dude@112.201.99.74) |
| 11:38:08 | → | lortabac_ joins (~lortabac@151.73.13.59) |
| 11:38:08 | × | lortabac quits (~lortabac@62.98.11.57) (Read error: Connection reset by peer) |
| 11:39:21 | × | dadude quits (~da1dude@112.201.99.74) (Ping timeout: 250 seconds) |
| 11:42:22 | → | dadude joins (~da1dude@112.201.99.74) |
| 11:45:37 | × | dude quits (~da1dude@112.201.99.74) (Ping timeout: 248 seconds) |
| 11:47:34 | × | banacorn quits (~banacorn@2001-b011-0003-1131-c802-b4b6-b5ea-5124.dynamic-ip6.hinet.net) (Quit: Client closed) |
| 11:50:47 | × | drd quits (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (Ping timeout: 240 seconds) |
| 11:56:18 | × | mc47 quits (~mc47@xmonad/TheMC47) (Quit: Leaving) |
| 11:58:14 | → | mc47 joins (~mc47@xmonad/TheMC47) |
| 12:00:56 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 12:00:58 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 12:01:02 | × | sjb0 quits (~stephen@1.145.57.172) (Quit: Leaving.) |
| 12:01:47 | → | burnside_ joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 12:01:47 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Read error: Connection reset by peer) |
| 12:05:52 | <kuribas> | Gurkenglas: just compare the type if "view :: Control.Monad.Reader.Class.MonadReader s m => (a -> Const a a) -> s -> Const a s" vs "view :: view :: Is k A_Getter => Optic' k is s a -> s -> a" |
| 12:06:11 | <kuribas> | Gurkenglas: This MonadReader and Const stuff should not be relevant if you just want to *use* lenses. |
| 12:06:42 | <kuribas> | Gurkenglas: However, it *is* relevant to know that view works with any Optic that is a A_Getter. |
| 12:07:13 | <kuribas> | Gurkenglas: which means a subtyping relationship implemented using a typeclass. |
| 12:09:17 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 12:09:35 | <kuribas> | Gurkenglas: in other words, the interface of Optic contains the necessary information about how to use it, but not more than needed. |
| 12:10:35 | <Gurkenglas> | I agree that Const and MonadReader shouldn't be exposed. My suggestion is to turn "(%) :: JoinKinds k l m => Optic k s u -> Optic l u a -> Optic m s a" into "(.) :: Action k, Action l, Action m => (l u -> m s) -> (k a -> l u) -> (k a -> m s)". |
| 12:11:21 | <Gurkenglas> | Although I suppose Action needn't even be a class there |
| 12:11:30 | <Gurkenglas> | so in the end (.) is just fully general, uhhh how do I even say this |
| 12:14:03 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:14:44 | <Gurkenglas> | My suggestion is to turn "Optic A_Lens s a" into "Action m A_Lens => m a -> m s". |
| 12:15:19 | <Gurkenglas> | (Could say "Action m Lens" there even, I think?) |
| 12:15:45 | <Gurkenglas> | (probably not, if Lens is a type alias.) |
| 12:16:11 | × | azeem quits (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 12:16:42 | → | azeem joins (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) |
| 12:17:18 | <kuribas> | Gurkenglas: you are free to design your own lens abstraction, but it is not trivial... |
| 12:17:28 | <Gurkenglas> | yeah maybe i should just write the library |
| 12:17:47 | <kuribas> | Gurkenglas: you'll probably fail, and then see why Optics did it like that. |
| 12:18:23 | <kuribas> | Gurkenglas: or end up like the lens library, with all its flaws. |
| 12:19:14 | <Gurkenglas> | hmm i suppose A_Getter is just exactly GettingAction |
| 12:19:46 | <Gurkenglas> | and every action is *identified* with the set of actions at most as powerful |
| 12:19:59 | <Gurkenglas> | and then the subset relation *is* the element relation |
| 12:20:10 | <sszark> | This example from 'learn you a haskell'. Can you do this without building every single combination, if you just want 1 random variant? https://pastebin.com/raw/5XVVt9Pn |
| 12:21:08 | <Taneb> | sszark: if you have a way of taking a random element from a list, then either you can use it on the list of all combinations, or you can use it on each of the starting lists and combine them afterwards |
| 12:21:54 | <kuribas> | Gurkenglas: it's easy to look at a small part and think "I can do this better". But you have to look at the whole picture. |
| 12:21:59 | <sszark> | Yeah that makes sense. I have two lists with thousands of words. and it's really slow to build all combinations just to extract a single one. |
| 12:22:03 | <kuribas> | IMO both Lens and Optics are amazing pieces of work. |
| 12:22:45 | <Gurkenglas> | kuribas, to make it clear my last 3 lines are about optics as it is now :) |
| 12:26:02 | <Gurkenglas> | https://hackage.haskell.org/package/optics-core-0.4/docs/src/Optics.Internal.Optic.html#%25 <- AHA IT IS JUST (.) |
| 12:27:12 | <kuribas> | Gurkenglas: That doesn't make any sense. (.) doesn't work on newtypes (unless you mean Category.. |
| 12:28:18 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 12:29:32 | <Gurkenglas> | kuribas, yeah the implementation is pretty much "coerce (.)" (the (->) one) except they do the plumbing manually |
| 12:29:37 | × | dsrt^ quits (~dsrt@12.16.129.111) (Ping timeout: 250 seconds) |
| 12:31:03 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 12:32:02 | → | pbrisbin joins (~patrick@174-081-116-011.res.spectrum.com) |
| 12:33:25 | <kuribas> | Gurkenglas: you cannot coerce any datatype. They would have need to expose the implementation, where the whole point is hiding it... |
| 12:36:14 | <Gurkenglas> | kuribas, I don't follow. open the link and the ~"Optic k % Optic l = Optic (k . l)" is plain as day |
| 12:39:17 | <Gurkenglas> | Now that we have linear types, shouldn't we have Setter1? |
| 12:39:57 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) |
| 12:42:15 | <Gurkenglas> | kuribas, oh, I think you confuse k % l = coerce (coerce k . coerce l) with (%) = coerce (.) :) |
| 12:44:10 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) (Ping timeout: 240 seconds) |
| 12:44:31 | × | Guest9529 quits (~lordgrenv@188.120.142.132) (Quit: WeeChat 3.2) |
| 12:44:34 | → | favonia joins (~favonia@user/favonia) |
| 12:45:02 | → | drd joins (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) |
| 12:49:34 | <sszark> | How do you store a closure in a tuple/list? |
| 12:49:46 | × | bitdex_ quits (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 12:51:45 | <Gurkenglas> | > let functionlist = [\x -> x+2, \x -> x*2, \y -> y+5] in (functionlist !! 2) 17 -- sszark |
| 12:51:47 | <lambdabot> | 22 |
| 12:53:19 | → | doyougnu joins (~user@c-73-25-202-122.hsd1.or.comcast.net) |
| 12:53:59 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-233b-e9a1-b8cd-7d30.fixed6.kpn.net) (Quit: Leaving) |
| 12:54:18 | lortabac_ | is now known as lortabac |
| 12:55:37 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 12:57:23 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 12:57:44 | → | hannessteffenhag joins (~hannesste@77.20.255.200) |
| 13:00:38 | × | AlexNoo quits (~AlexNoo@178.34.150.125) (Quit: Leaving) |
| 13:00:42 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Ping timeout: 250 seconds) |
| 13:00:52 | × | Alex_test quits (~al_test@178.34.150.125) (Quit: ;-) |
| 13:00:56 | × | AlexZenon quits (~alzenon@178.34.150.125) (Quit: ;-) |
| 13:02:45 | × | Vajb quits (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 13:03:07 | <srid[m]> | Does anyone in North America do remote development on a Hetzner dedicated machine (in Europe; Germany or Finland)? What's the latency like? For nvim in tmux. |
| 13:03:30 | → | Vajb joins (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) |
| 13:04:22 | <srid[m]> | ctx https://discourse.haskell.org/t/computer-for-compiling-haskell-programs/2351/6?u=srid |
| 13:04:27 | <dminuoso> | srid[m]: It will be at least on average 90ms more than local connecity, that's for the light latency over trans-atlantic fiber optics. |
| 13:04:41 | <dminuoso> | But details greatly depend on your own connectivity |
| 13:04:51 | <dminuoso> | But likely it will be around 90-100ms |
| 13:05:37 | <srid[m]> | Hmm, is that okay or bad? As far as interactively writing Haskell code in tmux/nvim is concerned? |
| 13:06:51 | × | hendursa1 quits (~weechat@user/hendursaga) (Quit: hendursa1) |
| 13:07:16 | → | hendursaga joins (~weechat@user/hendursaga) |
| 13:07:45 | × | azeem quits (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 13:08:17 | → | MoC joins (~moc@user/moc) |
| 13:09:48 | → | azeem joins (~azeem@176.201.15.223) |
| 13:10:08 | <srid[m]> | Probably should just go for a desktop cpu with a good single thread performance |
| 13:14:08 | <sszark> | You can use tools like Mosh if you want to abstract away the latency. Then your session is local and syncs with the remote. |
| 13:18:46 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 252 seconds) |
| 13:20:58 | → | AlexNoo joins (~AlexNoo@178.34.150.125) |
| 13:21:34 | × | burnside_ quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 13:22:05 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 13:22:24 | → | AlexZenon joins (~alzenon@178.34.150.125) |
| 13:22:50 | → | azeem joins (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) |
| 13:24:06 | × | neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 250 seconds) |
| 13:25:46 | → | sszark1 joins (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) |
| 13:26:07 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 13:28:33 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 248 seconds) |
| 13:28:40 | × | sszark quits (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 13:28:43 | → | Alex_test joins (~al_test@178.34.150.125) |
| 13:31:40 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 13:34:10 | → | jippiedoe joins (~david@2a02-a44c-e14e-1-8b31-dbf7-2dcc-c6b7.fixed6.kpn.net) |
| 13:35:20 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 13:35:45 | → | kmein joins (~weechat@user/kmein) |
| 13:35:53 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 13:38:16 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 13:40:22 | → | shriekingnoise joins (~shrieking@186.137.144.80) |
| 13:42:34 | → | slowButPresent joins (~slowButPr@user/slowbutpresent) |
| 13:52:02 | <kuribas> | can I have external stack references with a range? Or do I have to pin the version? |
| 13:52:47 | <kuribas> | like: acme-missiles-0.3@sha256:2ba66a092a32593880a87fb00f3213762d7bca65a687d45965778deb8694c5d1 |
| 13:52:47 | <kuribas> | |
| 13:53:52 | → | mikoto-c1 joins (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) |
| 13:55:55 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 13:56:51 | → | fendor_ joins (~fendor@178.165.207.147.wireless.dyn.drei.com) |
| 13:57:59 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 13:58:19 | → | hexology joins (~hexology@user/hexology) |
| 13:59:07 | × | fendor quits (~fendor@91.141.62.191.wireless.dyn.drei.com) (Ping timeout: 240 seconds) |
| 14:03:10 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 14:04:24 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds) |
| 14:04:48 | <janus> | sszark1: mosh does not know about application specific details. let's say you use Control-P or telescope and they write the whole screen in quick sucession, mosh can not help with that |
| 14:07:16 | <janus> | but works great for trans-atlantic IRC sessions for me. but they require way less interactivity, and the mosh send-buffer visualisation with underline works great for the composition minibuffer |
| 14:07:25 | <dminuoso> | emacs + tramp maybe? |
| 14:07:59 | <dminuoso> | This could finally be the reason to switch sides. |
| 14:08:53 | → | josh joins (~lordgrenv@188.120.128.227) |
| 14:09:17 | josh | is now known as Guest4733 |
| 14:09:29 | × | jippiedoe quits (~david@2a02-a44c-e14e-1-8b31-dbf7-2dcc-c6b7.fixed6.kpn.net) (Quit: Leaving) |
| 14:13:13 | × | Guest4733 quits (~lordgrenv@188.120.128.227) (Ping timeout: 252 seconds) |
| 14:15:25 | × | shapr quits (~user@pool-100-36-247-68.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 14:18:15 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 14:18:27 | → | hnOsmium0001 joins (uid453710@id-453710.stonehaven.irccloud.com) |
| 14:20:07 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 250 seconds) |
| 14:21:04 | fendor_ | is now known as fendor |
| 14:21:45 | → | shapr joins (~user@pool-100-36-247-68.washdc.fios.verizon.net) |
| 14:23:58 | sszark1 | is now known as sszark |
| 14:24:27 | <sszark> | that's true, does nvim not have any remote protocol like emacs? janus |
| 14:24:33 | × | pretty_dumm_guy quits (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 248 seconds) |
| 14:26:02 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 14:26:02 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 14:26:02 | → | wroathe joins (~wroathe@user/wroathe) |
| 14:26:32 | <maerwald> | pretty sure it does |
| 14:26:48 | <maerwald> | that was the entire point of the fork |
| 14:28:35 | → | d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 14:33:07 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Ping timeout: 250 seconds) |
| 14:33:31 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 14:39:06 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 14:41:32 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) |
| 14:41:46 | <kuribas> | ugh, now I have to manually insert all packages with transitive dependencies in my stack.yaml, because I use packages which aren't in the curated set... |
| 14:43:58 | <maerwald> | curated set... |
| 14:44:49 | × | ubert1 quits (~Thunderbi@77.119.215.189.wireless.dyn.drei.com) (Ping timeout: 250 seconds) |
| 14:45:40 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) (Ping timeout: 240 seconds) |
| 14:48:17 | <kuribas> | I have a perfectly working .ghc.environment, but stack is rejecting it. |
| 14:48:25 | <kuribas> | hurray for solving dependency hell... |
| 14:49:04 | <kuribas> | In the dependencies for cassava-0.5.2.0: bytestring-0.10.8.2 from stack configuration does not match >=0.9.2 && <0.10.4 (latest matching version is 0.10.2.0) |
| 14:49:04 | <kuribas> | |
| 14:49:33 | <kuribas> | yet, this works for newbuild |
| 14:50:45 | × | quantum quits (~quantum@user/quantum/x-8556232) (Quit: Reconnecting) |
| 14:51:02 | → | quantum joins (~quantum@user/quantum/x-8556232) |
| 14:51:13 | × | Neuromancer quits (~Neuromanc@user/neuromancer) (Ping timeout: 248 seconds) |
| 14:51:39 | <maerwald> | what are you even building |
| 14:54:33 | × | fef quits (~thedawn@user/thedawn) (Ping timeout: 276 seconds) |
| 14:54:40 | <kuribas> | maerwald: some script for loading csv in the database |
| 14:54:47 | <siers> | is monomorphization just type variable application at the type level? (application of what? type lambdas?) |
| 14:55:12 | <kuribas> | siers: you can think of a forall as a type lambda, yes... |
| 14:55:36 | <kuribas> | maerwald: this constraint is bullshit, the one in hackage is: bytestring (>=0.9.2 && <0.12), |
| 14:55:44 | <kuribas> | maerwald: maybe stack has the wrong constraint? |
| 14:55:59 | → | fef joins (~thedawn@user/thedawn) |
| 14:57:02 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 3.2) |
| 14:57:06 | <maerwald> | I dunno what you're building |
| 14:57:50 | <kuribas> | maerwald: why do you need to know? |
| 14:57:53 | <kuribas> | it's not relevant |
| 14:58:07 | <maerwald> | I don't, but it's all guessing from this point |
| 14:59:02 | <kuribas> | guessing what? |
| 14:59:32 | <kuribas> | I think it's very concrete: stack is failing on a bullshit constraint |
| 14:59:58 | × | ubert quits (~Thunderbi@77.119.215.189.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 15:00:26 | <maerwald> | guessing what you're building :D |
| 15:00:36 | <merijn> | kuribas: Stack ignores hackage revisions |
| 15:00:47 | <maerwald> | merijn: huh? |
| 15:00:58 | <maerwald> | you can specify the revision afaik |
| 15:01:31 | <merijn> | You coudn't last I checked, but maybe it changed |
| 15:02:05 | × | [itchyjunk] quits (~itchyjunk@user/itchyjunk/x-7353470) (Quit: Leaving) |
| 15:02:35 | <kuribas> | merijn: so where does it get them? |
| 15:02:59 | <maerwald> | - acme-missiles-0.3@rev:0 |
| 15:03:46 | <maerwald> | https://hackage.haskell.org/package/pantry-0.5.2.3/docs/Pantry.html#t:CabalFileInfo |
| 15:03:52 | <maerwald> | clearly supports revision |
| 15:04:50 | → | zebrag joins (~chris@user/zebrag) |
| 15:05:03 | → | lavaman joins (~lavaman@98.38.249.169) |
| 15:07:04 | <maerwald> | hash is an implicit revision |
| 15:07:16 | <maerwald> | it'll just look through all of them I think |
| 15:09:07 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 15:09:22 | <kuribas> | it doesn't matter if I give a revision, if stack is refusing it because of constraints. |
| 15:09:37 | <kuribas> | I don't get where stack gets ">=0.9.2 && <0.10.4" |
| 15:09:49 | <maerwald> | kuribas: well, either you tell us what you're building or... :p |
| 15:09:50 | <kuribas> | for cassava-0.5.2.0 |
| 15:09:59 | <maerwald> | link to git repo |
| 15:10:03 | <kuribas> | maerwald: I just told you. |
| 15:10:09 | <kuribas> | maerwald: no, it's not open source... |
| 15:10:11 | <maerwald> | can't clone your thoughts |
| 15:10:20 | <kuribas> | it's company property |
| 15:10:21 | <maerwald> | I can sign an NDA |
| 15:11:20 | × | lortabac quits (~lortabac@151.73.13.59) (Quit: WeeChat 2.8) |
| 15:12:33 | × | alx741 quits (~alx741@186.178.109.43) (Ping timeout: 248 seconds) |
| 15:15:22 | × | hannessteffenhag quits (~hannesste@77.20.255.200) (Ping timeout: 252 seconds) |
| 15:15:57 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 15:18:04 | × | azeem quits (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) (Ping timeout: 250 seconds) |
| 15:19:56 | → | azeem joins (~azeem@176.201.15.223) |
| 15:20:16 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Remote host closed the connection) |
| 15:20:20 | ← | drd parts (~drd@2001:b07:a70:9f1f:1562:34de:f50f:77d4) (ERC (IRC client for Emacs 28.0.50)) |
| 15:20:25 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 15:22:11 | <kuribas> | maerwald: if you don't know the question, it's fine... |
| 15:22:25 | <kuribas> | I mean the answer to my question. |
| 15:25:23 | → | alx741 joins (~alx741@181.196.68.187) |
| 15:26:14 | → | jespada_ joins (~jespada@90.254.245.194) |
| 15:27:12 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 15:29:27 | × | jespada quits (~jespada@90.254.245.194) (Ping timeout: 250 seconds) |
| 15:30:44 | → | Hydrazer joins (~Hydrazer@S010684c9b26eee6d.cg.shawcable.net) |
| 15:31:10 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 15:31:27 | × | stiell quits (~stiell@gateway/tor-sasl/stiell) (Remote host closed the connection) |
| 15:31:48 | → | waleee joins (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) |
| 15:32:04 | → | stiell joins (~stiell@gateway/tor-sasl/stiell) |
| 15:32:13 | <Hydrazer> | does anyone know how to get the difference between 2 dates in year month day format in the data.time.calender library? i used diffdays but it only gave me the days |
| 15:32:28 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 15:32:31 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 15:33:12 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 15:34:43 | × | markpythonicbtc quits (~textual@2601:647:5a00:35:d556:b617:7067:a615) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 15:34:44 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 15:34:53 | <Hydrazer> | well send me a message if you find out |
| 15:36:33 | → | gambpang joins (~ishipman@207.181.230.156) |
| 15:36:39 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 15:37:07 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 15:40:49 | × | jespada_ quits (~jespada@90.254.245.194) (Read error: Connection reset by peer) |
| 15:41:07 | → | jespada joins (~jespada@90.254.245.194) |
| 15:41:28 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 15:42:54 | <c_wraith> | *sigh*. I went looking on hackage to see if a function I want exists someplace. It's stuffed in a half-dozen packages as a throw-away utility. |
| 15:43:28 | <maerwald> | create a package per function |
| 15:43:42 | <c_wraith> | this one should probably just be in base |
| 15:45:49 | <c_wraith> | ... or part of the language. I kind of wish every data type definition also created a non-recursive eliminator for the type |
| 15:45:55 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 15:46:34 | × | Hydrazer quits (~Hydrazer@S010684c9b26eee6d.cg.shawcable.net) (Ping timeout: 246 seconds) |
| 15:49:58 | × | mc47 quits (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 15:55:53 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) |
| 15:56:13 | → | elf_fortrez joins (~elf_fortr@adsl-72-50-5-235.prtc.net) |
| 15:57:52 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 15:58:06 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 15:58:10 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number) |
| 15:58:33 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 15:58:36 | <tomsmeding> | as in, the recursive place is instead a call to an argument of this eliminator? |
| 15:58:54 | × | dajoer quits (~david@user/gvx) (Quit: leaving) |
| 15:59:06 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 16:00:18 | → | azeem joins (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) |
| 16:00:33 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 16:01:12 | <tomsmeding> | kuribas: get the full dependency tree of your project using 'stack dot', download all the .cabal files for those packages from stackage and grep for 0.10.4; if not found, download all the .cabal files of _all the versions_ of those packages :p |
| 16:01:30 | <c_wraith> | I think eliminator is the wrong term - it doesn't eliminate the type entirely, if the type is recursive. just one level of it |
| 16:02:27 | <kuribas> | ugh stack is worse than cabal hell. |
| 16:02:33 | <tomsmeding> | c_wraith: if I understand what you refer to correctly, I've wanted this multiple times with GADTs |
| 16:02:40 | <kuribas> | unless it happens to have all your version perfectly in the snapshot. |
| 16:02:48 | <tomsmeding> | making something like that generically using GHC generics should be doable, but gadts don't do generics :p |
| 16:03:51 | <c_wraith> | Basically, I want cata : church encoding :: ??? : scott encoding |
| 16:04:28 | <kuribas> | Or I guess stack forces you to use old versions... |
| 16:10:36 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 16:10:51 | <maerwald> | stack is worse than both nix and cabal... doesn't have the expressivity of nix and doesn't have the constraint solver of cabal |
| 16:11:30 | <maerwald> | but it managed to provide a better user interface |
| 16:11:35 | ← | lbseale parts (~lbseale@user/ep1ctetus) (Leaving) |
| 16:11:41 | <janus> | why does stack need a constraint solver if you have stackage? |
| 16:12:03 | <c_wraith> | it needs *something* to specify versions the instant you step outside stackage |
| 16:12:08 | <c_wraith> | it just punts to the user |
| 16:12:12 | <maerwald> | janus: are you asking why you'd want to install packages outside of stackage? |
| 16:12:17 | → | lbseale joins (~lbseale@user/ep1ctetus) |
| 16:12:31 | <sm> | Hydrazer: it's difficult because it doesn't make sense - how would you display a count of days as Y-m-d |
| 16:12:39 | <maerwald> | or why dependency resolution is a thing? |
| 16:12:57 | <janus> | no, not really asking that. i just thought it was weird to make that the deciding factor acting like stackage doesn't exist |
| 16:13:07 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Ping timeout: 240 seconds) |
| 16:13:14 | <janus> | i understand you may need one once you leave stackage |
| 16:13:32 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 16:13:46 | <janus> | thought it didn't seem super complicated the problems i had stepping outside of stackage. it remains the exception |
| 16:13:58 | <maerwald> | cabal would allow us to define package range sets that work with each other... stack can't |
| 16:14:24 | <maerwald> | you could add security overlays as constraints etc etc |
| 16:14:32 | <maerwald> | all things stack can't do, because it doesn't have a solver |
| 16:15:52 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 16:16:15 | <janus> | that would be so cool |
| 16:17:02 | <kuribas> | janus: because stackage doesn't have all libraries, or you need a newer version. |
| 16:17:19 | <maerwald> | janus: https://mail.haskell.org/pipermail/cabal-devel/2015-July/010214.html |
| 16:17:52 | <janus> | kuribas: yes i know, occasionally i need to put an 'extra dep'. i acknowledged that already in my previous comment stating that it is the exception |
| 16:18:15 | <kuribas> | janus: not for me |
| 16:19:03 | <janus> | i acknowledge that it depends what you're trying to do, how bleeding edge you need to be |
| 16:19:14 | <maerwald> | sometimes you add extra-dep and then in the next step it tells you to add a different version of the same dep you just added :D |
| 16:19:23 | <maerwald> | which, of course, doesn't work |
| 16:20:30 | <janus> | maerwald: what happened to that proposal by dcoutts go? |
| 16:20:49 | <maerwald> | he got busy with blockchain xD |
| 16:21:46 | <maerwald> | but it seems we'll likely get something along those lines |
| 16:21:48 | <maerwald> | https://github.com/haskell/cabal/issues/7556 |
| 16:21:54 | <janus> | hmm, given the choice between undermining nation states (causing anarchy) and having cabal support package sets.... difficult choice |
| 16:22:25 | <janus> | if you go for impact, you may choose the first |
| 16:22:37 | <siers> | I hope it's the anarchist communist kind |
| 16:23:04 | <maerwald> | I believe includes are the way to go: 1. generic includes and 2. constraint includes. As a 3rd step, named constraint sets can be introduced at a later stage and then as the last step provide an algebra to combine named constraint sets the way you like |
| 16:25:18 | → | markpythonicbtc joins (~textual@50.228.44.6) |
| 16:26:39 | × | shredder quits (~user@user/shredder) (Quit: quitting) |
| 16:28:36 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 16:28:49 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 16:29:33 | → | vysn joins (~vysn@user/vysn) |
| 16:29:56 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 16:33:02 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 16:35:48 | → | son0p joins (~ff@181.136.122.143) |
| 16:39:01 | × | kuribas quits (~user@ip-188-118-57-242.reverse.destiny.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 16:39:20 | <maerwald> | do we have a good story for versioned json parsing to maintain backwards compat? |
| 16:41:32 | <maerwald> | https://github.com/Vlix/safe-json |
| 16:42:06 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 16:42:24 | → | kmein joins (~weechat@user/kmein) |
| 16:42:49 | → | hexfive joins (~eric@50.35.83.177) |
| 16:43:56 | <janus> | if you know the support lifetime once each migration begins, add the new field next to the old one, and put a comment on the old one stating it's removal date, and make calendar event for that date |
| 16:44:58 | <janus> | if the schema changes too much, do the same for endpoints |
| 16:45:16 | → | neo1 joins (~neo3@cpe-292712.ip.primehome.com) |
| 16:45:52 | <janus> | an Aeson parser will ignore unknown keys of an object, so never have an endpoint return anything that is not an object, otherwise, you will not be able to change the schema without a new endpoint |
| 16:46:07 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 252 seconds) |
| 16:48:05 | <janus> | one thing that sucks about Aeson is that AFAIK it is not verify convenient to omit a key. so if you have a key that is supposed to be omitted when its value is Nothing, it is hard to test for that with e.g. a property test that uses your serializer |
| 16:49:24 | <janus> | but that is not strictly related to version migrations i guess |
| 16:49:37 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 16:50:19 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 16:50:29 | → | Tuplanolla joins (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) |
| 16:51:04 | ← | jakalx parts (~jakalx@base.jakalx.net) (Error from remote client) |
| 16:52:28 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 16:52:46 | → | kmein joins (~weechat@user/kmein) |
| 16:55:55 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 16:55:55 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 16:55:55 | → | wroathe joins (~wroathe@user/wroathe) |
| 16:57:18 | <siers> | I'm learning about GADTs and I noticed when I have a GADT, say Nats, – SNat ('Succ ('Succ Zero)) – the type parameter inside of it seems to be a value |
| 16:57:27 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 16:58:51 | <siers> | or, well, the constructor names |
| 16:59:23 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.7.2+deb3 - https://znc.in) |
| 16:59:35 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 17:00:16 | × | kmein quits (~weechat@user/kmein) (Quit: ciao kakao) |
| 17:00:27 | × | wroathe quits (~wroathe@user/wroathe) (Ping timeout: 240 seconds) |
| 17:00:34 | → | kmein joins (~weechat@user/kmein) |
| 17:00:35 | <siers> | which are a part of values, but do not appear when checking the types of ADTs |
| 17:00:45 | <glguy> | siers: The DataKinds extension creates new types corresponding to those constructors as a shortcut, they aren't directly related to the corresponding value constructors |
| 17:01:14 | <glguy> | but there's nothing other than the letters in the name looking the same that ties 'Succ as a type to Succ as a value |
| 17:01:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:02:55 | <glguy> | The fact that a GADT is involved is a bit of a coincidence. DataKinds are independent from GADTs |
| 17:03:50 | → | Morrow_ joins (~Morrow@bzq-110-168-31-106.red.bezeqint.net) |
| 17:03:52 | <siers> | but DataKinds come with GADTs? |
| 17:04:51 | × | troydm quits (~troydm@host-176-37-124-197.b025.la.net.ua) (Ping timeout: 276 seconds) |
| 17:05:41 | <glguy> | no |
| 17:06:07 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 17:06:19 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 17:06:31 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 17:06:57 | × | werneta quits (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Remote host closed the connection) |
| 17:07:00 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:07:11 | <siers> | so no correlation whatsoever, ok |
| 17:07:16 | <glguy> | Instead of using the conveniently derived 'Succ and 'Zero types, you could have defined new types without data kinds and the functionality would be identical |
| 17:07:35 | <glguy> | data ZeroType; data SuccType a |
| 17:08:55 | <glguy> | also: Your example had Zero and not 'Zero, but that's just GHC being helpful and guessing you meant 'Zero, it wasn't using the value constructor Zero |
| 17:09:28 | <siers> | that is my mistake after retyping, it is there in the shell |
| 17:10:19 | × | Vajb quits (~Vajb@2001:999:252:4e3c:27f9:d93:655e:583) (Read error: Connection reset by peer) |
| 17:10:40 | → | Vajb joins (~Vajb@hag-jnsbng11-58c3ab-85.dhcp.inet.fi) |
| 17:10:57 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 17:11:52 | → | werneta joins (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 17:12:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 17:12:19 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:12:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:12:36 | × | abhixec quits (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 17:13:07 | × | elf_fortrez quits (~elf_fortr@adsl-72-50-5-235.prtc.net) (Quit: Client closed) |
| 17:13:59 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Read error: error:1408F10B:SSL routines:ssl3_get_record:wrong version number) |
| 17:14:43 | → | MoC joins (~moc@user/moc) |
| 17:17:08 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0.1) |
| 17:17:23 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 17:17:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:17:42 | → | aegon joins (~mike@174.127.249.180) |
| 17:18:07 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:20:45 | <aegon> | how come there is both Generic and Generic1 |
| 17:21:01 | × | MoC quits (~moc@user/moc) (Quit: Konversation terminated!) |
| 17:21:10 | × | NinjaTrappeur quits (~ninja@user/ninjatrappeur) (Ping timeout: 240 seconds) |
| 17:21:36 | → | NinjaTrappeur joins (~ninja@user/ninjatrappeur) |
| 17:23:25 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 17:23:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:24:10 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 17:24:51 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 17:25:14 | → | mizu_no_oto joins (~mizu_no_o@cpe-74-67-208-45.twcny.res.rr.com) |
| 17:25:52 | → | VoidNoir0 joins (~VoidNoir0@72.80.203.52) |
| 17:26:17 | <monochrom> | When you find yourself wanting to auto-gen "instance Monad Foo" instead of merely "instance Monoid (Foo a)" you will begin to appreciate it. |
| 17:26:33 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 17:27:08 | → | oxide joins (~lambda@user/oxide) |
| 17:27:09 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 17:28:47 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:29:03 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 250 seconds) |
| 17:29:04 | <monochrom> | Oh haha Monday Morning Haskell opens the old wounds of "is this a quicksort?" controversy again! |
| 17:29:32 | → | troydm joins (~troydm@host-176-37-124-197.b025.la.net.ua) |
| 17:29:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:31:28 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 17:31:46 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 17:32:03 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 17:35:59 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 17:37:27 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 240 seconds) |
| 17:39:22 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 17:39:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 17:40:54 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:43:12 | → | obs\ joins (~obscur1ty@user/obs/x-5924898) |
| 17:46:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 17:46:56 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:47:32 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 17:50:17 | → | andinus joins (andinus@tilde.institute) |
| 17:52:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:52:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 17:54:18 | ← | jakalx parts (~jakalx@base.jakalx.net) () |
| 17:55:48 | → | jakalx joins (~jakalx@base.jakalx.net) |
| 17:57:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 17:57:57 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 17:58:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:02:09 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 248 seconds) |
| 18:03:17 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 18:03:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:04:57 | × | markpythonicbtc quits (~textual@50.228.44.6) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 18:05:21 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 18:05:38 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 18:08:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 18:09:04 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 18:09:04 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Changing host) |
| 18:09:04 | → | wroathe joins (~wroathe@user/wroathe) |
| 18:09:21 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:12:35 | → | zer0bitz joins (~zer0bitz@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 18:14:11 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 18:14:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 18:14:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:16:27 | → | hannessteffenhag joins (~hannesste@77.20.255.200) |
| 18:20:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 18:20:29 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Remote host closed the connection) |
| 18:20:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:20:33 | × | gentauro quits (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 18:20:43 | × | hannessteffenhag quits (~hannesste@77.20.255.200) (Ping timeout: 252 seconds) |
| 18:21:01 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 18:25:40 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 252 seconds) |
| 18:25:42 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 18:26:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:26:44 | → | gentauro joins (~gentauro@user/gentauro) |
| 18:27:24 | <lbseale> | monochrom: thanks again for your help yesterday, I got a shell function working just right |
| 18:31:18 | × | fef quits (~thedawn@user/thedawn) (Quit: Leaving) |
| 18:31:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 18:31:33 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:32:42 | → | d0ku joins (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) |
| 18:36:49 | → | Guest27 joins (~Guest27@182.64.179.3) |
| 18:36:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 18:37:24 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:37:44 | × | dyeplexer quits (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 18:39:05 | × | Guest27 quits (~Guest27@182.64.179.3) (Client Quit) |
| 18:42:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 18:42:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:48:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 248 seconds) |
| 18:48:23 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:48:27 | → | pavonia joins (~user@user/siracusa) |
| 18:52:26 | → | burnsidesLlama joins (~burnsides@dhcp168-011.wadham.ox.ac.uk) |
| 18:53:33 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 18:53:59 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:54:11 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 18:54:48 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 18:55:02 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 18:56:40 | × | burnsidesLlama quits (~burnsides@dhcp168-011.wadham.ox.ac.uk) (Ping timeout: 240 seconds) |
| 18:58:48 | × | phma quits (~phma@host-67-44-208-160.hnremote.net) (Read error: Connection reset by peer) |
| 18:59:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 18:59:10 | × | azeem quits (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 18:59:13 | × | benin036932 quits (~benin@183.82.178.142) (Ping timeout: 248 seconds) |
| 18:59:31 | → | azeem joins (~azeem@176.201.15.223) |
| 18:59:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:00:13 | → | phma joins (~phma@host-67-44-208-131.hnremote.net) |
| 19:00:23 | × | azeem quits (~azeem@176.201.15.223) (Read error: Connection reset by peer) |
| 19:00:42 | × | mizu_no_oto quits (~mizu_no_o@cpe-74-67-208-45.twcny.res.rr.com) (Quit: Client closed) |
| 19:01:15 | → | markpythonicbtc joins (~textual@2601:647:5a00:35:24b0:1b1:4e8f:2ae0) |
| 19:01:19 | → | azeem joins (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) |
| 19:01:39 | → | _xor joins (~xor@74.215.232.67) |
| 19:03:42 | → | mjs2600 joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 19:04:43 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 19:05:20 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:05:40 | × | azeem quits (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 19:05:41 | × | mjs2600 quits (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) (Read error: Connection reset by peer) |
| 19:05:45 | → | mjs2600_ joins (~mjs2600@c-24-91-3-49.hsd1.vt.comcast.net) |
| 19:06:47 | → | lavaman joins (~lavaman@98.38.249.169) |
| 19:08:20 | → | azeem joins (~azeem@176.201.15.223) |
| 19:10:57 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 19:12:05 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 19:15:06 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 19:16:34 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:16:57 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 250 seconds) |
| 19:18:55 | → | azeem joins (~azeem@176.201.15.223) |
| 19:20:03 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Read error: Connection reset by peer) |
| 19:20:10 | → | machined1od joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 19:21:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 19:21:27 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 19:22:06 | × | machined1od quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Client Quit) |
| 19:22:11 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:23:11 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 19:27:05 | → | sszark1 joins (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) |
| 19:27:10 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 19:27:48 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 19:28:22 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 19:30:09 | × | sszark quits (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) (Ping timeout: 248 seconds) |
| 19:30:37 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 19:31:27 | → | dschrempf joins (~dominik@070-207.dynamic.dsl.fonira.net) |
| 19:32:21 | <jakefromstatefar> | <Axman6> "jakefromstatefarm(the1&only): is..." <- I tried it out for some random project, then realized that the project was way above my head, and promptly switched to another language (that I was capable in). |
| 19:32:26 | <jakefromstatefar> | However, I cannot seem to uninstall it |
| 19:32:34 | <jakefromstatefar> | as it doesn't appear in the installed list anymore |
| 19:32:36 | <jakefromstatefar> | I'm confused |
| 19:32:56 | → | haritz joins (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) |
| 19:32:56 | × | haritz quits (~hrtz@2a02:8010:65b5:0:6009:6384:e3cb:2220) (Changing host) |
| 19:32:56 | → | haritz joins (~hrtz@user/haritz) |
| 19:33:51 | → | hannessteffenhag joins (~hannesste@77.20.255.200) |
| 19:34:23 | × | haykam quits (~haykam@static.100.2.21.65.clients.your-server.de) (Remote host closed the connection) |
| 19:34:36 | → | haykam joins (~haykam@static.100.2.21.65.clients.your-server.de) |
| 19:35:16 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 19:36:20 | neurocyte830 | is now known as neurocyte |
| 19:38:10 | × | hannessteffenhag quits (~hannesste@77.20.255.200) (Ping timeout: 240 seconds) |
| 19:40:24 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Quit: Lost terminal) |
| 19:41:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 19:41:28 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 19:41:41 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Client Quit) |
| 19:42:06 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 19:44:41 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 19:44:46 | × | Cajun quits (~Cajun@user/cajun) (Quit: Client closed) |
| 19:45:55 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 19:46:10 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Ping timeout: 240 seconds) |
| 19:46:26 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 19:50:18 | <sm> | jakefromstatefarm: there are usually multiple package dbs on your system, make sure you're working with the right one |
| 19:54:48 | → | stef204 joins (~stef204@user/stef204) |
| 19:59:57 | → | Pickchea joins (~private@user/pickchea) |
| 20:00:32 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 20:01:28 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) (Remote host closed the connection) |
| 20:04:19 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 20:04:36 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Ping timeout: 276 seconds) |
| 20:05:07 | × | juhp quits (~juhp@128.106.188.220) (Ping timeout: 240 seconds) |
| 20:08:12 | → | juhp joins (~juhp@128.106.188.220) |
| 20:09:14 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 20:10:02 | → | ec_ joins (~ec@gateway/tor-sasl/ec) |
| 20:10:03 | → | dsrt^ joins (~dsrt@12.16.129.111) |
| 20:13:43 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 20:15:24 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 20:15:31 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Client Quit) |
| 20:15:38 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 20:16:25 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 20:16:46 | → | reumeth joins (~reumeth@user/reumeth) |
| 20:17:08 | × | qbt quits (~edun@user/edun) (Remote host closed the connection) |
| 20:18:25 | × | azeem quits (~azeem@176.201.15.223) (Ping timeout: 252 seconds) |
| 20:21:40 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 20:22:03 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 20:24:24 | → | Codaraxis joins (~Codaraxis@user/codaraxis) |
| 20:25:40 | → | azeem joins (~azeem@176.201.2.169) |
| 20:32:07 | × | azeem quits (~azeem@176.201.2.169) (Ping timeout: 240 seconds) |
| 20:32:10 | × | hyiltiz quits (~quassel@31.220.5.250) (Ping timeout: 252 seconds) |
| 20:32:13 | → | __monty__ joins (~toonn@user/toonn) |
| 20:32:15 | × | geekosaur quits (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 20:32:38 | → | geekosaur joins (~geekosaur@xmonad/geekosaur) |
| 20:33:07 | → | azeem joins (~azeem@176.201.2.169) |
| 20:33:17 | → | skykanin joins (~skykanin@115.81-166-221.customer.lyse.net) |
| 20:33:32 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Remote host closed the connection) |
| 20:33:51 | → | BosonCollider joins (~olofs@90-227-86-119-no542.tbcn.telia.com) |
| 20:34:01 | → | hyiltiz joins (~quassel@31.220.5.250) |
| 20:35:13 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 20:39:29 | × | mikoto-chan quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 248 seconds) |
| 20:40:07 | × | mikoto-c1 quits (~mikoto-ch@ip-83-134-2-136.dsl.scarlet.be) (Ping timeout: 240 seconds) |
| 20:40:35 | × | amahl quits (~amahl@dsl-jklbng12-54fbca-64.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 20:43:30 | × | peterhil quits (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) (Ping timeout: 250 seconds) |
| 20:48:30 | → | mikoto-c1 joins (~mikoto-ch@83.137.2.244) |
| 20:48:47 | × | azeem quits (~azeem@176.201.2.169) (Ping timeout: 240 seconds) |
| 20:49:36 | → | aplainze1akind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 20:50:10 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 240 seconds) |
| 20:50:31 | → | acidjnk joins (~acidjnk@p200300d0c72b9541c8d0619322fc5f47.dip0.t-ipconnect.de) |
| 20:50:36 | → | azeem joins (~azeem@176.201.2.169) |
| 20:52:03 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Ping timeout: 276 seconds) |
| 20:53:06 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 20:55:13 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) |
| 20:57:59 | → | tfeb joins (~tfb@88.98.95.237) |
| 20:58:00 | → | poljar joins (~poljar@93-139-4-196.adsl.net.t-com.hr) |
| 20:58:30 | → | eL_Bart0- joins (eL_Bart0@dietunichtguten.org) |
| 20:59:00 | → | skn2 joins (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) |
| 20:59:03 | → | Athas_ joins (athas@2a01:7c8:aaac:1cf:21e7:9b03:b2c:cc0f) |
| 20:59:41 | → | wagle_ joins (~wagle@quassel.wagle.io) |
| 21:00:46 | → | ehamberg_ joins (sid18208@id-18208.stonehaven.irccloud.com) |
| 21:00:54 | → | quintasan joins (~quassel@quintasan.pl) |
| 21:01:11 | → | PHO`__ joins (~pho@akari.cielonegro.org) |
| 21:01:17 | → | RohitGoswami[m]1 joins (~rgoswamim@2001:470:69fc:105::16cc) |
| 21:01:20 | → | lavaman joins (~lavaman@98.38.249.169) |
| 21:01:27 | → | eco_ joins (~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com) |
| 21:01:30 | → | nitrix_ joins (~nitrix@ns569831.ip-51-79-81.net) |
| 21:01:43 | × | eL_Bart0 quits (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 21:01:43 | × | jesser[m] quits (~jessermat@2001:470:69fc:105::d5ae) (Ping timeout: 276 seconds) |
| 21:01:43 | × | nitrix quits (~nitrix@user/nitrix) (Ping timeout: 276 seconds) |
| 21:01:43 | × | PHO`_ quits (~pho@akari.cielonegro.org) (Ping timeout: 276 seconds) |
| 21:01:43 | × | Athas quits (athas@sigkill.dk) (Read error: Connection reset by peer) |
| 21:01:43 | × | RohitGoswami[m] quits (~rgoswamim@2001:470:69fc:105::16cc) (Ping timeout: 276 seconds) |
| 21:01:43 | × | ehamberg quits (sid18208@stonehaven.irccloud.com) (Ping timeout: 276 seconds) |
| 21:01:43 | × | wagle quits (~wagle@quassel.wagle.io) (Read error: Connection reset by peer) |
| 21:01:43 | × | quintasan_ quits (~quassel@quintasan.pl) (Quit: No Ping reply in 180 seconds.) |
| 21:01:43 | × | swistak quits (~swistak@185.21.216.141) (Ping timeout: 276 seconds) |
| 21:01:43 | × | Boarders quits (sid425905@id-425905.tooting.irccloud.com) (Ping timeout: 276 seconds) |
| 21:01:43 | → | jesser[m] joins (~jessermat@2001:470:69fc:105::d5ae) |
| 21:01:43 | × | alp quits (~alp@user/alp) (Quit: ZNC 1.8.1 - https://znc.in) |
| 21:01:43 | × | eco quits (~ubuntu@ec2-54-201-230-197.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 21:01:43 | × | hsek[m] quits (~hsekmatri@2001:470:69fc:105::d18f) (Ping timeout: 276 seconds) |
| 21:01:43 | × | davean quits (~davean@davean.sciesnet.net) (Ping timeout: 276 seconds) |
| 21:01:43 | × | amir quits (sid22336@user/amir) (Ping timeout: 276 seconds) |
| 21:01:43 | ehamberg_ | is now known as ehamberg |
| 21:01:53 | → | amir joins (sid22336@user/amir) |
| 21:02:06 | × | poljar1 quits (~poljar@93-139-4-196.adsl.net.t-com.hr) (Ping timeout: 276 seconds) |
| 21:02:06 | × | sudden quits (~cat@h-98-128-128-173.A351.priv.bahnhof.se) (Ping timeout: 276 seconds) |
| 21:02:06 | → | davean joins (~davean@davean.sciesnet.net) |
| 21:02:12 | → | hsek[m] joins (~hsekmatri@2001:470:69fc:105::d18f) |
| 21:02:33 | → | Boarders joins (sid425905@id-425905.tooting.irccloud.com) |
| 21:02:38 | → | sudden joins (~cat@h-98-128-128-173.A351.priv.bahnhof.se) |
| 21:02:45 | × | skn quits (~znc@2001:19f0:5:701:5400:ff:fe7c:4e5c) (Ping timeout: 276 seconds) |
| 21:03:00 | × | martin02 quits (~silas@141.84.69.76) (Ping timeout: 250 seconds) |
| 21:03:08 | → | swistak joins (~swistak@185.21.216.141) |
| 21:03:42 | Athas_ | is now known as Athas |
| 21:04:45 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:05:40 | × | nitrix_ quits (~nitrix@ns569831.ip-51-79-81.net) (Changing host) |
| 21:05:40 | → | nitrix_ joins (~nitrix@user/nitrix) |
| 21:05:42 | nitrix_ | is now known as nitrix |
| 21:06:58 | × | doyougnu quits (~user@c-73-25-202-122.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 21:07:17 | → | alp joins (~alp@163.172.83.213) |
| 21:07:20 | × | d0ku quits (~d0ku@178.43.56.75.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds) |
| 21:07:22 | × | son0p quits (~ff@181.136.122.143) (Remote host closed the connection) |
| 21:07:49 | <aegon> | well, fooey, the haskell symposium payment link doesn't work for me, does anyone know if any of it is going to be broadcast online? |
| 21:08:10 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Ping timeout: 240 seconds) |
| 21:08:45 | <geekosaur> | https://www.youtube.com/watch?v=sVrlaF7sCU4 I think? |
| 21:10:37 | <aegon> | ooh, it stopped looping refresh on my browser. its wired, this isn't a odd browser (firefox) |
| 21:11:10 | × | tfeb quits (~tfb@88.98.95.237) (Quit: died) |
| 21:11:14 | → | jtomas joins (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) |
| 21:11:22 | <aegon> | The faster, |
| 21:16:43 | × | azeem quits (~azeem@176.201.2.169) (Ping timeout: 252 seconds) |
| 21:16:54 | → | peterhil joins (~peterhil@dsl-hkibng32-54fb52-57.dhcp.inet.fi) |
| 21:16:55 | → | azeem joins (~azeem@176.201.2.169) |
| 21:20:33 | × | AWizzArd quits (~code@gehrels.uberspace.de) (Ping timeout: 248 seconds) |
| 21:21:19 | → | AWizzArd joins (~code@gehrels.uberspace.de) |
| 21:24:13 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:c68:9e4d:912c:4792) (Remote host closed the connection) |
| 21:24:25 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 252 seconds) |
| 21:24:26 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 21:28:40 | × | azeem quits (~azeem@176.201.2.169) (Ping timeout: 240 seconds) |
| 21:29:13 | → | azeem joins (~azeem@176.201.2.169) |
| 21:29:47 | → | [itchyjunk] joins (~itchyjunk@user/itchyjunk/x-7353470) |
| 21:30:41 | × | mikoto-c1 quits (~mikoto-ch@83.137.2.244) (Ping timeout: 248 seconds) |
| 21:34:15 | <aegon> | geekosaur: thanks, for whatever reason the payment site keeps directing me to a scetch looking site that continually refreshes and loops :? Sub'd to teh icpf channel and will catch them there. I'm interested in the linear type talks and seeing some applications of it. I'll have to catch it earlier next year |
| 21:35:30 | × | fendor quits (~fendor@178.165.207.147.wireless.dyn.drei.com) (Remote host closed the connection) |
| 21:42:34 | × | zer0bitz quits (~zer0bitz@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 21:42:47 | × | azeem quits (~azeem@176.201.2.169) (Ping timeout: 240 seconds) |
| 21:43:29 | → | azeem joins (~azeem@176.201.2.169) |
| 21:44:09 | × | aplainze1akind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 21:47:31 | → | chisui joins (~chisui@200116b868eba000c7eca115e002477a.dip.versatel-1u1.de) |
| 21:47:50 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:c1b3:f9cf:5870:faa7) |
| 21:49:48 | × | xff0x quits (~xff0x@2001:1a81:53a5:7900:5864:fdd9:e9b9:647) (Ping timeout: 250 seconds) |
| 21:50:39 | → | xff0x joins (~xff0x@2001:1a81:53a5:7900:930f:bdfe:83e3:2183) |
| 21:51:50 | → | Papa joins (~papa@user/papa) |
| 21:52:43 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 21:53:55 | × | dhouthoo quits (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.2) |
| 21:54:31 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 21:54:57 | × | enoq quits (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 21:55:09 | × | aplainzetakind quits (~johndoe@captainludd.powered.by.lunarbnc.net) (Client Quit) |
| 21:55:13 | → | mikoto-c1 joins (~mikoto-ch@83.137.2.244) |
| 21:55:35 | × | Pickchea quits (~private@user/pickchea) (Quit: Leaving) |
| 21:58:32 | × | azeem quits (~azeem@176.201.2.169) (Read error: Connection reset by peer) |
| 21:58:52 | → | azeem joins (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) |
| 22:03:28 | → | aplainzetakind joins (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 22:03:45 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 248 seconds) |
| 22:04:31 | × | dschrempf quits (~dominik@070-207.dynamic.dsl.fonira.net) (Quit: WeeChat 3.2) |
| 22:10:02 | wagle_ | is now known as wagle |
| 22:11:18 | × | vysn quits (~vysn@user/vysn) (Remote host closed the connection) |
| 22:17:19 | → | pavonia_ joins (~user@user/siracusa) |
| 22:17:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 22:18:12 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 22:18:35 | pavonia_ | is now known as pavonia |
| 22:19:01 | <monochrom> | Oh w00t 8.10.7 |
| 22:21:30 | × | skykanin quits (~skykanin@115.81-166-221.customer.lyse.net) (Quit: WeeChat 3.2) |
| 22:23:17 | × | reumeth quits (~reumeth@user/reumeth) (Ping timeout: 250 seconds) |
| 22:24:30 | × | Athas quits (athas@2a01:7c8:aaac:1cf:21e7:9b03:b2c:cc0f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:25:22 | → | Athas joins (athas@2a01:7c8:aaac:1cf:21e7:9b03:b2c:cc0f) |
| 22:26:07 | → | lavaman joins (~lavaman@98.38.249.169) |
| 22:27:01 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.2) |
| 22:27:29 | × | gehmehgeh quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:27:42 | → | hannessteffenhag joins (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) |
| 22:28:55 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 22:30:27 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 22:31:57 | × | hannessteffenhag quits (~hannesste@ip4d14ffc8.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 22:33:17 | → | bontaq joins (~user@ool-45779fe5.dyn.optonline.net) |
| 22:33:41 | × | favonia quits (~favonia@user/favonia) (Ping timeout: 250 seconds) |
| 22:33:43 | × | oxide quits (~lambda@user/oxide) (Ping timeout: 252 seconds) |
| 22:34:13 | → | sjb0 joins (~stephen@1.145.57.172) |
| 22:34:16 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 22:34:47 | × | azeem quits (~azeem@dynamic-adsl-78-13-253-103.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 22:35:07 | × | Tuplanolla quits (~Tuplanoll@91-159-69-50.elisa-laajakaista.fi) (Quit: Leaving.) |
| 22:35:25 | → | azeem joins (~azeem@176.201.2.169) |
| 22:36:11 | → | dajoer joins (~david@user/gvx) |
| 22:40:54 | × | jtomas quits (~jtomas@233.red-83-34-2.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 22:41:29 | × | acidjnk quits (~acidjnk@p200300d0c72b9541c8d0619322fc5f47.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 22:48:40 | × | BosonCollider quits (~olofs@90-227-86-119-no542.tbcn.telia.com) (Ping timeout: 240 seconds) |
| 22:48:47 | × | azeem quits (~azeem@176.201.2.169) (Ping timeout: 240 seconds) |
| 22:49:14 | → | azeem joins (~azeem@176.200.209.130) |
| 22:51:17 | × | neo1 quits (~neo3@cpe-292712.ip.primehome.com) (Ping timeout: 245 seconds) |
| 22:51:27 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 22:56:24 | × | ec_ quits (~ec@gateway/tor-sasl/ec) (Quit: ec_) |
| 22:57:55 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 252 seconds) |
| 22:58:29 | → | azeem joins (~azeem@176.200.209.130) |
| 23:07:07 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 23:07:24 | → | azeem joins (~azeem@176.200.209.130) |
| 23:09:52 | → | lavaman joins (~lavaman@98.38.249.169) |
| 23:11:19 | → | Cajun joins (~Cajun@user/cajun) |
| 23:11:19 | × | gambpang quits (~ishipman@207.181.230.156) (Remote host closed the connection) |
| 23:14:25 | × | lavaman quits (~lavaman@98.38.249.169) (Ping timeout: 250 seconds) |
| 23:16:07 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 23:16:26 | → | azeem joins (~azeem@176.200.209.130) |
| 23:19:04 | <maralorn> | I know of a lot of alternative syntax languages that compile to javascript. Are there alternative syntax languages that compile to Haskell? |
| 23:22:53 | → | roboguy_ joins (~roboguy_@2605:a601:afe7:9f00:1cd3:839e:78c5:a38b) |
| 23:23:46 | × | mei quits (~mei@user/mei) (Ping timeout: 252 seconds) |
| 23:24:51 | <aegon> | maralorn: haskell :P |
| 23:25:28 | <geekosaur> | agda at least used to compile to haskell |
| 23:25:50 | <hpc> | agda's haskell was pretty funny, every single expression was unsafeCoerced |
| 23:26:05 | <geekosaur> | I don't know if liquid haskell counts as "alternative syntax" to you |
| 23:26:15 | <hpc> | template haskell? :D |
| 23:26:20 | wrengr | is now known as wrengr_away |
| 23:30:32 | <maralorn> | I am more thinking along the lines of https://github.com/serras/hinc. But was wondering if there are other approaches. |
| 23:32:07 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 23:32:23 | → | sszark2 joins (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) |
| 23:32:55 | → | azeem joins (~azeem@176.200.209.130) |
| 23:35:10 | × | sszark1 quits (~sszark@h-155-4-128-59.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 23:37:10 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 240 seconds) |
| 23:37:58 | → | azeem joins (~azeem@176.200.209.130) |
| 23:41:07 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 23:42:57 | × | mikoto-c1 quits (~mikoto-ch@83.137.2.244) (Ping timeout: 248 seconds) |
| 23:43:15 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 23:44:54 | → | jeslie0 joins (~user@108.162.150.9) |
| 23:45:37 | × | Gurkenglas quits (~Gurkengla@dslb-088-064-053-140.088.064.pools.vodafone-ip.de) (Ping timeout: 248 seconds) |
| 23:51:15 | × | jeslie0 quits (~user@108.162.150.9) (Ping timeout: 250 seconds) |
| 23:51:16 | × | azeem quits (~azeem@176.200.209.130) (Ping timeout: 252 seconds) |
| 23:51:48 | → | azeem joins (~azeem@176.200.209.130) |
| 23:55:49 | × | stef204 quits (~stef204@user/stef204) (Read error: Connection reset by peer) |
All times are in UTC on 2021-08-26.