Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 

F#, Nominative or Structural Typed

Tags:

f#

typing

Does F# have a Nominative Type System or a Structural Type System?

I know that OCaml is structurally typed, though F# doesn't seems to be so, is this correct?

like image 570
Neo Avatar asked Jun 29 '10 02:06

Neo

1 Answers

F# is nominative. You can do a few structural tricks via some exotic mechanisms, but the type system of the language is primarily nominative.

like image 99
Brian Avatar answered Sep 19 '22 05:09

Brian
Sign in to Comment

Related questions

When writing F# for Fable, when should I use async and when should I use promise?
F# equivalent to Eval
Inconsistent behaviour between (+) and (-) when using 'inline' and quotation evaluation
Why is -1L * -9223372036854775808L == -9223372036854775808L
How does F# know that bitArray elements are bool while enumerating in seq builder?
What is the purpose of the F# string concatenation operator ^
Is replacing a list element an anti-pattern?
η-expansion in a pure functional language
does a tee function exist somewhere in F# library?
Turn list of Result into Result of list inside a computation expression?
Purpose of a single case discriminated union
Why processing arrays in F# is faster than lists
How to capture output with XUnit 2.0 and FSharp style tests
Why are some properties (e.g. IsSome and IsNone) for FSharpOption not visible from C#?
F#: killing redundancy in Map/Reduce/Filter
F# - Type augmentation VS Type extension
Is there a way to restart FSI in Visual Studio?
Portable Class Library using F# without FSharp.Core.dll reference
F# How Async<'T> cancellation works?
Scientific data visualization and the .NET framework

Donate For Us

If you love us? You can donate to us via Paypal or buy me a coffee so we can maintain and grow! Thank you!