Le lingue esistenti consentono gli argomenti delle funzioni in aree arbitrarie in un nome funzione?

Question

Quando scriviamo (in una lingua o in un altro):

lengthOf(n) 

Pensiamo ad esso come abbreviazione di un inglese 'riempire gli spazi vuoti' di costruzione, come:

length of __ 

Ma quando scriviamo cose come queste:

isAnInteger(n) 
    appendTo(n,m) 

Pensiamo a frasi come:

__ is an integer 
    append ___ to ___ 

Quindi, sembrerebbe più naturale per consentire espressioni funzione di invocazione come:

(n)isAnInteger 
    append(n)to(m) 

Dove sono i 'nomi delle funzioni' qualcosa di simile:

_isAnInteger 
    append_to_ 

Qualcuno può citare la programmazione esistente lingue che permettono questo? So che i linguaggi orientati agli oggetti consentono all'oggetto di essere un argomento in primo piano, ma mi domando su sintassi più flessibili.

Answer 1

Sì, una cosa del genere esiste, ma non nella sintassi esatta presentata nella domanda.

In JavaScript si chiama concatenamento e si trova comunemente nei framework come jQuery per rendere più semplice creare e modificare elementi DOM al volo:

$('<div/>') 
.css('background', '#f00') 
.css('width', '100px') 
.css('height', '100px') 
.hide() 
.appendTo('BODY') 
.fadeIn(); 

Il precedente jQuery frammento crea un elemento DIV, set la larghezza, l'altezza e il colore di sfondo, nasconde lo DIV, lo appende al documento e applica un effetto dissolvenza.

La sintassi è importante. Dato il seguente esempio:

(n)isAnInteger 
append(n)to(m) 

Le parentesi sono ovviamente da intendersi come delimitatori di argomenti di funzione. Ma hai anche bisogno di delimitatori di nomi di funzioni e delimitatori di oggetti/cose. Una sintassi migliore sarebbe:

n.isAnInteger().append(n).to(m) 

che è molto simile alla sintassi jQuery:

$('DIV') 
    .filter(':visible') 
    .appendTo('#new_element'); 

che troverà DIV elementi che sono visibili e copiarli l'elemento con un id di new_element.

Answer 2

Objective-C probabilmente arriva più vicino. Esempio:

- (void)setRangeStart:(int)start end:(int)end; 

- (void)importDocumentWithName:(NSString *)name withSpecifiedPreferences: 
(Preferences *)prefs beforePage:(int)insertPage; 

Chiamato come:

[obj setRangeStart:1 end:42]; 
[obj importDocumentWithName:@"foo" withSpecifiedPreferences:prefs beforePage:1]; 

Non permette [obj 5:isAnInteger] però.

Answer 3

Smalltalk è abbastanza vicino. (È la stessa sintassi Objective-C, detto in un'altra risposta)

messaggio manda in Smalltalk non fanno parentesi uso, ma seguire la forma doSomething:with:

Così si può scrivere:

5 isInteger 
aList appendTo: anotherList 
aList at: aPosition ifAbsent: anAction 

tutti i messaggi vengono inviati a un oggetto (ricevitore) che deve essere a sinistra, in modo da poter non scrittura:

append: aList to: anotherList "illegal syntax" 

La sintassi doSomething:with: è più naturale rispetto all'utilizzo di parentesi graffe. Sei meno facilmente confuso su quale sia il parametro. Si consideri ad esempio:

aList.sublist(i, j) 
    aList sublistFrom: i to: j 

Con la corretta denominazione dei metodi, è chiaro il primo argomento è l'indice inferiore, e il secondo indice superiore, a differenza con bretelle.

Answer 4

Mixfix è la forma più generale di ciò che è presentato sopra come funzione di sintassi Smalltalk tramite Objective-C. Maude's "bubble" parsing è l'implementazione più chiaramente documentata di questo. Più in generale, google for "mixfix parsing".

Answer 5

Grace è un nuovo linguaggio di istruzione (ancora in sviluppo), che supporta un ordine quasi arbitrario di argomenti:

class MyObject { 
    method choseBetween (a : Block<None>) and (b : Block<None>) -> None { 
     if (Random.nextBoolean) 
      then { a.apply } else { b.apply } } 
} 

che potrebbe ottenere chiamato come:

MyObject.new.chooseBetween { print("Yes") } and { print("No") } 

Answer 6

Due lingue con operatori mixfix supporto mi viene in mente: Agda e BitC.

Answer 7

Come ha sottolineato Brian Rice, la notazione mixfix in Maude gestisce esattamente questo. Hai persino la sintassi corretta.

I suoi esempi

_isAnInteger 
append_to_ 

sarebbe stata dichiarata in Maude come

op _IsAnInteger : Int -> Bool 
op append_to_ : Int List -> List 

E sarebbero chiamati come

5 IsAnInteger 
append 5 to L