F# क्यों?

• F# एक ML-परिवार की functional language है जो .NET को target करती है, और Microsoft द्वारा विकसित की गई है. मुख्यतः object-oriented C# की तुलना में F# functional programming paradigm पर केंद्रित है
• यह लेख F# की language features, ecosystem, documentation की स्थिति, development tools, use cases, community की स्थिति, F# vs. OCaml आदि को समेटता है

F# क्या है?

• F# संक्षिप्त, मज़बूत और high-performance code लिखने के लिए एक general-purpose programming language है
• इसे इस तरह design किया गया है कि जटिल syntax की चिंता किए बिना सीधे problem solving पर ध्यान दिया जा सके
• यह open source, cross-platform है, और .NET के साथ इसकी compatibility बहुत अच्छी है

• विशेषताएँ

  • हल्का syntax और default immutability
  • type inference और generalization
  • first-class functions, शक्तिशाली data types, pattern matching
  • asynchronous programming (Async) का समर्थन
  • मशहूर pipeline operator (|>) की मूल भाषा

• सरल example code

  open System  
  let names = [ "Peter"; "Julia"; "Xi" ]  
  let getGreeting name = $"Hello, {name}"  
  names |> List.map getGreeting |> List.iter (printfn "%s")  
  

• F# की शुरुआत 2005 में Microsoft Research में Don Syme द्वारा विकसित एक भाषा के रूप में हुई
  • यह OCaml को .NET platform पर port करने वाले research project (Caml.NET) से शुरू हुआ
  • इसके बाद 2010 से इसे आधिकारिक product में शामिल किया गया, और 2024 में F# 9.0 जारी हुआ
  • 2025 तक यह अपनी 20वीं वर्षगांठ मना रही एक परिपक्व भाषा बन चुकी है
• F# को आज़माने के मुख्य कारण
  • यह देखना कि .NET open source और cross-platform के रूप में कैसे विकसित हुआ
  • OCaml की तुलना में इसके फायदे और कमियाँ समझना
  • Rider, Ionide जैसे tooling के बारे में सकारात्मक राय
  • एक नई भाषा को explore करने में रुचि

भाषा के रूप में F#

• F# एक ML-परिवार की functional language है, और OCaml उपयोगकर्ताओं को इसका syntax परिचित लगेगा
• Haskell या Lisp का अनुभव रखने वाले developers भी इसमें आसानी से ढल सकते हैं
• इसका syntax whitespace-based है, इसलिए Python की तरह indentation व्याकरणिक रूप से महत्वपूर्ण है
• इसे इस तरह बनाया गया है कि शुरुआती लोग भी जल्दी से बुनियादी syntax सीख सकें

• भाषा की विशेषताओं का सार

  • function definition और application को संक्षिप्त और स्वाभाविक तरीके से व्यक्त किया जा सकता है
  • conditionals, loops, tuples, list processing आदि functional style में साफ़-सुथरे ढंग से इस्तेमाल किए जा सकते हैं
  • records, discriminated unions, pattern matching के माध्यम से जटिल data structures को संक्षिप्त रूप में संभाला जा सकता है
  • pipeline operator(|>) की मदद से data flow को functions की chaining की तरह visually स्पष्ट ढंग से बनाया जा सकता है
  • F# ad-hoc scripting के लिए बहुत उपयुक्त है, .fsx files में लिखकर dotnet fsi से तुरंत चलाया जा सकता है
  • REPL environment भी उपलब्ध है, इसलिए exploratory programming के लिए अच्छा है

• उपयोगकर्ता-अनुकूल syntax

  • single-line और multi-line comments, mutable variables, list slices जैसी व्यावहारिक syntax features शामिल हैं
  • C# के साथ उच्च compatibility की वजह से .NET API का इस्तेमाल आसानी से किया जा सकता है
  • विभिन्न types के लिए operator overloading भी स्वाभाविक रूप से समर्थित है
  • printfn से अलग-अलग types को आसानी से print किया जा सकता है, इसलिए debugging और logging में उपयोगी है

• asynchronous programming की अग्रणी भाषा

  • async/await pattern की शुरुआत F# 2.0 से हुई और बाद में इसने C# और JavaScript जैसी कई भाषाओं को प्रभावित किया
  • F# asynchronous programming को callbacks के बिना भी सहज रूप से implement करने की संरचना देता है
  • code flow पढ़ने में synchronous जैसा लगता है, लेकिन वास्तव में asynchronous रूप से चलता है

