[HN Gopher] Domain-Specific Languages of Mathematics ___________________________________________________________________ Domain-Specific Languages of Mathematics Author : adamnemecek Score : 39 points Date : 2023-04-05 19:48 UTC (3 hours ago) (HTM) web link (github.com) (TXT) w3m dump (github.com) | gexaha wrote: | Won't it be easier to teach/use Lean? | davidthewatson wrote: | I'm out of my depth here, but it's worth noting: | | "The poet laureate of functional programming" from the guardian: | | https://www.theguardian.com/technology/2022/jun/03/richard-b... | | and the post on hacker news: | | https://news.ycombinator.com/item?id=31619966 | mncharity wrote: | Reminds me of Structure and Interpretation of Classical | Mechanics[1] and Functional Differential Geometry[2] using | Scheme. | | [1] https://groups.csail.mit.edu/mac/users/gjs/6946/sicm- | html/bo... https://news.ycombinator.com/item?id=19765019 et al | (including haskell porting) [2] https://mitp-content- | server.mit.edu/books/content/sectbyfn/b... | https://news.ycombinator.com/item?id=7884551 | Koshkin wrote: | I find Lisp more than any other programming language suited to be | the host language for a DSL. It is also easy to represent | hierarchical and flat data formats with it. | adamnemecek wrote: | Here's the PDF | https://github.com/DSLsofMath/DSLsofMath/blob/master/L/snaps... ___________________________________________________________________ (page generated 2023-04-05 23:00 UTC)