F# 2.0 uvolněn pod open-source licencí

Zdrojový kód kompilátoru jazyka F# 2.0 i s knihovnou byl uvolněn pod licencí Apache 2.0.

5.11.2010 15:13 | Radek Miček | Zajímavý software

Komentáře

[bohyn]

Timhle stylem pojmenovavani brzo dojde abeceda. Co budou delat autori jazyku potom? :)

[Jan Drábek]

Už došla http://en.wikipedia.org/wiki/List_of_programming_languages

[Amarok]

Ne úplně. Jsou volné ještě A, H, N, O, P, U, V, W a X. Tak hurá na ně...

[Preston Pigglesworth]

APL = A Programming language

[jsemradek]

nejak tam nemuzu najit muj oblibeny programovaci jazyk brainfuck :(

[kralyk z abclinuxu]

Note: This page does not list esoteric programming languages.

[Amarok]

Nedojde, bude následovat F#++, pak F$, F$++, a až potom G jako Gates Jinak o tomhle jazyku jsem nikdy ani neslyšel, čili to bude dost minoritní jazyk, takový pokus od M$ vynalézt znovu kolo.

[pozortucnak]

A o Ocaml jste slyšel? Co jsem tak pochytil tak ten F# není nic až tak převratného...

[Amarok]

O Ocaml taky ne, je to v nějaké oblasti trochu víc rozšířeno?

Ale nechtěl jsem tím říct, že mám velký přehled, jen teda aspoň ty nejdůležitější znám minimálně podle názvu. A nepohybuju se vůbec v oblasti .NET, čili kdo s tím něco dělá, tak o F# určitě už mohl slyšet.

[Radek Miček]

je to v nějaké oblasti trochu víc rozšířeno?

V jazycích z rodiny ML bylo napsáno mnoho dokazovačů (ostatně jazyk ML vznikl kvůli dokazovači LCF – od toho název metalanguage). Například interaktivní dokazovač Coq je napsán v OCamlu.

V dnešní době lze v OCamlu programovat v podstatě cokoliv od webových aplikací (Ocsigen, PGOcaml, ocamljs) až po aplikace obchodující na burze (viz Jane Street Capital).

[podlesh]

Rozšířeno až tak ne, ale je v něm jedna "killer aplikace": unison (takový "obousměrný rsync")

[Martin Petr]

A to jsi jako nějaké měřítko nebo co? Trapas.

[kralyk z abclinuxu]

Nedojde, bude následovat F#++, pak F$, F$++

Po F# vyvinou G♭, ale zjistí, že vyvinuli úplně to stejné...

[vencas]

LOL

[Marek Bernát]

[hydrandt]

Tak to mě rozsekalo :D

[nikdo]

Pouze v rovnoměrně temperovaném ladění.

[Jiří Svoboda]

Někteří se možná chechtají, aniž vědí, že název jazyka C# je opravdu odkazem na hudební stupnici.

Stejně jako je C -> C++ vyjádřením povýšení jazyka, tak je vyjádřením povýšení i C -> Cis (jak by se mělo C# správně číst).

[Marek Bernát]

To je asi každému jasné. Veď čo iné by to mohlo byť? Shellový komentár v zmysle "po C potopa"? C-čkovský preprocesor?

[Amarok]

Tak zrovna mě tohle nepřipadalo jako správné vysvětlení. Říkal jsem si, že programátoři by určitě nemíchali název jazyka s hudební stupnicí. Spíš jsem uvažoval o tom, že # vypadá jako 4 znaménka +. A jelikož neexistuje znak se třemi plus a zápis C+++ vypadá blbě, tak zvolili C#.

[Amarok]

Mimochodem tuhle mojí teorii podporuje fakt, že jazyk F# není odvozen od jazyka F. F vzniklo jako roršíření Fortranu, F# ale nikoliv. Nakolik si ale F# vypůjčilo z F (a jestli vůbec), to nedovedu posoudit, detailně jsem na ty jazyky ještě nekoukal (a asi ani nebudu :))

[Marek Bernát]

Moja interpretácia F# je, že vzniklo zo C# (nie ako jazyk ale platforma, tj. .NET) a F znamená funkcionálny

[Amarok]

A proc teda F#? Protoze F uz bylo obsazeno? V tom by taky nebyla logika, bylo by to michani jablek s hruskama.

[Marek Bernát]

F# preto, že dnes už má # aj ďalší význam: CLI jazyk. Viď jazyky A#, J#, L#, P# a možno aj nejaké ďalšie.

[pozortucnak]

F# je pokud je mi známo odvozen od jazyka OCaml...

Takže chlápci z mrkvosoftu pouze napsali kompilátor OCaml pro platformu .NET Framework

http://www.lupa.cz/zpravicky/microsoft-pripravuje-novy-programovaci-jazyk-f/235310/vlakno/#o235310

[Marek Bernát]

To je trochu moc zjednodušené, ale v zásade by sa to tak asi dalo povedať.

[Marek Bernát]

Keď môžu hudobnú notáciu používať matematici a fyzici (ako izomorfizmus TM a T*M pre Riemannovskú varietu M), tak prečo nie programátori?

[kralyk z abclinuxu]

Tak zrovna mě tohle nepřipadalo jako správné vysvětlení.

Ale je to tak. Čte se to "C-Sharp", což znamená česky doslova "Cis". Viz wiki případně slovník.

[deda.jabko]

F# me zatim nicim nezaujal... jedine co se mi tak libi, ze ma kompletni napojeni na .NET... z cehoz plyne neprijemna zavislost prekladace na CLR a podobnych vecech.

[Koroptev]

Taky z toho plyne zavislost na stejne VM (a GC), na kterem je zavisla vlajkova lod MS C#, cili tu nekdo po Xte nedela a nenabizi k duvere (minim vykonove, elegantni standard jazyka je hezka vec, hmatatelna implementace s prijemnymi vlastnostmi - treba skalovatelnost ve vztahu k multicore - druha - viz napr. umisteni Pythonu 3 v shootoutu) to same, ale existuje urcita zaruka, ze to bude (a nektere dostupne materialy to naznacuji) podobne dobre. Stejny argument lze samozrejme pouzit pro nejake novejsi funkcionalni jazyky, ktere bezi na JVM, v tom pripade doporucuji shlednout dostupna srovnani, mne pro F# vyznivaji priznive.

[YYY]

Uz se tesim, az bude vydan brainfuck# ... :D

[Šangala]

Ook! je našemu druhu přirozenější formou. :)

[Saljack]

To už mi ten brainfuck přijde mnohem lepší .

[Koroptev]

Vypada to jako fajn jazyk a fakt, ze za nim stoji MS, a ze ho tlaci i prostrednictvim nejnovejsiho VS, dava nadeji, ze mozna v nedaleke budoucnosti budeme moci ve vetsi mire pouzivat a mozek namisto tech dnesnich boilerplate & "1 true object paradigm to rule them all" shitu.