• Microsoft का निवेश और भाषा का विकास

  • लंबे समय तक Microsoft ने F# के लिए सीमित manpower आवंटित की थी, लेकिन 2022 में Prague में dedicated team बनाकर गंभीर निवेश शुरू किया
  • F# 8.0 और 9.0 releases के जरिए language और tooling तेज़ी से बेहतर हो रहे हैं
  • Microsoft के अंदर बढ़ती रुचि के साथ भविष्य में आगे विकास की संभावना भी दिखती है

F# एक ऐसी practical language है जिसे सीखना आसान है, जिसमें शक्तिशाली type system और functional programming paradigm दोनों हैं, और खासकर उन developers के लिए बहुत आकर्षक विकल्प है जो .NET आधारित projects में functional approach लाना चाहते हैं

ecosystem

• अपेक्षाकृत कम समय तक इस्तेमाल करने के अनुभव से देखें तो शुद्ध F#-only libraries या frameworks बहुत ज़्यादा नहीं हैं
• ज़्यादातर उपयोगकर्ता .NET के base API और C#-केंद्रित third-party libraries पर निर्भर रहते हैं
• Scala, Clojure, Groovy जैसी hosted languages में यह एक आम स्थिति है

• web development के लिए प्रमुख libraries

  • Giraffe: ASP.NET Core आधारित हल्का web framework, जो functional style को अपनाता है
  • Suave: routing और task composition के लिए combinator style का सरल web server framework
  • Saturn: Giraffe के ऊपर बना MVC-style framework, जिसे Ruby on Rails और Phoenix से प्रेरणा मिली है
  • Bolero: WebAssembly और Blazor आधारित client application development framework
  • Fable: F# को JavaScript में transpile करके React, Node.js जैसे JS ecosystem के साथ integration संभव बनाता है
  • Elmish: Fable के साथ अक्सर इस्तेमाल होने वाला MVU(Model-View-Update) pattern आधारित UI framework
  • SAFE Stack: Saturn, Fable, Elmish, Azure आदि को मिलाकर बना end-to-end functional web development stack

• data science के लिए प्रमुख libraries

  • Deedle: pandas-style data analysis और manipulation library
  • DiffSharp: machine learning और automatic differentiation सुविधाएँ देने वाली mathematics-focused library
  • FsLab: visualization, statistical analysis tools आदि को शामिल करने वाला integrated data science toolkit

documentation की स्थिति

• आधिकारिक documentation कुल मिलाकर अच्छी तरह व्यवस्थित और high quality की है
• इसका कुछ हिस्सा Microsoft Docs में है, और कुछ F# Software Foundation में बँटा हुआ है
• documentation की संरचना थोड़ी बिखरी हुई लग सकती है, लेकिन language style guide, design documents, standard library API बहुत उपयोगी हैं

• सुझाए गए documentation links

  • F# style guide
  • F# design (RFC documents collection)
  • F# standard library API documentation

• community learning resources

  • F# for Fun and Profit: tutorials और essays का संग्रह (काफ़ी पुराना है, लेकिन अब भी उपयोगी है)

development tools (Dev Tooling)

• पहले F# का development tooling ecosystem मुख्य रूप से सिर्फ Visual Studio के लिए optimized था, और बाकी editors के लिए समर्थन कमज़ोर था
• अच्छी बात यह है कि पिछले 10 सालों में tooling environment काफ़ी बेहतर हुआ है

• तकनीकी turning point: FSharp.Compiler.Service(FCS)

  • FCS एक single library है जिसमें F# compiler, editor support features, और scripting engine शामिल हैं, और यह अलग-अलग editors और tooling environments में F# को संभव बनाती है
  • इसकी वजह से VS Code, documentation generators, alternative backends आदि में F# support संभव हुआ और ecosystem का विस्तार हुआ
  • उदाहरण के तौर पर Ionide VS Code में समृद्ध F# support देता है, और 1 million से अधिक downloads दर्ज कर चुका है

• परीक्षण किए गए editors

  • Emacs (fsharp-mode): बुनियादी सुविधाएँ देता है, TreeSitter support नहीं, development activity कम
  • Zed: F# support सीमित है
  • Helix: basic support मौजूद है
  • VS Code (Ionide plugin): सबसे परिपक्व environments में से एक
  • JetBrains Rider: commercial IDE है, लेकिन F# support बहुत मज़बूत है

  ज़्यादातर सुविधाएँ F# language server(fsautocomplete) पर आधारित काम करती हैं, इसलिए अच्छे LSP support वाले सभी editors इस्तेमाल किए जा सकते हैं

