badkins has joined #racket
aidalgol has quit [Ping timeout: 246 seconds]
aidalgol has joined #racket
capfredf has joined #racket
capfredf has quit [Ping timeout: 250 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 250 seconds]
<williewillus> Hecate: I don't like having the doc so far away from the item it's documenting
<williewillus> there's scribble/srcdoc (forget the exact name) that allows you to have the doc live next to the item but it's kludgy
<williewillus> okay yeah, it is called scribble/srcdoc
<williewillus> and having to write out contracts twice in the code and the doc
<williewillus> again srcdoc tries to solve this but the result is really ugly
notzmv has quit [Ping timeout: 250 seconds]
jao has joined #racket
vats has quit [Ping timeout: 246 seconds]
badkins has joined #racket
terrorjack has quit [Quit: The Lounge - https://thelounge.chat]
badkins has quit [Ping timeout: 246 seconds]
terrorjack has joined #racket
average_ has joined #racket
skapata has quit [Remote host closed the connection]
capfredf has joined #racket
capfredf has quit [Ping timeout: 260 seconds]
ermo has quit [Quit: ZNC 1.8.2 - https://znc.in]
ermo has joined #racket
jao has quit [Ping timeout: 246 seconds]
notzmv has joined #racket
ur5us has quit [Ping timeout: 260 seconds]
saorge has quit [Ping timeout: 276 seconds]
saorge has joined #racket
average_ has quit [Quit: Connection closed for inactivity]
<dzoe> williewillus: what do you find "ugly" about scribble/srcdoc? My personal preference is srcdoc over separate scribblings (for a few reasons). But I feel a bit lonely in the srcdoc group ;-)
<williewillus> maybe I'm using it wrong
<williewillus> but syntactically it's really noisy
<williewillus> let me dig up an example
<williewillus> the docblock is noisy without scribble syntax, and also default values for function args still need to be repeated
NoahStoryM has joined #racket
NoahStoryM has quit [Client Quit]
lortabac has joined #racket
exondation has joined #racket
libertyprime has quit [Ping timeout: 248 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
ttree has quit [Ping timeout: 256 seconds]
libertyprime has joined #racket
libertyprime has quit [Ping timeout: 240 seconds]
<dzoe> williewillus: https://docs.racket-lang.org/scribble/reader-internals.html#%28mod-path._at-exp%29
<dzoe> I would never even consider using srcdoc without at-exp - the example you've shown is truly horrific.
<williewillus> so I have to infect every module I want to use srcdoc with this?
<williewillus> imo that's still pretty hard on the eyes
<dzoe> Well, given that @ is not widely used prefix character (to put it mildly), it never occured to me as "infestation". But your use-cases might be different, of course.
<dzoe> Well 60-81 is just pure scribble/manual basically - a prose. For the contracts and stuff I prefer good ol' S-exprs.
libertyprime has joined #racket
libertyprime has quit [Ping timeout: 248 seconds]
capfredf has joined #racket
capfredf has quit [Ping timeout: 260 seconds]
nmeum has quit [Remote host closed the connection]
libertyprime has joined #racket
Avichi has joined #racket
littlebobeep has quit [Ping timeout: 240 seconds]
littlebobeep has joined #racket
<Hecate> williewillus: I can understand. In Haskell we have only one way to generate documentation and it's from the source code, like https://github.com/haskell-text/text-display/blob/main/src/Data/Text/Display.hs
<Hecate> but it's good to have the ability to have a way to put prose somewhere as well :)
Algernon69 has joined #racket
libertyprime has quit [Ping timeout: 256 seconds]
badkins has joined #racket
badkins has quit [Ping timeout: 246 seconds]
Algernon69 has quit [Quit: Leaving]
szkl has joined #racket
badkins has joined #racket
badkins has quit [Ping timeout: 240 seconds]
capfredf has joined #racket
capfredf has quit [Ping timeout: 260 seconds]
jao has joined #racket
skapata has joined #racket
skapata has quit [Changing host]
skapata has joined #racket
rgherdt has quit [Remote host closed the connection]
rudybot has joined #racket
jao has quit [Ping timeout: 248 seconds]
capfredf has joined #racket
szkl has quit [Quit: Connection closed for inactivity]
capfredf has quit [Remote host closed the connection]
capfredf has joined #racket
kenran has joined #racket
kenran has quit [Client Quit]
kenran has joined #racket
kenran has quit [Client Quit]
badkins has joined #racket
kenran has joined #racket
johnjaye has quit [Quit: WeeChat 3.3]
jao has joined #racket
average_ has joined #racket
nudejs is now known as youthpastor
lortabac has quit [Quit: WeeChat 2.8]
xgqt has quit [Ping timeout: 256 seconds]
xgqt has joined #racket
rgherdt has joined #racket
ec has joined #racket
ec has quit [Client Quit]
ec has joined #racket
jao has quit [Ping timeout: 248 seconds]
ec has quit [Quit: ec]
ec has joined #racket
ec has quit [Ping timeout: 240 seconds]
rgherdt has quit [Ping timeout: 276 seconds]
ec has joined #racket
kenran has quit [Quit: WeeChat info:version]
rgherdt has joined #racket
ttree has joined #racket
winny has quit [Ping timeout: 240 seconds]
winny has joined #racket
ermo has quit [Quit: ZNC 1.8.2 - https://znc.in]
ermo has joined #racket
average_ has quit [Quit: Connection closed for inactivity]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Ping timeout: 260 seconds]
vats has joined #racket
capfredf has quit [Remote host closed the connection]
badkins has joined #racket
tfeb has joined #racket
tfeb has quit [Remote host closed the connection]
notzmv has quit [Ping timeout: 248 seconds]
kenran has joined #racket
kenran has quit [Client Quit]
kenran has joined #racket
average_ has joined #racket
tfeb has joined #racket
capfredf has joined #racket
tfeb has quit [Ping timeout: 276 seconds]
capfredf has quit [Ping timeout: 250 seconds]
badkins_ has joined #racket
badkins has quit [Ping timeout: 240 seconds]
ec has quit [Quit: ec]
badkins_ has quit [Remote host closed the connection]
badkins has joined #racket
notzmv has joined #racket
capfredf has joined #racket
capfredf has quit [Ping timeout: 248 seconds]
FreeFull has joined #racket
winny has quit [Quit: WeeChat 3.2]
winny has joined #racket
winny has quit [Client Quit]
winny has joined #racket
average_ has quit [Quit: Connection closed for inactivity]
capfredf has joined #racket
capfredf has quit [Remote host closed the connection]
capfredf has joined #racket
capfredf has quit [Read error: Connection reset by peer]
capfredf has joined #racket
kenran has quit [Quit: WeeChat info:version]
Codaraxis has joined #racket
ur5us has joined #racket
libertyprime has joined #racket
littlebobeep has quit [Ping timeout: 240 seconds]
exondation has quit [Ping timeout: 250 seconds]
badkins has quit [Remote host closed the connection]
badkins has joined #racket
badkins has quit [Remote host closed the connection]
badkins has joined #racket
abrantesasf has joined #racket
abrantesasf has quit [Remote host closed the connection]
capfredf has quit [Remote host closed the connection]
dmh has joined #racket
FreeFull has quit []
dostoevsky has joined #racket
ur5us has quit [Ping timeout: 250 seconds]
libertyprime has quit [Ping timeout: 246 seconds]
jao has joined #racket
badkins has quit [Remote host closed the connection]
libertyprime has joined #racket