Wenn wir schon einmal bei dem Thema sind, Python zu erweitern , noch eine Projektidee: Es gibt immer wieder Diskussionen darüber, ob statische Typisierung, wie sie beispielsweise bei Compiler-Sprachen wie Java und C# zum Einsatz kommt, besser oder schlechter ist als die dynamische Typisierung bei Skript-Sprachen. Der Streit darum soll konstruktiv angegangen werden, indem am Beispiel der Skript-Sprache Python die Herausforderung angenommen wird, Python um ein frei programmierbares, statisches Typsystem zu erweitern. Das Typsystem soll in Python entwickelt und als Modul importierbar sein. Auf diese Weise können Python-Programme optional mit strikter Typisierung entwickelt werden. Zunächst ist ein frei programmierbares Typsystem inklusive Inferenz-Maschinerie zu entwickeln; der Vorschlag ist, sich dabei stark an der Umsetzung eines solchen Systems in der Sprache Qi zu orientieren. Qi ist eine funktionale Sprache, die von Mark Tarver entwickelt wurde, siehe www.lambdassociates.org . Qi nu...
gedanken, ideen, anregungen und links rund um themen zur informatik, bildung, studium