הצגת המקור של הדף "F sharp"

{{עריכה|נושא=מחשוב|נושא2=מדעי הרוח|כל הערך=כן}}
{{שפת תכנות
| שם = F#
| סמל = קובץ:Fsharp logo.png
| כיתוב סמל =
| פרדיגמות = [[תכנות פונקציונלי]], [[תכנות מונחה עצמים]], [[עיבוד מקבילי]]
| מפתח = Microsoft, The F# Software Foundation
| גרסה אחרונה = 5.0
| תאריך גרסה אחרונה = 10 בנובמבר 2020
| טיפוסיות = סטטית, חזקה, מוסקת (inferred)
| הושפעה על ידי = [[סי שארפ|C#]], {{כ}}[[Haskell]],{{כ}} [[ML]],{{כ}} [[Python]]{{כ}} [[Scala]],{{כ}} [[Erlang]],{{כ}} [[Ocaml]]
| השפיעה על = [[ סי שארפ | C#]] ,{{כ}} [[Elm]],{{כ}} [[F*]],{{כ}} [[LiveScript]]
| רישיון = רישיון MIT
| סיומת = .fs{{ש}}.fsi{{ש}}.fsx{{ש}}.fsscript
}}
'''{{משמאל לימין|F#}}''', מבוטא '''אֵף שַׁארְפּ''' היא [[שפת תכנות]] כללית שנוצרה על ידי הארגון  ה-F# Software Foundation, חברת התוכנה [[מיקרוסופט]] ותורמים עצמאיים. #F  נחשפה בשנת 2005 ומשלבת [[תכנות פונקציונלי]], אימפרטיבי ו[[תכנות מונחה-עצמים|מונחה עצמים]]. זו שפה תכנות [[חוצה-פלטפורמות|חוצה פלטפורמות]] בסביבת ה [[.NET Core|NET Core.]], אך היא יכולה גם לייצר קוד [[JavaScript]] לשימוש  דפדפני [[אינטרנט]] ולייצר קוד ל[[מעבד גרפי|מעבדים גרפיים.]] ה-F# Software Foundation פיתח לשפה [[מהדר]] [[חוצה פלטפורמות]] תחת רישיון [[קוד פתוח]]. 

<nowiki>#</nowiki>F נתמכת בסביבות הפיתוח המשולבות [[ויז'ואל סטודיו|Visual Studio]] של מיקרוסופט ו [[JetBrains Rider]], של [[JetBrains]]. ישנם תוספים לסביבות פיתוח אחרות, ביניהם  [https://ionide.io/ lonide], ההופך את סביבת הפיתוח ה-VSCode לסביבת פיתוח מלאה עבור #F. ישנם גם תוספים לסביבות פיתוח מסורתיות כמו [[Vim]] ו- [[Emacs]].  

<nowiki>#</nowiki>F שייכת למשפחת שפות [[ML (שפת תכנות)|ML]].  היא החלה את דרכה כמימוש של העקרונות המרכזיים של שפת OCaml והושפעה משפות [[סי שארפ|C#]], [[פייתון]], [[Haskell]], [[סקאלה (שפת תכנות)|Scala]] ו-[[Erlang]].

== היסטוריה ==
=== היסטורית גרסאות ===
{| class="wikitable"
!גרסה
!ספסיפקציות הגרסה
!תאריך פרסום הגרסה
!פלטפורמות
!סביבות הריצה
|-
|F# 1.x
|
|מאי 2005
|[[Microsoft Windows|Windows]]
|.NET 1.0 - 3.5
|-
|F# 2.0
|אוגוסט 2010
|אפריל 2010
|[[לינוקס|Linux]], [[macOS]], Windows
|.NET 2.0 - 4.0, Mono
|-
|F# 3.0
|נובמבר 2012
|אוגוסט 2012
|Linux, macOS, Windows;
JavaScript, GPU
|.NET 2.0 - 4.5, Mono
|-
|F# 3.1
|נובמבר 2013
|אוקטובר 2013
|Linux, macOS, Windows;
JavaScript, GPU
|.NET 2.0 - 4.5, Mono
|-
|F# 4.0
|ינואר 2016
|יולי 2015
|
|
|-
|F# 4.1
|
|מרץ 2017
|Linux, macOS, Windows,
JavaScript, GPU
|.NET 3.5 - 4.6.2, .NET Core, Mono
|-
|F# 4.5
|
|אוגוסט 2018
|Linux, macOS, Windows,
JavaScript, GPU
|.NET 4.5 - 4.7.2, .NET Core SDK 2.1.400
|-
|F# 4.7
|
|ספטמבר 2019
|
|
|-
|F# 5.0
|
|נובמבר 2020
|Linux, macOS, Windows,
JavaScript, GPU
|.NET Core SDK 5.0.100
|}

=== אבולוציית השפה ===
<nowiki>#</nowiki>F משתמשת בפיתוח והנדסת תוכנה פתוחה. אבולוציית השפה מנוהלת על ידי מדען המחשב דון סיים (Don Syme) מתאגיד [[מיקרוסופט]], יחד עם F# Software Foundation. גרסאות מוקדמות של השפה עוצבו על ידי מיקרוסופט, וחטיבת החקר של מיקרוסופט ( Microsoft Research, {{אנ|Microsoft Research}}) בסביבת פיתוח סגורה.

פיתוח #F החל בחטיבת החקר של מיקרוסופט, ב[[קיימברידג']], [[הממלכה המאוחדת|בריטניה]]. השפה במקורה תוכננה ומומשה על די דון סיים. שמה של #F, לפי צוות הפיתוח של #F, נגזר מהאות F, המייצגת את המילה Fun. בגרסה 1.0, הוספו פיצ'רים רבים בסיסיים, כגון תמיכה ב[[תכנות פונקציונלי]], אימפרטיבי ו[[תכנות מונחה-עצמים|מונחה עצמים]], structs, [[מבנה נתונים|מבני נתונים]] מסוג tuple, מודולים ומודולים מקוננים וכו'. בגרסה 3.0 הוספה תמיכה בספריית [[Language Integrated Query|LINQ]], אשר מאפשרת לכתוב קוד דקלרטיבי דמוי [[SQL]] ב-#F. ספריה זו זמינה גם ב-#C מגרסה 3.0 וכן ב- [[ויז'ואל בייסיק|Visual Basic]].

כלי הפיתוח של #Visual F עבור [[ויז'ואל סטודיו]], [[סביבת פיתוח משולבת]] מבית מיקרוסופט, מפותחים גם הם על ידי מיקרוסופט. בנוסף, הארגון F# Software Foundation פיתח מהדרים בעלי [[קוד פתוח]], וכלים אשר משתלבים עם מהדרי הקוד הפתוח שיצרה מיקרוסופט.

== סקירת השפה ==
=== תכנות פונקציונלי ===
<nowiki>#</nowiki>F היא שפת תכנות פונקציונלית אשר משתמשת בטכניקת הסקת [[מערכת טיפוסים|טיפוסים]] (type inference), כלומר, [[מתכנת]] בשפה לא צריך להגדיר את טיפוסי הנתונים ( int, string וכדומה) - המהדר יסיק זאת לבד במהלך ההידור. #F מאפשרת גם הגדרת טיפוסים באופן ישיר על ידי המתכנת, ואף דורשת שימוש בכך במצבים מסוימים.

<nowiki>#</nowiki>F היא שפה מבוססת ביטויים אשר משתמשת בעיקר בטכניקת פישוט הביטויים הנפוצה eager [[:en:Evaluation_strategy|evaluation]], שלפיה ביטוי יפושט כאשר ברגע שהוא מקושר למשתנה, וכן בטכניקת- lazy evaulation במקרים מסוימים, שלפיה ביטוי יפושט רק כאשר נעשה בו שימוש.



על מנת ליצור משתנה ב F# ולבצע לו [[פקודת השמה|השמה]] לערך, ניתן להשתמש במילה השמורה <code>let</code>. לדוגמה, הביטוי <syntaxhighlight lang="f#">
let y = 6 + 3
</syntaxhighlight>מבצע השמה לביטוי <code>6+3</code>, אשר מפושט ל- <math>9</math>, למשתנה <code>y</code> .

בנוסף, F# מאפשר שימוש ב sequence expressions, אשר מגדירים sequence, בתחביר <code>seq { ... }</code>, רשימה, בתחביר <code>[ ... ]</code>, ומערך, בתחביר <code>[| ... |]</code>, בתוך קוד אשר מייצר ערכים. לדוגמה: <syntaxhighlight lang="f#">
 seq { for b in 0 .. 25 do
 if b < 15 then
 yield b*b }
</syntaxhighlight>קטע קוד זה מצרף ל-sequence מספרים בין 0 ל-15, בתוך התחום 0 עד 25 . שימוש ב-sequence expressions הוא [[מקרה פרטי]] של עקרון הנקרא computation expressions.

=== [[תכנות אימפרטיבי]] ===
<nowiki>#</nowiki>F תומכת גם ברכיבים רבים אשר מאפיינים תכנות פקודתי (imperative programming) שביניהם:
* [[לולאה (תכנות)|לולאות]] for
* לולאות while
* [[מערך (מבנה נתונים)|מערכים]], אשר נוצרים באמצעות התחביר <code>[| ... |]</code>.
* מבנה נתונים מסוג מילון, ( [[טבלת גיבוב|Hash Table]] ), באמצעות התחביר <code>dict [ ... ]</code> או באמצעות הטיפוס <code>System.Collections.Generic.Dictionary<_,_></code> .

יתר על כן, ניתן לסמן ערכים ושדות מסוג record ככאלו אשר יכולים להשתנות, ולא רק קבועים, באמצעות המילה השמורה <code>mutable.</code>לדוגמה:<syntaxhighlight lang="f#">
// Define 'x' with initial value '1'
let mutable x = 1
// Change the value of 'x' to '3'
x <- 3
</syntaxhighlight>

=== [[תכנות מונחה-עצמים|תכנות מונחה עצמים]] ===
* סימון של נקודה, על מנת למשל לגשת לתכונות ופעולות מתוך אובייקט או מתוך מחלקה, או לגשת למחלקה או אוסף מחלקות מתוך ספרייה מיובאת. לדוגמה: <code>x.Name</code>
* ביטויי אובייקטים, לדוגמה: <code>{ new obj() with member x.ToString() = "hello" }</code>
* בניית אובייקטים באמצעות המילה השמורה new. לדוגמה: <code>()new Form</code>
* בחינת טיפוסים, לדוגמה: <code>x :? string</code> בוחן האם x הוא מהטיפוס מחרוזת (string) .
* המרה בין סוגי נתונים (type coercions) . לדוגמה: <code>x :?> string</code>
* קבלת פרמטרים בעלי שמות: (Named Arguments), לדוגמה: ., <code>(x.Method(someArgument=1</code>
* אתחול תכונות בשמותיהן בפעולה בונה: <code>("new Form(Text="Hello</code>
* פרמטרים אופציונליים: לדוגמה, <code>(x.Method(OptionalArgument=1</code>

הגדרות סוג אובייקט ב F# יכולות להיות מחלקה, struct, interface, enum, ו- delegate . דוגמה להגדרה של סוג אובייקט פשוט המייצג אדם ( Person ) :<syntaxhighlight lang="f#">
/// A simple object type definition
type Person(name : string, age : int) =
 member x.Name = name
 member x.Age = age
</syntaxhighlight>

== קהילת קוד פתוח ==
{{להשלים|נושא=מחשוב|נושא2=מדעי הרוח}}
קהילת הקוד הפתוח של #F כוללת את הארגון F# Software Foundation, ואת Open Source Group ב-[[GitHub]]. פרויקטים בעלי קוד פתוח פופולריים ב-#F:

* Fable, an F# to Javascript transpiler based on Babel.
* Paket, an alternative package manager for .NET that can still use NuGet repositories, but has centralised version-management.
* FAKE, an F# friendly build-system.
* Giraffe, a functionally oriented middleware for [[ASP.NET]] Core.
* Suave, a lightweight web-server and web-development library.

== ראו גם ==
* [[מיקרוסופט]]
* [[סי שארפ|C#]]
* [[Language Integrated Query|LINQ]]

== קישורים חיצוניים ==
{{ויקישיתוף בשורה}}
* {{אתר רשמי}}
* [https://docs.microsoft.com/en-us/dotnet/csharp/programming-guide/concepts/linq/features-that-support-linq ספריית LINQ, באתר הרשמי של מיקרוסופט.]


[[קטגוריה:תוכנה חוצת פלטפורמות]]
[[קטגוריה:שפות תכנות פונקציונליות]]
[[קטגוריה:.NET]]