Czym jest F# i dlaczego warto go poznać
F# to funkcyjny język programowania działający na platformie .NET, stworzony przez Don Syme’a w Microsoft Research. Łączy elegancję ML-owatej rodziny języków z potęgą ekosystemu .NET — co oznacza, że możecie pisać czysty funkcyjny kod i jednocześnie korzystać z tysięcy bibliotek NuGet, ASP.NET, Entity Framework i całego bogactwa platformy Microsoftu.
F# nie jest „Haskellem na .NET” — to krzywdzące porównanie. F# ma własną tożsamość: jest pragmatyczny, multi-paradygmatowy (funkcyjny domyślnie, ale z opcją OOP i imperatywnego kodu gdy trzeba) i głęboko zintegrowany z ekosystemem .NET. Jeśli pracujecie w świecie Microsoftu i chcecie pisać bardziej funkcyjnie, F# jest naturalnym wyborem.
Co ciekawe, F# jest używany w produkcji znacznie częściej niż moglibyście myśleć. Firmy fintech, firmy ubezpieczeniowe i korporacje na całym świecie używają F# do modelowania domen, analizy danych i budowania systemów backendowych. To nie jest akademicki eksperyment — to narzędzie produkcyjne z realnym adoption.
Krótka historia i ewolucja
F# narodził się w 2005 roku w Microsoft Research Cambridge, pod kierunkiem Don Syme’a. Inspiracją był OCaml — Don Syme chciał przenieść elegancję ML-owatych języków na platformę .NET. Pierwsza wersja była wewnętrznym projektem badawczym, ale szybko zyskała zainteresowanie wewnątrz Microsoftu.
W 2007 roku F# stał się oficjalnym produktem Microsoftu, a w 2010 roku wszedł do Visual Studio jako pełnoprawny język obok C# i VB.NET. To był ważny moment — po raz pierwszy duży vendor technologiczny oficjalnie wspierał funkcyjny język programowania w swoim flagowym IDE.
Od tego czasu F# przeszedł długą drogę. Wprowadzono type providers (2012), computation expressions, async workflows, a w ostatnich latach — znaczące usprawnienia wydajności i nowe features jak anonymous records, resumable code i lepsze wsparcie dla task-based asynchroniczności. F# Foundation, założona w 2014 roku, wspiera rozwój społeczności i open-source ekosystemu.
Kluczowe cechy i filozofia
Funkcyjny domyślnie, ale pragmatyczny. F# zachęca do pisania kodu funkcyjnego — niemutowalne wartości, pattern matching, pipeline operator, type inference — ale nie zmusza. Możecie użyć mutowalnej zmiennej, klasy albo pętli for, gdy tego potrzebujecie. To podejście „funkcyjny-first” zamiast „funkcyjny-only”.
Type providers to killer feature F#. Wyobraźcie sobie, że wasz kod ma dostęp do schematu bazy danych, struktury API REST albo formatu pliku CSV w czasie kompilacji — z pełnym wsparciem IntelliSense i sprawdzaniem typów. Type providers robią dokładnie to: generują typy na podstawie zewnętrznych źródeł danych w compile time. To jest jak code generation, ale bezpieczny i zintegrowany z systemem typów.
Discriminated unions i pattern matching to serce modelowania domen w F#. Typ Result<'T, 'E>, opcje, złożone struktury danych — wszystko to wyraża się naturalnie i czytelnie. W połączeniu z aktywnym pattern matchingiem (active patterns) daje to potężne narzędzie do dekompozycji problemów.
Computation expressions to mechanizm podobny do monad w Haskellu, ale z bardziej pragmatyczną składnią. async, task, seq, query — to wszystko computation expressions. Możecie też tworzyć własne, co pozwala na eleganckie DSL-e wewnątrz języka.
Interoperacyjność z C# jest niemal bezszwowa. Każda biblioteka .NET jest dostępna z F#, i odwrotnie. Możecie mieć solution z projektami w C# i F# obok siebie, i wywoływać kod między nimi bez żadnych wrapperów.
Gdzie F# sprawdza się najlepiej
Fintech i ubezpieczenia to prawdopodobnie największy sektor użytkowników F#. Firmy jak Jet.com (zanim został przejęty przez Walmart), Compositional IT i wiele funduszy hedgingowych używa F# do modelowania ryzyka, analizy finansowej i budowania systemów transakcyjnych. Domain-driven design w F# jest naturalny — discriminated unions idealnie odwzorowują stany biznesowe.
Data science i analiza danych to kolejny mocny obszar. Type providers do CSV, JSON, SQL i innych formatów sprawiają, że eksploracja danych w F# jest przyjemna i bezpieczna typologicznie. Deedle (biblioteka do DataFrame’ów) i F# Interactive (REPL) tworzą wygodne środowisko do analizy.
Web development z F# jest coraz bardziej atrakcyjny dzięki frameworkom jak Giraffe (funkcyjny web framework na ASP.NET Core), Saturn (oparty na Giraffe, z konwencjami w stylu Rails) i Fable (kompilator F# do JavaScript/TypeScript). Fable pozwala pisać frontend w F# i kompilować do JS — to realna alternatywa dla React/Vue z TypeScriptem.
Skrypty i automatyzacja — F# Interactive i F# scripting (.fsx) to świetne narzędzia do automatyzacji, DevOps i prototypowania. Skrypty F# mogą korzystać z NuGet packages inline (#r "nuget: ...") co czyni je potężniejszymi od typowych skryptów bash/PowerShell.
Jak wygląda kod w F
Modelowanie domeny e-commerce z discriminated unions:
type PaymentMethod =
| CreditCard of cardNumber: string * expiry: DateTime
| PayPal of email: string
| BankTransfer of iban: string
type OrderStatus =
| Pending
| Paid of PaymentMethod * paidAt: DateTime
| Shipped of trackingNumber: string * shippedAt: DateTime
| Delivered of deliveredAt: DateTime
| Cancelled of reason: string
let describeStatus status =
match status with
| Pending -> "Oczekuje na płatność"
| Paid (method, date) -> $"Opłacone {date:yyyy-MM-dd}"
| Shipped (tracking, _) -> $"Wysłane, tracking: {tracking}"
| Delivered date -> $"Dostarczone {date:yyyy-MM-dd}"
| Cancelled reason -> $"Anulowane: {reason}"
A oto pipeline z przetwarzaniem danych:
let topCustomers orders =
orders
|> List.filter (fun o -> o.Status = Completed)
|> List.groupBy (fun o -> o.CustomerId)
|> List.map (fun (id, os) ->
id, os |> List.sumBy (fun o -> o.Total))
|> List.sortByDescending snd
|> List.take 10
Pipeline operator |> czyta się od lewej do prawej, od góry do dołu — jak przepływ danych. To jedna z rzeczy, za które ludzie kochają F#.
Ekosystem i narzędzia
Visual Studio to domyślne IDE dla F# z pełnym wsparciem IntelliSense, debuggingiem i profilerem. JetBrains Rider ma doskonałe wsparcie F# z analizą kodu i refaktoringami. VS Code z Ionide to lekka alternatywa, która w ostatnich latach stała się naprawdę dobra.
FAKE (F# Make) to build system napisany w F# — skrypty build to kod F#, z pełnym wsparciem typów i IntelliSense. Paket to menedżer zależności, alternatywa dla NuGet z lepszą kontrolą nad wersjami.
Biblioteki warte wspomnienia: FSharp.Data (type providers), Giraffe i Saturn (web), Fable (frontend), FsCheck (property-based testing), Deedle (data frames), Akka.NET (actor model), FSharpPlus (rozszerzenia funkcyjne).
Społeczność F# jest aktywna i przyjazna. F# Foundation organizuje meetupy, konferencje (jak F# Exchange) i wspiera projekty open source. Na F# Slacku i Discordzie zawsze znajdziecie pomoc.
Mocne i słabe strony
F# łączy najlepsze z dwóch światów: elegancję programowania funkcyjnego i pragmatyzm platformy .NET. Type inference jest potężny, type providers to unikalny feature, a interop z C# jest bezbolesny. Dla zespołów .NET-owych, F# to naturalna ścieżka ewolucji w stronę bardziej funkcyjnego stylu.
Wadą jest mniejsza społeczność w porównaniu z C# — mniej tutoriali, mniej Stack Overflow answers, mniej gotowych rozwiązań. Niektóre biblioteki .NET mają API zaprojektowane pod C# i ich użycie z F# bywa niewygodne (choć to się poprawia).
Kolejny problem to „dwie prędkości” ekosystemu — C# dostaje nowe features i tooling szybciej niż F#, co czasem frustruje społeczność. F# nie jest traktowany priorytetowo przez Microsoft, choć wsparcie jest stabilne.
Podsumowanie
F# to najlepszy wybór, jeśli chcecie pisać funkcyjnie w ekosystemie .NET. Dla zespołów, które już używają C# i chcą wprowadzić elementy programowania funkcyjnego bez rewolucji, F# jest idealny. Type providers, discriminated unions i computation expressions to features, których będziecie żałować w innych językach.
Przyszłość F# wygląda stabilnie — .NET rośnie, F# rośnie razem z nim, a zapotrzebowanie na funkcyjne podejście do modelowania domen i przetwarzania danych nie maleje. Jeśli jeszcze nie próbowaliście F#, a pracujecie w .NET — to jest właściwy moment.
