types pg. 6

Dlaczego Kolekcje Javy nie mogą bezpośrednio przechowywać typów pierwotnych?

Kolekcje Javy przechowują tylko obiekty, a nie prymitywne typy; możemy jednak przechowywać klasy wrapperów. Dlaczego to ograniczenie?

"MetaClass", "new", " cls " i "super" - jaki jest dokładnie mechanizm?

Czytałem posty podobne do tych: czym jest metaklasa w Pythonie? jakie są Twoje (konkretne) przypadki użycia metaklas w P ... część jako kod, ponieważ formatowanie przepełnienia stosu konwertowało tekst metaclass->__new__ do metaclass - > new

python metaclass types super

Dlaczego nawiasy konstruktora inicjującego obiekt C # 3.0 są opcjonalne?

Wygląda na to, że składnia inicjalizatora obiektu C# 3.0 pozwala wykluczyć parę nawiasów w konstruktorze, gdy istnieje konstr ... value, PropB = value }; Jestem ciekaw, dlaczego para konstruktorów open / close nawiasy jest tutaj opcjonalna po XTypeName?

syntax c#types language-design initializer

Konwersja typu-unsigned to signed int / char

Próbowałem wykonać poniższy program: #include <stdio.h> int main() { signed char a = -5; unsigned char b = - ... żne wyniki dla obu? Czy wyjście powinno być jak poniżej ? Char jest taki sam!!! int jest taki sam!!! A codepad link.

c types type-conversion integer-promotion signedness

Porównanie typów kolumn bazodanowych w MySQL, PostgreSQL i SQLite? (Cross-Mapping)

Próbuję znaleźć jakiś sposób, aby powiązać typy kolumn w najczęściej używanych bazach danych: MySQL, PostgreSQL i SQLite . ... columnname INT columnname SERIAL INTEGER PRIMARY AUTO_INCREMENT KEY AUTOINCREMENT

mysql database sqlite types postgresql

Czym są struktury danych "sumy i produkty"?

A Ostatni post na blogu Williama Cooka wspomina: Kluczowe jest to, że struktury w Ensō są postrzegane całościowo jako w ... b tradycyjne struktury danych sum i produktów. Jakie są tradycyjne struktury danych sum i produktów, do których się odnosi?

programming-languages types data-structures algebraic-data-types type-systems

Czy wielkość int zależy od kompilatora i / lub procesora?

Czy rozmiar liczby całkowitej zależy od kompilatora, systemu operacyjnego i procesora?

c types

Tworzenie zmiennej za pomocą zmiennej typu

W C# Czy mogę zamienić zmienną typu object na zmienną typu T, gdzie T jest zdefiniowane w zmiennej typu?

c#reflection types

PostgreSQL i C# Typy danych

Przeszukałem tabelę konwersji typu pomiędzy PostgreSQL i C#, ale nic nie znalazłem. Poszukam pustej komórki na powyższym stol ... time zone ] ---> timestamp [ (p) ] with time zone ---> tsquery tsvector txid_snapshot uuid --->Guid xml

c#types postgresql

Tworzenie instancji typu generycznego ze zmienną zawierającą Typ

Czy możliwe jest uzyskanie następującego kodu? Wiem, że to nie działa, ale zastanawiam się, czy jest jakieś obejście? Type k = typeof(double); List<k> lst = new List<k>();

c#types generics instance

W Objective-C, jaki jest odpowiednik słowa kluczowego Java "instanceof"?

Chciałbym sprawdzić, czy obiekt (np. someObject) można przypisać (Cast-able) do zmiennej innego typu (np. SpecifiedType). W J ... innemu typowi. W Javie mogę napisać: someObject.getClass().equals(SpecifiedType.class) Jak można to zrobić w Objective-C?

equality casting objective-c types downcast

Generics w C#, używając typu zmiennej jako parametru [duplikat]

To pytanie ma już odpowiedź tutaj: Jak użyć reflection, aby wywołać metodę generyczną? ... transaction); Działa doskonale, ale nie chcę używać dyrektywy if do wywoływania metody z osobną nazwą typu za każdym razem.

.net c#types generics

Czym jest ograniczenie monomorfizmu?

Zastanawiam się, jak kompilator Haskella czasami wnioskuje typy, które są mniej polimorficzny niż tego się spodziewałem, np. ... us nie jest polimorficzny? Jest to kanoniczne pytanie o ograniczenie monomorfizmu w Haskell jak omówiono w meta pytanie.

haskell types polymorphism type-inference monomorphism-restriction

Izomorfizm Curry ' ego-Howarda

Przeszukałem Internet i nie mogę znaleźć żadnych wyjaśnień CHI, które nie przekształcą się gwałtownie w wykład o teorii logik ... jak to zrobić. To wydaje się mieć sens, ale to nie jest zbyt ciekawe . Więc najwyraźniej musi być w tym coś więcej niż to...

haskell logic types curry-howard

types