• कमियाँ

  • fsharp-mode पुरानी codebase पर आधारित है और इसकी प्रगति धीमी है
  • Zed में features की कमी है
  • VS Code में कुछ features (जैसे selection expand/shrink) ठीक से काम नहीं करते
  • keybinding/modal model की वजह से कुछ उपयोगकर्ताओं को VS Code असुविधाजनक लग सकता है

• code formatter और linter

  • Fantomas: F# का आधिकारिक code formatter, जिसे अधिकांश users और teams इस्तेमाल करते हैं
  • FSharpLint: कभी लोकप्रिय था, लेकिन अब लगभग बंद हो चुका है
  • हालांकि शक्तिशाली compiler की वजह से linter पर निर्भरता कम रहती है

• अन्य tools

  • Paket: .NET के लिए dependency manager (npm, pip, bundler जैसा)
  • FAKE: F# में build scripts लिखने के लिए DSL, Ruby के rake जैसा

use cases

• .NET के व्यापक ecosystem की वजह से F# में कई तरह के उपयोग की संभावना है
• खासकर type providers feature की वजह से यह data analysis और manipulation के लिए बहुत उपयुक्त है
• backend services, full-stack application development के लिए भी यह ठीक है, और कुछ tools frontend development तक संभव बनाते हैं

• प्रमुख उपयोग क्षेत्र

  • data analysis: F# के type providers की मदद से static typing आधारित data manipulation संभव
  • backend services: .NET के शक्तिशाली web frameworks के साथ F# का उपयोग
  • frontend apps: Fable और Elmish के जरिए JS ecosystem के साथ integrated UI development संभव
    • Fable 4 से TypeScript, Rust, Python जैसी कई भाषाओं में भी transpile किया जा सकता है

• Fable example (सरल transpile command)

  • JavaScript:
    dotnet fable
  • TypeScript:
    dotnet fable --lang typescript
  • Python:
    dotnet fable --lang python

community की स्थिति

• कुल मिलाकर community बड़ी नहीं है और यह OCaml से भी छोटी हो सकती है
• Reddit और Discord सबसे सक्रिय communication spaces हैं
• Slack community भी मौजूद है, लेकिन invite automation system की समस्या के कारण पहुँचना मुश्किल है
• community में Microsoft की भूमिका स्पष्ट नहीं है, और community-driven चरित्र अधिक मज़बूत है

• community द्वारा संचालित प्रमुख resources

  • Amplifying F#: F# के प्रसार और enterprise participation को बढ़ावा
  • F# for Fun and Profit: tutorials और essays का archive
  • F# Lab: data science के लिए F# community toolkit
  • F# Weekly: F# की ताज़ा ख़बरों का newsletter

लोकप्रियता और वास्तविकता (The Popularity Contest)

• F# ज़्यादातर popularity indicators (TIOBE, StackOverflow, job postings आदि) में ऊँची rank पर नहीं है
• लेकिन यह अधिकतर functional languages की सामान्य वास्तविकता भी है, सिर्फ F# की समस्या नहीं
• यह अब भी mainstream नहीं है, लेकिन Clojure, OCaml, Emacs Lisp जैसी दूसरी functional languages के समान स्तर का user base रखती है

