Some thought about literate programming

Massimiliano Gubinelli <[email protected]> Mon, 4 Nov 2024 23:02:21 +0000
Newsgroups	gmane.editors.texmacs.user,gmane.editors.texmacs.devel
Message-ID	<[email protected]>
--Apple-Mail=_8D04D52D-3B00-4EA2-A4BA-75082E137B22
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=utf-8

Dear all,

 since long time I=E2=80=99ve been pondering about literate programming =
in general, and literate programming with and for TeXmacs, writing a =
small note for myself. Due to some private conversation with Darcy, =
I=E2=80=99ve now come to the point where I feel that it could be =
interesting to share my thoughts with the TeXmacs community. Nothing =
fancy, but I think it goes in a very interesting direction for me (and I =
would hope, for others).

You can find them here:
=20
https://mgubi.github.io/docs/zettels/literate-programming.html=EF=BF=BC

It is a work in progress, so comments and ideas are welcome.

Best regards,
Massimiliano

=20=

--Apple-Mail=_8D04D52D-3B00-4EA2-A4BA-75082E137B22
Content-Type: multipart/related;
	type="text/html";
	boundary="Apple-Mail=_C7FE3524-F54D-4036-B5B4-F1D6EB6F8E57"


--Apple-Mail=_C7FE3524-F54D-4036-B5B4-F1D6EB6F8E57
Content-Transfer-Encoding: quoted-printable
Content-Type: text/html;
	charset=utf-8

<html><head><meta http-equiv=3D"content-type" content=3D"text/html; =
charset=3Dutf-8"></head><body style=3D"overflow-wrap: break-word; =
-webkit-nbsp-mode: space; line-break: after-white-space;">Dear =
all,<div><br></div><div>&nbsp;since long time I=E2=80=99ve been =
pondering about literate programming in general, and literate =
programming with and for TeXmacs, writing a small note for myself. Due =
to some private conversation with Darcy, I=E2=80=99ve now come to the =
point where I feel that it could be interesting to share my thoughts =
with the TeXmacs community. Nothing fancy, but I think it goes in a very =
interesting direction for me (and I would hope, for =
others).</div><div><br></div><div>You can find them =
here:</div><div>&nbsp;</div><div><div style=3D"display: block;"><div =
style=3D"-webkit-user-select: all; -webkit-user-drag: element; display: =
inline-block;" class=3D"apple-rich-link" draggable=3D"true" role=3D"link" =
data-url=3D"https://mgubi.github.io/docs/zettels/literate-programming.html=
"><a style=3D"border-radius:10px;font-family:-apple-system, Helvetica, =
Arial, =
sans-serif;display:block;-webkit-user-select:none;width:300px;user-select:=
none;-webkit-user-modify:read-only;user-modify:read-only;overflow:hidden;t=
ext-decoration:none;" class=3D"lp-rich-link" rel=3D"nofollow" =
href=3D"https://mgubi.github.io/docs/zettels/literate-programming.html" =
dir=3D"ltr" role=3D"button" draggable=3D"false" width=3D"300"><table =
style=3D"table-layout:fixed;border-collapse:collapse;width:300px;backgroun=
d-color:#E5E6E9;font-family:-apple-system, Helvetica, Arial, =
sans-serif;" class=3D"lp-rich-link-emailBaseTable" cellpadding=3D"0" =
cellspacing=3D"0" border=3D"0" width=3D"300"><tbody><tr><td =
vertical-align=3D"center"><table bgcolor=3D"#E5E6E9" cellpadding=3D"0" =
cellspacing=3D"0" width=3D"300" style=3D"font-family:-apple-system, =
Helvetica, Arial, =
sans-serif;table-layout:fixed;background-color:rgba(229, 230, 233, 1);" =
class=3D"lp-rich-link-captionBar"><tbody><tr><td style=3D"padding:8px =
0px 8px 0px;" class=3D"lp-rich-link-captionBar-textStackItem"><div =
style=3D"max-width:100%;margin:0px 16px 0px 16px;overflow:hidden;" =
class=3D"lp-rich-link-captionBar-textStack"><div =
style=3D"word-wrap:break-word;font-weight:500;font-size:12px;overflow:hidd=
en;text-overflow:ellipsis;text-align:left;" =
class=3D"lp-rich-link-captionBar-textStack-topCaption-leading"><a =
rel=3D"nofollow" =
href=3D"https://mgubi.github.io/docs/zettels/literate-programming.html" =
style=3D"text-decoration: none" draggable=3D"false"><font =
color=3D"#272727" style=3D"color: rgba(0, 0, 0, 0.847059);">Massimiliano =
Gubinelli</font></a></div><div =
style=3D"word-wrap:break-word;font-weight:400;font-size:11px;overflow:hidd=
en;text-overflow:ellipsis;text-align:left;" =
class=3D"lp-rich-link-captionBar-textStack-bottomCaption-leading"><a =
rel=3D"nofollow" =
href=3D"https://mgubi.github.io/docs/zettels/literate-programming.html" =
style=3D"text-decoration: none" draggable=3D"false"><font =
color=3D"#808080" style=3D"color: rgba(0, 0, 0, =
0.498039);">mgubi.github.io</font></a></div></div></td><td =
style=3D"padding:6px 12px 6px 0px;" =
class=3D"lp-rich-link-captionBar-rightIconItem" width=3D"36"><a =
rel=3D"nofollow" =
href=3D"https://mgubi.github.io/docs/zettels/literate-programming.html" =
draggable=3D"false"><img style=3D"pointer-events:none =
!important;display:inline-block;width:36px;height:36px;border-radius:3px;"=
 width=3D"36" height=3D"36" draggable=3D"false" =
