[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)