static-typing

53Ciepło

6Odpowiedz

Wady systemu typu Scala kontra Haskell?

Przeczytałem, że system typu Scala jest osłabiony przez interoperacyjność Javy i dlatego nie może wykonywać niektórych z tych samych uprawnień, co system typu Haskella. Czy to prawda? Czy słabość wyni

scala haskell type-systems static-typing language-comparisons 2010-09-11

---

10Ciepło

1Odpowiedz

Stosowanie metody Extension do ogólnej klasy o typie ogólnym

Pracowałem z klasą generyczną w vb.net. Wygląda na to, że metody rozszerzenia nie można zastosować do klasy ogólnej bez określenia typu. mam typowego klasa Public Class MyGeneric(Of T) 'Methods a

.net vb.net generics static-typing 2008-12-08

---

6Ciepło

1Odpowiedz

Dlaczego foreach pomija czas kompilacji sprawdzania typów interfejsów?

Gdy używam pętli foreach w języku C#, wydaje się, że nie jest wykonywane sprawdzanie typu czasu kompilacji, jeśli typ elementu jest typem interfejsu. E.g. class SomeClass {} interface SomeInterface {

c# visual-studio-2008 foreach static-typing 2010-08-02

---

5Ciepło

1Odpowiedz

Typ sekwencji clojure

Jaki jest prawidłowy rodzaj sekwencji? Mam ten kod: (defrecord MethodInfo [^clojure.lang.ISeq preconds ^clojure.lang.ISeq postconds]) Ale nie wydaje się, aby poprawnie egzekwować wymagania typu, pon

clojure static-typing typechecking 2011-07-17

---

12Ciepło

5Odpowiedz

Co sprawia, że ​​język statycznie napisany nie ma czegoś takiego jak metoda_racjonowania Rubiego?

Nie mam dużego doświadczenia ze statycznie napisanymi językami (obecnie uczę się Scala i kocham to!), Ale jedną rzecz, którą zauważyłem jest to, że nigdy nie wydają się mieć czegoś takiego jak metoda

ruby scala coldfusion static-typing method-missing 2010-09-24

---

53Ciepło

3Odpowiedz

TypeScript: problemy z systemem typu

Właśnie testuję maszynopis w Visual Studio 2012 i mam problem z jego typem systemu. Moja strona html ma tag canvas z identyfikatorem "mycanvas". Próbuję narysować prostokąt na tym płótnie. Oto kod var

html5 types web typescript static-typing 2012-12-02

---

14Ciepło

2Odpowiedz

Kiedy jest oczywiste, że pisanie w sqlite jest użyteczne?

sqlite używa czegoś, co autorzy nazywają "Manifest Typing", co w zasadzie oznacza, że ​​sqlite jest wpisywane dynamicznie: Możesz przechowywać wartość varchar w kolumnie "int", jeśli chcesz. Jest to i

sql sqlite static-typing dynamic-typing 2009-05-20

---

84Ciepło

5Odpowiedz

Czy rzutowanie Java wprowadza koszty ogólne? Czemu?

Czy są jakieś koszty ogólne, gdy rzucamy obiekty jednego rodzaju do drugiego? Lub kompilator po prostu rozwiązuje wszystko i nie ma żadnych kosztów w czasie wykonywania? Czy to ogólne, czy są różne pr

java performance casting static-typing 2010-01-31

---