F# często przedstawiany jest jako "multi-paradigm", tak więc w swojej funkcyjnej naturze pozwala również na programowanie zorientowane obiektowo. Abstrakcję OOP realizują m. in. interfejsy i klasy abstrakcyjne, które są podobne do tych w C#. Składowe interfejsów i klas abstrakcyjnych (klasa abstrakcyjna jest dodatkowo opatrzona atrybutem typu) są deklarowane przy pomocy nazwy i następującego po niej typu składowej (ponieważ funkcja w FP jest rodzajem typu złożonego, tak więc składowa posiada swój typ, a ...