F # hat sowohl getippte als auch ungetippte Code-Zitate und ich frage mich, was die Anwendungsfälle sind, in denen einer den anderen wählen würde.

Ist die Unterscheidung nur Bequemlichkeit und untypisierte und getippte Zitate sind jeweils in allen Fällen konvertierbar oder sind getippte Zitate e. G. Eine Untergruppe von denen, die mit untypisierten Zitaten möglich sind?

Gibt es Beispiele, die nur mit getippten, nicht aber mit untypisierten Zitaten funktionieren - oder umgekehrt?