Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 11th 2014
    • (edited May 11th 2014)

    Roux Cody kindly alerted me of the fact that analog of synthetic mathematics under “computational trinitarianism” in programming theory is that of domain specific embedded programming languages. To record this neat insight I have now created a minimum entry on the latter and cross-linked a bit.

    • CommentRowNumber2.
    • CommentAuthorzskoda
    • CommentTimeMay 12th 2014
    • (edited May 12th 2014)

    A domain specific programming language is one designed for a specialized kind (“domain”) of applications. A domain specific embedded programming language (DSEL) is a domain specific language realized “inside” a general-purpose high level (typed) programming language.

    To me this looks ambivalent as toward weather the domain specific thing will implement something synthetic or something analytic. Somebody can have a philosophy that a moment when creating a specific domain specific extension/module, is an opportunity to have synthetic point of view in mind as a method, but it is also the opportunity to build analytically. It looks to me that there is nothing inherently synthetic about embedding domain specific extensions. It is just a moment of choice. Having already some basic language behind makes ambitious projects of extension more feasible than building something from the scratch – indeed if one does not have one, you have to do various side basic things so it looks like you are not yet ready for cleanly seeing the axiom-like structures. But if one abstracts the auxiliary pieces than there is no essential difference. So, it is more like practically a good ground for synthetic approach then something what is abstractly, inherently and essentially such.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeMay 12th 2014
    • (edited May 12th 2014)

    That’s probably true when strictly speaking. On the other hand, the same kind of ambiguity applies to “synthetic” itself. But the way Hudak 89 explains DSELs work in Haskell is exactly what mathematically you’d want to call synthetic. So even if you maybe can argue that people could abuse the terminology, it seems they do not.

  1. Fix broken link.

    Breandan Considine

    diff, v5, current

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2022

    under Examples (here) I have added pointer to Quipper

    diff, v6, current

    • CommentRowNumber6.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2022

    fixed the pdf link (which had rotted away) and added DOI link for:

    • Paul Hudak, Modular Domain Specific Languages and Tools, in: Proceedings of Fifth International Conference on Software Reuse, IEEE Computer Society Press (1998) [pdf, doi:10.5555/551789.853532]

    diff, v6, current

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2022

    added pointer to:

    diff, v7, current

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeOct 29th 2022

    making “Examples – Quantum programming” a subsection

    diff, v7, current

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeNov 12th 2022

    Under “Examples – Quantum programming” (here) I have now added pointer also to CoqQ (for which I’ll create a brief entry now)

    diff, v9, current

    • CommentRowNumber10.
    • CommentAuthorUrs
    • CommentTimeOct 14th 2023
    • (edited Oct 14th 2023)

    made more explicit the point of Benton, Hughes & Moggi 2002 §5.3 relating domain-specific embedding to do-notation, adding a sentence and a quote (here)

    diff, v14, current