Wyniki wyszukiwania dla "type-inference"
Mapa poziomu typu z DataKinds
Mam wspólny wzór, w którym mam listę rodzaju na poziomie typu
Dlaczego kompilator C # nie może wywnioskować delegowania typu ogólnego z podpisu funkcji? [duplikować
To pytanie ma już odpowiedź tutaj: Dlaczego nie można wywnioskować typu na podstawie tego z pozoru prostego, oczywistego przypadku [/questions/6229131/why-cant-c-sharp-infer-type-from-this-seemingly-simple-obvious-case] 5 odpowiedzi Pracuję z ...
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...
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ś...
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...
Dlaczego nie można wnioskować o diamentach na anonimowych klasach wewnętrznych?
W Javie 7 i późniejszych, diament może być używany do wnioskowania typów normalnie tak bez problemu:
Wnioskowanie typu Scala na typ egzystencjalny
Rozważ następujący fragment kodu, który jest zredukowaną wersją mojego pierwotnego problemu:
Jak przekazać funkcję stylu printf innej funkcji w F #
Chciałbym stworzyć funkcję w F #, która akceptuje funkcję stylu printf jako argument i używa tego argumentu do danych wyjściowych. Użycie byłoby następujące: