Suchergebnisse für Anfrage "type-systems"
Python Type System - Objekt gegen Typ
Ich bin neu in Python. Ich bin mit Java, C / C ++ und OCaml vertraut. Ich verstehe Lambda-Kalkül und elementare Typentheorie aufgrund eines Programmiersprach...
Haben alle Programmiersprachen ein klares Konzept von NIL, null oder undefiniert?
Ich schreibe eine Schlüsselwertspeicher-API (wie ODBC, nur die Schnittstelle, nicht den zugrunde liegenden Speicher) in vielen verschiedenen Sprachen, und obwohl ich die API nicht zwischen Sprachen übersetzen möchte, möchte ich beispielsweise ...
Was sind die Grenzen der Typinferenz?
Was sind die Grenzen der Typinferenz? Welche Typsysteme haben keinen allgemeinen Inferenzalgorithmus?
Was sind die Unterschiede und Gemeinsamkeiten von Scala- und Haskell-Systemen?
Wie erklärt man einem Haskell-Experten das Typensystem von Scala? Welche Beispiele zeigen die Vorteile von Scala?Wie erklärt man einem fortgeschrittenen Scal...
Dynamische Schriftsprachen versus statische Schriftsprachen
Welche Vor- und Nachteile haben dynamische Schriftsprachen im Vergleich zu statischen Schriftsprachen?Siehe auch: was ist mit der Liebe zu dynamischen Sprach...
Was macht Haskells Typensystem „leistungsfähiger“ als die Typensysteme anderer Sprachen?
LesenNachteile des Scala-Systems gegenüber Haskell? [https://stackoverflow.com/questions/3689407/disadvantages-of-scala-type-system-versus-haskell] , Ich muss fragen: Was genau macht Haskells Typensystem leistungsfähiger als die Typensysteme ...
Typeinschränkung für Typungleichheit in Scala [duplizieren]
Mögliche Duplikate:Typunterschied erzwingenDa es eine verallgemeinerte Typbeschränkung gibt, die die Gleichheit in Scala erzwingt
Wie kann ich einen Negationstyp in Scala haben?
Ich möchte so etwas machen: def iDontLikeStrings(arg: Not[String]) = {....}rundsätzlich sollte dies kompilieren: iDontLikeStrings(23) iDontLikeStrings(true)Und dies sollte NICHT kompilieren: iDontLikeStrings("hello")