Können alle Sprachkonstrukte in Sprachen mit Abseitsregeln erstklassig sein?

Question

In LISP-ähnlichen Sprachen sind alle Sprachkonstrukte erstklassige Bürger.

Betrachten Sie das folgende Beispiel in Dylan:

let x = if (c) 
      foo(); 
     else 
      bar(); 
     end; 

und in LISP:

(setf x (if c (foo) (bar))) 

In Python müsste man schreiben:

if c: 
    x = foo(); 
else: 
    x = bar(); 

Da Python-Anweisungen und Ausdrücke destinguishes .

Können alle Sprachkonstrukte in einer Sprache, die der Offside-Regel folgt (eine einrückungsbasierte Syntax hat) Ausdrücke sein, so dass Sie sie Variablen zuweisen oder als Parameter übergeben können?

Answer 1

Ich sehe nicht, die Beziehung mit der ersten classness hier - du bist nicht das Bestehen der ifAnweisung auf die Funktion, aber das Objekt, um es zurückgibt, die wie in Lisp als vollständig erste Klasse in Python ist. Was jedoch eine Aussage-/Ausdrucksdichotomie betrifft, ist es eindeutig möglich: Haskell hat zum Beispiel eine indentationsbasierte Syntax, hat aber als rein funktionale Sprache offensichtlich keine Aussagen.

Ich denke, Pythons Trennung hier hat mehr damit zu tun, gefährliche Konstrukte wie "if x = 4:" usw. zu verbieten, als irgendeine Syntaxbeschränkung. (Obwohl ich denke, dass es mehr verliert als es dadurch gewinnt - manchmal ist die Flexibilität ausreichend, um von Ihrem Fuß abzuschießen sehr wertvoll, selbst wenn Sie das Risiko eingehen, ein paar Zehen hin und wieder zu verlieren.)

Answer 2

Python hat die folgende Syntax dass führt die gleiche Sache:

x = foo() if c else bar()