• F# क्यों इस्तेमाल करें?

  • सिर्फ नौकरी की संभावनाओं से परे भी programming language चुनने के कई कारण होते हैं
    • मज़े के लिए (कहा भी जाता है कि F# का F “Fun” है)
    • नए paradigms और ideas सीखने के लिए
    • परिचित सोच से बाहर निकलकर अलग तरह से सोचना सीखने के लिए

• संबंधित सामग्री

  • F# की लोकप्रियता की स्थिति पर लेख
  • 2024 के आधार पर F# की लोकप्रियता का विश्लेषण
    • उस लेख का video version भी देखा जा सकता है

F# vs OCaml तुलना

F# का शुरुआती उद्देश्य OCaml के लाभों को .NET में, और .NET के लाभों को OCaml में लाना था
– Don Syme, F# के निर्माता

• F# को OCaml से प्रेरित होकर विकसित किया गया था, और शुरुआती दौर में यह इतना समान था कि .ml, .mli file extensions तक support करता था
• समय के साथ यह एक स्वतंत्र भाषा के रूप में विकसित हुई, और अब दोनों अपनी-अपनी दिशा में आगे बढ़ रही हैं

• F# के फायदे

  • .NET platform आधारित
    • बहुत बड़ी संख्या में libraries उपलब्ध
  • Microsoft का समर्थन
  • beginner-friendly
    • object-oriented languages (जैसे C#) का अनुभव रखने वालों के लिए परिचित syntax
    • compiler error messages अपेक्षाकृत स्पष्ट हैं
    • debugging experience अधिक सहज है
  • asynchronous programming support बहुत मज़बूत है
  • ऐसी सुविधाएँ देता है जो OCaml में नहीं हैं
    • anonymous records
    • active patterns
    • computational expressions
    • sequence comprehensions
    • type providers
    • units of measure

• F# की कमियाँ

  • .NET platform आधारित
    • language design में .NET interoperability के लिए कई समझौते हैं (null की अनुमति आदि)
  • Microsoft का स्वामित्व
    • Microsoft के प्रति पसंद-नापसंद का अंतर असर डाल सकता है
    • F# के लिए अपेक्षाकृत कम resources आवंटित हुए हैं
    • लंबे समय में MS F# को कितना support देगा, यह अनिश्चित है
  • नाम से जुड़ी समस्याएँ
    • PascalCase, camelCase naming conventions पसंद न करने वालों को यह असुविधाजनक लग सकता है
    • F# नाम search या file names में समस्या पैदा कर सकता है (इसीलिए इसे अक्सर FSharp भी लिखा जाता है)
  • OCaml की कुछ advanced features का अभाव
    • first-class modules, functors
    • GADT support सीमित
  • कोई mascot नहीं, और ऊँट भी नहीं

• समानताएँ और तुलना

  • दोनों भाषाएँ JavaScript runtime को target कर सकती हैं
    • F#: Fable
    • OCaml: js_of_ocaml, Melange
  • फिलहाल Fable अधिक परिपक्व लगता है, हालांकि वास्तविक उपयोग का और अनुभव चाहिए
  • दोनों ही शक्तिशाली लेकिन niche languages हैं, और निकट भविष्य में इनके व्यापक जनभाषा बनने की संभावना कम है
  • F# में मौजूदा C# codebase में धीरे-धीरे घुलने-मिलने की व्यावहारिक क्षमता है
  • एक कमी यह है कि F# projects अब भी XML-आधारित project files इस्तेमाल करते हैं, और compile order हाथ से तय करना पड़ता है
    • यह OCaml के build system Dune की तुलना में झंझट वाला लग सकता है
  • शैक्षणिक उद्देश्य या language structure सीखने के लिए OCaml अधिक उपयुक्त हो सकता है
  • practical web services या backend development के लिए F# बेहतर विकल्प हो सकता है
  • खासकर .NET के साथ अच्छी integration बनाए रखते हुए functional style को कायम रखने वाली भाषा के रूप में F# बहुत शक्तिशाली tool है

अंतिम टिप्पणी

• लेखक को F# उम्मीद से कहीं अधिक मज़ेदार और practical language लगी
  • उन्होंने कहा कि यह अनुभव कुछ वैसा था जैसा पहली बार Clojure से मिलने पर हुआ था
  • खासकर यह याद दिलाता है कि Java के साथ शानदार interoperability की वजह से Clojure सबसे practical Lisp था
• अगर .NET शुरू से open source और portable होता,
  • तो ClojureCLR शायद आज से ज़्यादा लोकप्रिय होता
  • और F# की community और ecosystem भी ज़्यादा बढ़े होते
• यह बात भी कि F# 2010 तक open source नहीं था, शुरुआती adoption में बाधा बनी

".NET और F# दोनों का शुरुआती समय में open source न होना सबसे बड़ी गलती थी, और इससे बहुत से अवसर खो गए" – Don Syme

• OCaml सीखना भी मुश्किल नहीं है, लेकिन जो लोग पहली बार ML-परिवार की भाषा सीख रहे हैं, उनके लिए F# अधिक आसान हो सकती है
  • production तक पहुँचने की entry barrier भी कम है
• खासकर .NET अनुभव वाले developers के लिए F# को ज़रूर आज़माना चाहिए
  • F# अपने-आप में बेहतरीन भाषा होने के साथ-साथ .NET के शक्तिशाली ecosystem का लाभ उठाने का अवसर भी देती है
• Fable जैसे tools के जरिए F# code को JavaScript, Dart, Rust, Python आदि में transpile किया जा सकता है
• F# community में एक कहावत है: "F# का F यानी Fun"
  • लेखक ने भी खुद इस्तेमाल करके इसे सच पाया, और ज़ोर दिया कि यह सिर्फ मज़ेदार ही नहीं, बल्कि practical भी है
• अंत में यह भी कहा गया कि "अगर compile हो गया, तो ज़्यादातर चीज़ें ठीक चलती हैं", जो F# की stability और reliability को दिखाता है

In sane type systems we trust!

[GN⁺]

Hacker News राय

• Ruby on Rails ऐप को दोबारा लिखते समय F# सबसे अच्छी functional language थी

  • Haskell, Ocaml, Scala, F# पर विचार किया गया था
  • Microsoft टेक्नोलॉजीज़ से परिचित नहीं थे, फिर भी F# पहली पसंद बनी
  • Haskell को उसकी purity की वजह से अपनाना मुश्किल था, और Ocaml का ecosystem कमज़ोर था
  • Scala काफ़ी जटिल लग रही थी
  • F# के साथ शुरुआत करना आसान था, और community दोस्ताना, समझदार और मदद के लिए तैयार थी
  • dotnet libraries तक पहुँच के साथ एक शानदार ecosystem है
  • FsHttp जैसी बेहतरीन libraries और frameworks हैं, जिनसे HTTP server के साथ आसानी से इंटरैक्ट किया जा सकता है
  • WebSharper पूरे ecosystem में सबसे बेहतरीन web framework था
  • tooling सबसे बेहतरीन स्थिति में नहीं है, लेकिन भाषा के लिए जुनून काफ़ी है

• F# आज़माया, लेकिन .NET ecosystem में नए थे

  • hello world के लिए इतने सारे project files और boilerplate बनते देख कर हैरानी हुई
  • FP, immutability और modern languages का समर्थन करते हैं, लेकिन jobs कम हैं
  • ऐसी languages को प्राथमिकता देने की प्रवृत्ति है जिन्हें AI के साथ आसानी से इस्तेमाल किया जा सके
  • भारत में स्थिति और खराब थी, लेकिन EU में Java/TypeScript के साथ टिकाऊ जीवनयापन किया जा सकता है
  • Kotlin + TypeScript के साथ अच्छी तनख्वाह वाली नौकरी ढूँढना मुश्किल है

• हमारी कंपनी ने 6 साल पहले C# से F# पर स्विच किया था

  • C-style languages से स्विच करना मुश्किल है, लेकिन इसके लायक है
  • compilation speed धीमी है और hot reload सपोर्ट नहीं है
  • इसे पेशेवर रूप से इस्तेमाल करने के मौके कम हैं
  • developers को hire करना मुश्किल हो सकता है

• F# का adoption रुकने का कारण खराब build system है

  • Rust एक शानदार language है, लेकिन कई problem domains के लिए उपयुक्त नहीं है
  • Rust चुनने की वजह build system है
  • non-profit foundation और कई कंपनियों के समर्थन वाली languages में भी अब तक खराब build systems हैं

• 2013 में F# सीखी थी और बहुत मज़ा आया था

  • user experience अच्छा नहीं था
  • naming conventions, function call style, basic syntax, type system features और IDE support में समस्याएँ थीं
  • Scala पर स्विच किया, और F# की तुलना में वह ज़्यादा consistent लगी
  • F# पहली functional language थी, और इसने programming को देखने का नज़रिया बदल दिया

• F# उन दुर्लभ मामलों में से है जहाँ लगभग सभी users बहुत संतुष्ट हैं

  • .NET ecosystem से परिचित होने के कारण इसे सीखना आसान लग रहा है
  • यह जानने की जिज्ञासा है कि किन workflows को इससे सबसे ज़्यादा फ़ायदा हो सकता है

• C# में F# की कई features आने से F# के फ़ायदे कम होते जा रहे हैं

  • C# code को ज़्यादातर functional style में लिखते हैं, लेकिन libraries को उनके मूल तरीके से इस्तेमाल कर पाने का फ़ायदा है

• F# में पूरी तरह लिखा गया एक profitable SaaS मौजूद है

  • 3dpack.ing
  • F# में लिखा गया एक Rust ray tracer, जो WebAssembly में compile होता है
  • fable-raytracer

• F# एक शानदार language है

  • अगर इसकी एक लाइन भी न लिखें, तब भी यह एक बेहतरीन example language है
  • fsharpforfunandprofit.com का अक्सर संदर्भ लेते हैं

• F# खूबसूरत है, लेकिन इसे धाराप्रवाह इस्तेमाल करना मुश्किल लगा

  • C# थोड़ा-बहुत ही जानते थे, इसलिए F# के object-oriented तरीकों को समझना मुश्किल था
  • Clojure और Scala में भी यही समस्या आई
  • पहले C# या Java सीखना नहीं चाहते