9. Typen und Typinferenzsysteme

[genaray]

Exposé folgt die nächsten Tage, wollte mir nur schon mal das Thema sichern.
Sieht bis jetzt interessant aber auch ziemlich komplex und mathematisch aus. Schauen wa mal was wird.

Exposé

• Was sind Typen & Typinferenzsysteme?
• Statische/Dynamische Typisierung
• Typsystem
• Typinferenz
• Hindley-Milner Typinferenzsystem (Fokus)
• Damas-Milner Typinferenzsystem (Nur kurz erwähnen oder so um den Rahmen nicht zu sprengen?)
• Abstraktion & Polymorphie

Resources (folgt noch)

• Types, Data-Abstraction, Polymorphic http://lucacardelli.name/Papers/OnUnderstanding.A4.pdf
• Proporsitions as Types https://homepages.inf.ed.ac.uk/wadler/papers/propositions-as-types/propositions-as-types.pdf
• Polymorphic-Types https://ieeexplore.ieee.org/document/8129541
• Extending Hindley-Milner System https://ieeexplore.ieee.org/document/4343935
• Hindley-Milner algorithmus https://steshaw.org/hm/hindley-milner.pdf
• Relativ wenig paper über dieses Thema? Oder suche ich falsch?
• Ich hoffe das man auch auf normale Websites etc. zurückgreifen darf, sonst darf die HSBI nach diesem Vortrag meine Pflegekosten in der Klapse übernehmen.

[cagix]

da bin ich gespannt. das ist ein sehr schönes, aber auch großes gebiet. vielleicht willst du dir das auch mit jemandem teilen?

[genaray]

Wenn sich jemand finden lässt dann könnte man das bestimmt gut aufteilen :) Ich schaue mich mal um

[cagix]

Wenn nicht, ist auch gut. Dann wäre ein Überblick zusammen mit einem tieferen Blick in ein bestimmtes System sinnvoll - die Stichpunkte oben passen ja schon gut.

[cagix]

@genaray wir haben heute kurz mit über dein proposal gesprochen. es scheint, als ob der kern des vortrags die markierten bereiche sein werden, oder?

[cagix]

kein vortrag, kein blog. schade ...