10
Hat F # ein Nominativsystem oder ein Strukturtypsystem?F #, Nominativ oder Strukturtyp
Ich weiß, dass OCaml strukturell typisiert ist, obwohl F # scheint nicht so zu sein, ist das korrekt?
A
Antwort
12
F # ist ein Nominativ. Sie können ein paar strukturelle Tricks über einige exotische Mechanismen machen, aber das Typensystem der Sprache ist hauptsächlich ein Nominativ.
Verwandte Themen
- 1. g_slice_new hat meinen nicht Strukturtyp
- 2. verlinkte Liste von alternierendem Strukturtyp in c
- 3. Mixin oder Merkmal in F #
- 4. String Interpolation: f oder s
- 5. F #: Einige, keine oder Ausnahme?
- 6. Chunking Liste basiert auf Strukturtyp Ändern
- 7. Geeigneter Strukturtyp für Unmarshal von Geojson
- 8. insertAt in F # einfacher und/oder besser
- 9. Statistische Funktionalitäten von F # (oder .NET Bibliotheken)
- 10. has_type-Vorlage gibt true für den Strukturtyp {} zurück;
- 11. F # Endlosschleifen in F #
- 12. Wie F [A \/B] in (F [A], F [B])
- 13. Was ist die einfachste Art, Arrays abwechselnd zu sortieren (zB: T, T, F, F, F, T, F, T, F, F, F bis T, F, T, F, T, F, T, F, T, T, T)?
- 14. F # und ADO.NET - idiomatische F #
- 15. Wie Standard Golan nicht exportierten Strukturtyp zu erweitern?
- 16. Wie erstellt man eine Struktur aus einem Numba-Strukturtyp?
- 17. Probleme mit den Elementen des Arrays von Strukturtyp zu schaffen
- 18. dynamische Art der Darstellung in Spark Kassandra Strukturtyp
- 19. Django Anmerkungen versehen F()/F() "Runden" unerwartet
- 20. Follow-Puffer in Emacs, a la Tail -f oder weniger + F
- 21. F # string.Format
- 22. F # Permutationen
- 23. F # - Keep F # interaktiv von Beitragsausgabe
- 24. Fortran: Unterschied zwischen f und F extension
- 25. F # - Soll ich mit oder ohne #light lernen?
- 26. so etwas wie ein Python-Zitat in F # (oder C#)?
- 27. Prolog: Ist f (X) = X vereinheitlichbar oder nicht?
- 28. PHPExcel: Machen Sie Geschlecht Spalte akzeptieren nur "M" oder "F"
- 29. Ist das der F # Builder Bug oder mein Missverständnis?
- 30. neues Toolset: original F # Module oder portiert von OCaml
Wenn OCaml strukturell ist, wie wurde F # um 180 Grad gedreht? –
F # irgendwie nahm die funktionale Struktur und Deklaration Syntax von OCaml, aber das Objekttypsystem von .NET. – Brian
Siehe auch http://stackoverflow.com/questions/3162387/why-is-fs-type-inference-so-fickle/3162832#3162832 – Brian