class=3D"lp-rich-link-captionBar-rightIcon" alt=3D"favicon-32x32.png" =
src=3D"cid:3CFFB634-F235-42D0-8C7F-197CF8999CBA"></a></td></tr></tbody></t=
able></td></tr></tbody></table></a></div></div></div><div><br></div><div>I=
t is a work in progress, so comments and ideas are =
welcome.</div><div><br></div><div>Best =
regards,</div><div>Massimiliano</div><div><br></div><div>&nbsp;</div></bod=
y></html>=

--Apple-Mail=_C7FE3524-F54D-4036-B5B4-F1D6EB6F8E57
Content-Transfer-Encoding: base64
Content-Disposition: inline;
	filename=favicon-32x32.png
Content-Type: image/png;
	x-unix-mode=0666;
	name="favicon-32x32.png"
Content-Id: <3CFFB634-F235-42D0-8C7F-197CF8999CBA>

iVBORw0KGgoAAAANSUhEUgAAACAAAAAgCAYAAABzenr0AAAAAXNSR0IArs4c6QAAAERlWElmTU0A
KgAAAAgAAYdpAAQAAAABAAAAGgAAAAAAA6ABAAMAAAABAAEAAKACAAQAAAABAAAAIKADAAQAAAAB
AAAAIAAAAACshmLzAAADJ0lEQVRYCe1XW0sbQRT+ciNaTdS2apTWC1XwAhaEiEVaxQelCPoigoII
vvoPSguFSqUIPqgFHwRFBbUFKRVRES9Iq7bqm2JtlGpQu0ZNvKReEpt0Zm0gF9fMiOiLBza7e87M
93179szZjOw1IE8FXjiBKgA6clyHCTLg/TzwVvYReEnI31wHqzcHEfFK9gH4TQLX9eTeGgT5DZJT
MToq4EbtVoCSN/9ytRoPS0oQkZsLdUQE7BYLticnYWxvh31/nxcOdBWQVchmQXFxeNrfD01SEpwO
B2zb21CFhUGuUnkAHAsCeqOiPHxSN1w1kNHRIZKv9/SgV6fD58hIfAoNxY+amjN8pxML1dX4XlEh
xefjZ85AcEICnhsMcJyciMT2vT0PsPz5eWhTUjCel4fNoSGP2EU3zBkIIO+b2rHJBG9y6rcuLdET
1CQrPMYswLq8LL73wOho0MPdZEolQtLSRJd1cdE95PeaWcDx5iZWSaXLFAo8ITVwV6+HIjAQmsRE
ZLS1gRbo1tgYzNPTfkndBzDXAJ1ECTO7uhBdWOiOIV4LZHV8Ky+HbWfHJ3aRg6sP0DSHZ2djlTyx
aXQUtC5su7vYmZjA3tzcRTySMS4Bj2troQoJgaGhAZaZGUlQngCXAMjPSubZwACEwUEcra/j1GqF
nWTh0GiEmYg6Wlvj4efrhLTwskdGoAwOPp+ENCJjZyemKyvFfnH+IE8vcwaC4uOhb2nBCWm/X4uK
8PfwUGzDKo0GAaQr3svKwoPiYsSUlcEyO4ufdXWeTBJ3zALSm5qgTU3FGCnCrfFxHzhDfT3SGxvx
qKoK2uRkn7iUg7kPaMkHiNrpwYEUlpgRGtxfWJAc4x1gFmAaHhbn6ltbEZ6TA9r9XHYnNhZ0hcSU
luLPygp+NTe7Qn7PzI2ILr/M7m7o8vNFUIfNBpvZLDYnGqNmnprC1H8RooPhh1mAC+s+KbaoggJo
yHtWabViMVrJV3Kjrw8mskJAVgKPcQvgAWcZy1wDLGCXGXMrgGZAuEzqrmiOIKe71CsC44ah3Aqy
Nf9C/u2dktkp5JD4ynBj+5tAt+fv6Pb8H7KZ+VbHUNw9AAAAAElFTkSuQmCC
--Apple-Mail=_C7FE3524-F54D-4036-B5B4-F1D6EB6F8E57--

--Apple-Mail=_8D04D52D-3B00-4EA2-A4BA-75082E137B22--