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

4 odpowiedź

Scala: powrót ma swoje miejsce

Referencje:Słowo kluczowe Scala returnobsługa błędów w kontrolerach scalaEDIT3Jest to „ostateczne” rozwiązanie, ponownie dzięki Danowi Burtonowi.

3 odpowiedź

Zrozumienie błędów ograniczenia wartości F #

Nie rozumiem, jak działa ograniczenie wartości w F #. Przeczytałem wyjaśnienie wwiki tak dobrze jakDokumentacja MSDN. Nie rozumiem:Dlaczego, na przykład, daj...

4 odpowiedź

Java - Generics vs Casting Objects

2 odpowiedź

Niepełny podpis typu

2 odpowiedź

dedukcja typu „auto” dla referencji

3 odpowiedź

Wnioskowanie sygnatury połączenia lambda lub arbitralnego wywołania dla „make_function”

2 odpowiedź

C ++ 11 typy powrotu auto i funkcji

Wiem o różnicy między

3 odpowiedź

Czy typy nieskończone (aka typy rekurencyjne) nie są możliwe w F #?

Rozmawiałem zSadek Drobi na twitterze, gdy pojawi się informacja, że ​​F # nie obsługuje typów nieskończonych. Okazuje się, że w języku C # możesz zrobić coś...

3 odpowiedź

Konwersja OCaml na F #: Różnice między wpisywaniem a wnioskowaniem typu

W badaniachwnioskowanie typu różnice między F # i OCaml Stwierdziłem, że skupiają się namianownikowy vs.strukturalny system typu. Potem znalazłemCharakteryst...