Logs: liberachat/#haskell
| 2021-08-03 01:53:52 | → | euouae joins (~euouae@user/euouae) |
| 2021-08-03 01:55:00 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-03 01:55:02 | → | gambpang joins (~ian@207.181.230.156) |
| 2021-08-03 02:05:15 | <lechner> | geekosaur: thanks! much better name spacing solution. haskell is so logical |
| 2021-08-03 02:05:37 | ← | delYsid parts (~user@84-115-55-45.cable.dynamic.surfer.at) (ERC (IRC client for Emacs 27.1.50)) |
| 2021-08-03 02:06:20 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2021-08-03 02:15:32 | × | Xnuk quits (~xnuk@45.76.202.58) (Quit: ZNC - https://znc.in) |
| 2021-08-03 02:15:49 | → | Xnuk joins (~xnuk@vultr.xnu.kr) |
| 2021-08-03 02:19:44 | → | finn_elija joins (~finn_elij@user/finn-elija/x-0085643) |
| 2021-08-03 02:19:44 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 2021-08-03 02:19:44 | finn_elija | is now known as FinnElija |
| 2021-08-03 02:20:28 | <lechner> | Hi, is it possible to assign an array so the first element is separate, and the rest are kept together? I'm looking for something like [separate:rest] <- getArgs but that would require explicit types. Thanks!. |
| 2021-08-03 02:20:56 | <dsal> | (x:xs) <- getArgs |
| 2021-08-03 02:21:03 | <dsal> | It's a list, not an array, though. |
| 2021-08-03 02:21:22 | <dsal> | Arrays in haskell are pretty neat, but you're probably not using them. :) |
| 2021-08-03 02:22:42 | <geekosaur> | [x:xs] is valid but doesn't do what you think it does (it's a 1-element list composed of a sublist which you're separating the first element from) |
| 2021-08-03 02:23:07 | <dsal> | Do note that requires at least one list element. You might be better off with one of the fancy option parsers. |
| 2021-08-03 02:24:14 | → | favonia joins (~favonia@user/favonia) |
| 2021-08-03 02:27:09 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Remote host closed the connection) |
| 2021-08-03 02:27:42 | × | td_ quits (~td@muedsl-82-207-238-030.citykom.de) (Ping timeout: 256 seconds) |
| 2021-08-03 02:29:17 | → | td_ joins (~td@muedsl-82-207-238-142.citykom.de) |
| 2021-08-03 02:29:54 | → | Erutuon joins (~Erutuon@user/erutuon) |
| 2021-08-03 02:30:07 | × | curiousgay quits (~curiousga@77-120-186-48.kha.volia.net) (Ping timeout: 245 seconds) |
| 2021-08-03 02:30:18 | × | bontaq quits (~user@ool-18e47f8d.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-08-03 02:38:39 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-03 02:40:30 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Client Quit) |
| 2021-08-03 02:40:47 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-03 02:41:58 | × | arkho quits (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) (Client Quit) |
| 2021-08-03 02:42:14 | → | arkho joins (~ccc@dynamic-acs-24-112-153-241.zoominternet.net) |
| 2021-08-03 02:52:00 | <sm> | args <- getArgs |
| 2021-08-03 02:52:00 | <sm> | let mfirstarg = headMay args |
| 2021-08-03 02:52:00 | <sm> | otherargs = drop 1 args |
| 2021-08-03 02:52:00 | <sm> | ? |
| 2021-08-03 02:52:26 | × | eggplantade quits (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-08-03 02:54:19 | <dsal> | I like optparse-applicative for most things, but I used optparse-generic for a thing and it was kind of neat. |
| 2021-08-03 02:54:51 | <sm> | but that's a ton of of complexity and study, be sure it's justified |
| 2021-08-03 02:55:39 | <dsal> | Sure. `(x:xs) <- getArgs` is probably not too bad other than the really awful error message. |
| 2021-08-03 02:55:43 | <sm> | I wish there was an easier slope from trivial arg parsing to industrial strength arg parsing |
| 2021-08-03 02:56:05 | <sm> | dsal, well that's partial - I tried to give one step above that |
| 2021-08-03 02:56:16 | <dsal> | Sure, that makes sense. |
| 2021-08-03 02:56:33 | <dsal> | optparse-generic isn't that bad, but you have to enable a bunch of extensions. |
| 2021-08-03 02:58:34 | <sm> | lechner, did you get a moinmoin reader working btw ? |
| 2021-08-03 02:59:11 | <sm> | what's the debian wiki moving to ? sounds like a big job |
| 2021-08-03 03:00:56 | → | hexfive joins (~eric@50.35.83.177) |
| 2021-08-03 03:03:05 | → | curiousgay joins (~curiousga@77-120-186-48.kha.volia.net) |
| 2021-08-03 03:03:39 | → | wei2912 joins (~wei2912@112.199.250.21) |
| 2021-08-03 03:04:18 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-08-03 03:06:34 | → | Codaraxis__ joins (~Codaraxis@user/codaraxis) |
| 2021-08-03 03:09:04 | × | waleee quits (~waleee@2001:9b0:216:8200:d457:9189:7843:1dbd) (Ping timeout: 272 seconds) |
| 2021-08-03 03:10:58 | × | Codaraxis_ quits (~Codaraxis@user/codaraxis) (Ping timeout: 272 seconds) |
| 2021-08-03 03:14:57 | × | gambpang quits (~ian@207.181.230.156) (Remote host closed the connection) |
| 2021-08-03 03:16:47 | × | hexfive quits (~eric@50.35.83.177) (Quit: WeeChat 3.0) |
| 2021-08-03 03:25:37 | → | anandprabhu joins (~anandprab@94.202.243.198) |
| 2021-08-03 03:27:02 | → | jay-invariant joins (~jay@c-24-4-6-169.hsd1.ca.comcast.net) |
| 2021-08-03 03:27:07 | <lechner> | sm: sadly, we only have a hundred pages. (on that point, i'd like to merge with archlinux.) i'm experimenting with org-mode but many people will have an opinion. which one is your favorite? |
| 2021-08-03 03:27:37 | × | justsomeguy quits (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.2) |
| 2021-08-03 03:28:09 | → | justsomeguy joins (~justsomeg@user/justsomeguy) |
| 2021-08-03 03:28:17 | <sm> | lechner, this would be a large body of docs you want many people to contribute to, right ? |
| 2021-08-03 03:28:30 | <sm> | mine is probably mdbook at the moment |
| 2021-08-03 03:28:52 | <sm> | org is really only good for personal use I feel |
| 2021-08-03 03:29:20 | <lechner> | sm: yes, but we are quirk bunch! you think org-mode is too exotic? |
| 2021-08-03 03:29:48 | <sm> | yes, unless you are ok limiting contributions to emacs users |
| 2021-08-03 03:29:50 | <dsal> | I've used org-mode to drive projects before. It's pretty great when one person edits and you need to publish stuff. |
| 2021-08-03 03:30:20 | × | glguy quits (x@libera/staff/glguy) (Quit: Quit) |
| 2021-08-03 03:30:31 | → | glguy joins (x@libera/staff/glguy) |
| 2021-08-03 03:31:02 | justsomeguy | likes Sphinx and ReStructuredText for his personal notes, since it has a ton of mindshare, integrates with readthedocs.io, and renders to html/pdf/epub/latex... |
| 2021-08-03 03:31:26 | <justsomeguy> | and manpages, which was kind of a big use case for me at one point. |
| 2021-08-03 03:32:18 | × | Erutuon quits (~Erutuon@user/erutuon) (Ping timeout: 256 seconds) |
| 2021-08-03 03:32:19 | <justsomeguy> | Unfortuantely it doesn't have good syntax highlighting for haskell code snippets out of the box, though. |
| 2021-08-03 03:32:26 | × | theproffesor quits (~theproffe@user/theproffesor) (Read error: Connection reset by peer) |
| 2021-08-03 03:32:36 | <lechner> | mdbook sure looks great. i use markdown for lintian's tag descriptions (though somewhat unhappily) and ReST for the manual. |
| 2021-08-03 03:32:54 | → | theproffesor joins (~theproffe@2601:282:847f:8010::3a29) |
| 2021-08-03 03:33:51 | <sm> | mdbook is like simpler, moderner sphinx |
| 2021-08-03 03:33:54 | <sm> | a |
| 2021-08-03 03:34:01 | × | theproffesor quits (~theproffe@2601:282:847f:8010::3a29) (Changing host) |
| 2021-08-03 03:34:01 | → | theproffesor joins (~theproffe@user/theproffesor) |
| 2021-08-03 03:34:07 | → | abhixec joins (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2021-08-03 03:34:08 | <lechner> | it's funny no one mentioned the big elephant |
| 2021-08-03 03:34:28 | <sm> | (and much faster at rendering, which is significant) |
| 2021-08-03 03:34:50 | <lechner> | as for exotic, at least i didn't suggest haddock! |
| 2021-08-03 03:36:15 | <lechner> | maybe mdbook is a good choice. |
| 2021-08-03 03:38:16 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 250 seconds) |
| 2021-08-03 03:38:59 | <lechner> | all textbooks say Haskell is strong at domain-specific languages. no one is reinventing wikis here? |
| 2021-08-03 03:44:11 | <c_wraith> | haskell is strong at *embeded* domain-specific languages |
| 2021-08-03 03:44:51 | <justsomeguy> | The racket guys have scribble, which is a DSL for writing docs https://docs.racket-lang.org/scribble/index.html |
| 2021-08-03 03:45:48 | <justsomeguy> | It would be cool to see something similar in Haskell. |
| 2021-08-03 03:46:47 | <justsomeguy> | (I really shouldn't be chatting about Haskell and recommending things when I don't even know how to use program in it, yet.) |
| 2021-08-03 03:47:42 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 272 seconds) |
| 2021-08-03 03:48:36 | <euouae> | justsomeguy: Is scribble better than haddock? |
| 2021-08-03 03:50:03 | <Axman6> | we a;sp jabe pandoc... so we've got everything |
| 2021-08-03 03:50:10 | <Axman6> | also* |
| 2021-08-03 03:50:15 | <justsomeguy> | I've mostly used Sphinx, and scribble only a little. I've never used haddock. So I can't say. |
| 2021-08-03 03:51:12 | <euouae> | Take a look at haddock then. It might be what you're looking for |
| 2021-08-03 03:51:43 | <justsomeguy> | I'll do that :^) |
| 2021-08-03 03:51:45 | <euouae> | justsomeguy: It generates pages like this, https://hackage.haskell.org/package/base |
| 2021-08-03 03:52:17 | <dsal> | haddock is fine if you're writing haskell API documentation. I'm not sure I'd use it for anything else. |
| 2021-08-03 03:52:42 | <euouae> | Oh, scribble is general purpose? |
| 2021-08-03 03:52:58 | → | eggplantade joins (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-08-03 03:53:32 | <sm> | lechner: srid is working on one of those modern-wiki "zettel" things.. neuron ? |
| 2021-08-03 03:54:14 | <sm> | I will just say if you're porting and managing a docs site, you already have a ton of work and it's really helpful to not have to build/configure the software as well |
All times are in UTC.