J and I and Me
2006-10-07
  JAOO 2006: Guy Steele: Growing a language
Guy Steele trug in seiner Keynote über die neue Programmiersprache Fortress vor. Ausrichtung ist der technisch-wissenschaftliche Bereich (wo ja immer noch Fortran eine wichtige Rolle spielt) . Entsprechend nutzt Fortress Unicode für die Darstellung der Programme, weil so auch komplizierte technische-wissenschaftliche Symbole z.B. für Summen zur Verfügung stehen.

Neben der Sprache ist für Guy auch die User Community relevant. Außerdem will er die wesentlichen Features nach Möglichkeit in Libraries implementieren und nicht im Compiler, um den Sprachkern klein zu halten. Er will die Probleme der Anwender durch Libraries lösen, die dann in der Sprache möglichst einfach implementierbar sein sollen. Die Libraries selbst sind aus Komponenten mit Interfaces zusammengestellt, so dass man diese Teile austauschen kann.

Das Typsystem - eines der wichtigsten Themen einer Programmiersprache - verwendet polymorphe Operatoren und kann auch Typ-Inferenz. Mit Typ-Inferenz muss man den Typ eines Ausdrucks nicht explizit deklarieren, sondern er wird automatisch festgestellt. Normalerweise haben vor allem funktionale Sprachen solche Features.

Listen, Vektoren (im mathematischen Sinn) und Mengen sind eingebaut wie auch physikalische Einheiten. Ebenfalls gibt es verteilte Datenstrukturen. Auch eine Versionskontrolle ist eingebaut. Der Compiler wird in 2010 wohl soweit sein, dass er gut optimierten Code erzeugt.

Ein neues Konzeot sind Traits: Sie enthalten Interfaces und Code, sind aber keine Klassen und enthalten keine Felder. Dadurch kann man Mehrfachvererbung implementieren - außer eben für Felder. Die Felder kommen in den Blättern des Vererbungsbaums hinzu.

Desgin by Contract wird direkt unterstützt und es werden auch automatisch Tests gebaut.

Die primitven Datentypen sind auch Objekte - im Gegensatz zu Java. Es gibt auch eine deklarative Verteilung von Daten and Threads, transaktionalen Speicher und Schleifen werden per default parallel ausgeführt.

Ingesamt recht interessant, aber eben auch eher eine Nischensprache (zumindest vom Anspruch her). Ob sie sich gegen Fortran durchsetzen kann, wird man sehen, zumal Fortran eben seit ca. 50 Jahren diesen Bereich dominiert.
  11:53
Bookmark and Share
Comments:
Kleine Korrektur: die Dinger heissen "Traits". http://www.iam.unibe.ch/~scg/Research/Traits/

Gruss
Matthias
 
Danke, korrigiert.
 
Kommentar veröffentlichen

<< Home
J for Java | I for Internet, iMac, iPod and iPad | Me for me

ARCHIVES
Juni 2005 / Juli 2005 / August 2005 / September 2005 / Oktober 2005 / November 2005 / Dezember 2005 / Januar 2006 / Februar 2006 / März 2006 / April 2006 / Mai 2006 / Juni 2006 / Juli 2006 / August 2006 / September 2006 / Oktober 2006 / November 2006 / Dezember 2006 / Januar 2007 / Februar 2007 / März 2007 / April 2007 / Mai 2007 / Juni 2007 / Juli 2007 / August 2007 / September 2007 / Oktober 2007 / November 2007 / Dezember 2007 / Januar 2008 / April 2008 / Mai 2008 / Juni 2008 / August 2008 / September 2008 / November 2008 / Januar 2009 / Februar 2009 / März 2009 / April 2009 / Mai 2009 / Juni 2009 / Juli 2009 / August 2009 / September 2009 / Oktober 2009 / November 2009 / Dezember 2009 / Januar 2010 / Februar 2010 / März 2010 / April 2010 / Mai 2010 / Juli 2010 / August 2010 / Oktober 2010 / Januar 2011 / Februar 2011 / März 2011 / April 2011 / Mai 2011 / Juni 2011 / August 2011 / September 2011 / November 2011 / Februar 2012 / April 2012 / Mai 2012 / April 2013 / Mai 2013 / Juni 2013 / Januar 2015 / Juli 2015 / Februar 2016 /

Links

Twitter
Google +
Slideshare
Prezi
XING
LinkedIn
Das Spring Buch


Feeds

Feedburner


Impressum
Betreiber und Kontakt:
Eberhard Wolff
Leobschützer Strasse 22
13125 Berlin
E-Mail-Adresse: eberhard.wolff@gmail.com

Verantwortlich für journalistisch-redaktionelle Inhalte:
Eberhard Wolff