Wyniki wyszukiwania dla "type-inference"

1 odpowiedź

Jak zdefiniować klasy przypadków z elementami o niezwiązanych parametrach typu?

Dana definicja klasy z parametrem typu powiązanego

1 odpowiedź

Jak działa inferencja typu w obecności zależności funkcjonalnych

Rozważ poniższy kod:

1 odpowiedź

Algorytm wnioskowania typu Go

1 odpowiedź

F # Sposoby pomocy przy wnioskach?

WExpert F # 2.0 Don Syme, Adam Granicz i Antonio Cisternino, str. 44Wnioskowanie o typ: Użycie operatora |> pozwala na przepływ informacji typu z obiektów...

1 odpowiedź

Ogólne wnioskowanie typu w Scali

Napisałem następujący kod, który w rzeczywistości jest głupią implementacją sortowania scalonego w scali:

1 odpowiedź

Jak wywnioskować typ szablonu w argumentach std :: function z lambda?

Mam wariant boost :: i chciałbym wykonać funktor tylko wtedy, gdy wariant jest specjalnego typu, więc stworzyłem tę funkcję:

1 odpowiedź

Wnioskowanie o typ OWL z ograniczeniem

Badam pojęcie ograniczeń OWL z Protege 4 używając FaCT ++ i trywialną ontologię. Przypuśćmy, że mam osobę

1 odpowiedź

Praca nad brakiem częściowego wnioskowania rodzajowego z ograniczeniami

Mam interfejs (używany przez repozytoria), który ma tego członka:

1 odpowiedź

Liberalny warunek pokrycia wprowadzony w GHC 7.7 łamie kod ważny w GHC 7.6

1 odpowiedź

Dlaczego scala nie wnioskuje o typie z ogólnych parametrów typu?