10
Czy F # ma system mianownika lub system strukturalny?F #, Nominatywny lub strukturalny Typowane
Wiem, że OCaml jest strukturalnie typowane, chociaż F # nie wydaje się takie, czy to prawda?
A
Odpowiedz
12
F # jest nominacyjny. Możesz wykonać kilka strukturalnych trików za pomocą egzotycznych mechanizmów, ale system typów języka jest przede wszystkim mianownikiem.
Powiązane problemy
- 1. Enum vs Silnie typowane wyliczenie
- 2. strukturalne Równość w F #
- 3. Zdecydowanie typowane języki po stronie klienta?
- 4. F #: Some, None lub Exception?
- 5. mixin lub cecha w F #
- 6. Silnie typowane wyliczenia w g ++ - 4.4
- 7. Poszukuję rekomendacji, jak konwertować PDF na format strukturalny.
- 8. Dlaczego scala używa refleksji do wywołania metody na typ strukturalny?
- 9. Jaka jest różnica między Verilog strukturalny i Verilog zachowania?
- 10. F # pętli w F #
- 11. Czy to możliwe (Alternatywne f, Składane f) => Monad f?
- 12. Udowodnienie F (f BOOL) = bool
- 13. Błędy typowane przez WCF i błąd serwera wewnętrznego 500?
- 14. Czy silnie typowane funkcje są parametrami możliwymi w TypeScript?
- 15. Wersja standardowa lub idiomatyczne użycie (fn [f & args] (apply f args))
- 16. Jakieś korzyści dla kierowania F # runtime dla F # 4.0 lub 3.1 zamiast 3.0?
- 17. Śledź bufor w emacs, a la tail -f lub mniej + F
- 18. Stosując zmienną wzór pasujący w Ocaml lub F #
- 19. Odpowiednik do notacji Haskella lub Wyrażeń obliczeniowych F # w Scali?
- 20. Czy typy rekordów F # są zaimplementowane jako struktury lub klasy?
- 21. Dowolna implementacja R-drzewa w F # (lub C#)?
- 22. Niespójne wyniki dla f (g (x)) razem lub podzielone
- 23. Dlaczego ng-show nie działa po wpisaniu F lub N
- 24. F # F # interaktywne vs. roztworze i WCF
- 25. Nauka F #
- 26. F # Dodanie
- 27. Jak podzielić F [A \/B] do (F [A], M [B])
- 28. Jak działa F # inline?
- 29. Obiekty rekursywne w F #?
- 30. PyCharm i łańcuchy f
Jeśli OCaml ma charakter strukturalny, w jaki sposób F # został obrócony o 180 stopni? –
F # kinda wziął strukturę funkcjonalną i składnię deklaracji z OCaml, ale system typu obiektu z .NET. – Brian
Zobacz także http://stackoverflow.com/questions/3162387/why-is-fs-type-inference-so-fickle/3162832#3162832 – Brian