type-systems

5Hitze

1Antwort

Was ist der Top-Typ in der Hack-Sprache?

In the Hack language Typ System gibt es einen "Top" -Typ, auch bekannt als "Any" -Typ oder ein universeller "Object" -Typ? Das heißt, ein Typ, von dem alle Typen Unterklassen sind? The manual mentions

syntax type-systems hacklang 2014-04-13

---

5Hitze

3Antwort

Wie definiere ich einen existenziellen höheren Typ in Scala?

Ich habe versucht, einen Typ zu definieren, der in Scala einen existentiell höheren Typ akzeptiert. Leider Scalac erlaubt es nicht. Welcome to Scala version 2.11.7 (Java HotSpot(TM) 64-Bit Server VM,

scala functional-programming type-systems existential-type higher-kinded-types 2015-08-24

---

8Hitze

1Antwort

EWS: NetworkCredential nicht kompatibel mit ExchangeCredentials in F #

Ich mag die Microsoft.Exchange.WebService API verwenden: C# funktioniert ExchangeService service = new ExchangeService(userData.Version); service.Credentials = new NetworkCredential(userData.EmailAdd

f# exchange-server exchangewebservices type-systems 2016-01-23

---

7Hitze

4Antwort

Scala Puzzle: Erzwingen, dass zwei Funktionsargumente vom gleichen Typ sind und beide sind ein Subtyp einer gegebenen Klasse

Wie kann ich erzwingen, dass trickyMethod die Argumente zur Kompilierzeit gleich sind, aber zur gleichen Zeit auch die gemeinsame Super haben geben Sie Fruit ein? Also mit anderen Worten, tricky.trick

scala types compilation type-inference type-systems 2014-03-13

---

2Hitze

1Antwort

Abhängige Typen

Vor einiger Zeit stoße ich auf die Programmiersprache Idris, die als "Alleinstellungsmerkmal" abhängige Typen zu sein scheinen. Kann jemand erklären, welche abhängigen Typen sind und welche Art von Pr

types type-systems idris 2016-05-22

---

13Hitze

2Antwort

Unterschied zwischen statischen und dynamischen Programmiersprachen

Was ist der Unterschied zwischen statischen und dynamischen Programmiersprachen? Ich weiß, dass es um Typsysteme geht, aber ich suche nach klareren Abklärungen.

dynamic static programming-languages type-systems 2013-12-13

---

5Hitze

1Antwort

Scala Option Typ obere Grenze verstehe nicht

Ich lese Functional Programming in Scala, und in Kapitel 04 implementieren die Autoren Option selbst. Nun, bei der Definition der Funktion getOrElse sie verwenden, um eine obere Grenze, die Art von A

scala optional type-systems 2015-04-27

---

4Hitze

1Antwort

Wie kann ich einen Negationstyp in Scala haben?

ich so etwas wie dies tun wollen: def iDontLikeStrings(arg: Not[String]) = {....} Im Grunde ist dies kompilieren sollte: iDontLikeStrings(23) iDontLikeStrings(true) Und dies nicht kompilieren sol

scala type-systems 2016-04-10

---

7Hitze

2Antwort

Scala: Gibt es eine Möglichkeit, Inline-Typen zu erstellen?

Grundsätzlich würde Ich mag Lage sein, so etwas zu schreiben: val x :('k1.type, Int) = 'k1 -> 1 val y :('k2.type, Int) = 'k2 -> 2 Wo Typen von x und y nicht kompatibel sind, aber entweder ein Super

scala types inline type-systems singleton-type 2014-12-03

---

6Hitze

3Antwort

Kovarianz und die Varianz Flip in scala

In Scala für die Impatient Es wird gesagt, dass Funktionen sind kontravarianten in ihre Argumente und kovarianten in ihrem Ergebnistyp Dies ist einfach und leicht zu verstehen, aber im selben Thema he

scala type-systems 2016-04-17

---