Changes between Version 7 and Version 8 of FirstPrinciples/LambdaCalculus


Ignore:
Timestamp:
Dec 3, 2017, 12:56:50 PM (2 years ago)
Author:
schiptsov
Comment:

--

Legend:

Unmodified
Added
Removed
Modified
  • FirstPrinciples/LambdaCalculus

    v7 v8  
    2222== Programming languages ==
    2323
    24 Programming languages provide ''means to model'' the domain of a program and to define embedded DSLs for subdomains. DSLs usually from a [wiki:/BigIdeas/LayersOfDSLs hierarchy of layers].
     24Good programming languages provide means to ''model'' (using protocols and interfaces) the domain of a program and to define embedded DSLs for subdomains. DSLs usually from a [wiki:/BigIdeas/LayersOfDSLs hierarchy of layers].
    2525
    2626[wiki:/Languages/Scheme Scheme] is an implementation of Untyped Lambda Calculus. So are [wiki:/Languages/CommonLisp Common Lisp] and other Lisps.