OCaml a jeho výhody

MicrosoftiPoskok666

OCaml a jeho výhody
« kdy: 23. 05. 2016, 08:49:48 »
Zdravím,
chtěl jsem se zeptat, k čemu se primárně používá OCaml a používá se vůbec? Když jsem koukal do žebříčků jazyků, tak jakoby se po něm slehla zem, místo něho jsem našel akorát Haskell a Scalu a u Clojure si nejsem jistý.


Re:OCaml a jeho výhody
« Odpověď #1 kdy: 23. 05. 2016, 08:56:02 »

pavels

Re:OCaml a jeho výhody
« Odpověď #2 kdy: 23. 05. 2016, 10:21:49 »
Stejně tak by mě zajímalo, jak je na tom TCL (hovorově Tykl). Používá se ještě?

Kit

Re:OCaml a jeho výhody
« Odpověď #3 kdy: 23. 05. 2016, 10:43:49 »
Stejně tak by mě zajímalo, jak je na tom TCL (hovorově Tykl). Používá se ještě?

Založ si na to vlastní vlákno a možná se o něm i něco dozvíš.

pavels

Re:OCaml a jeho výhody
« Odpověď #4 kdy: 23. 05. 2016, 11:50:57 »
Stejně tak by mě zajímalo, jak je na tom TCL (hovorově Tykl). Používá se ještě?

Založ si na to vlastní vlákno a možná se o něm i něco dozvíš.

Proč? Je tu naprosto běžné, že diskuze na rootu odbíhají od původního dotazu.



MicrosoftiPoskok666

Re:OCaml a jeho výhody
« Odpověď #5 kdy: 23. 05. 2016, 13:17:36 »
https://facebook.github.io/reason/index.html

Děkuji za odkaz, pročetl jsem si ho, avšak moc odpovědí jsem tam nenašel třeba něco jako ve stylu "Why use Reason?", nemluvím o tom, že je to mírně upravený OCaml i když plně kompatibilní.
Každopádně děkuji za aspoň jedinou smysluplnou odpověď.

mimi

Re:OCaml a jeho výhody
« Odpověď #6 kdy: 23. 05. 2016, 13:50:04 »

skacr

Re:OCaml a jeho výhody
« Odpověď #7 kdy: 23. 05. 2016, 16:05:37 »
Stejně tak by mě zajímalo, jak je na tom TCL (hovorově Tykl). Používá se ještě?

Napriklad F5 ho stale pouziva v "application delivery" zariadeniach na pisanie pravidiel a manipulaciu s trafficom.

Re:OCaml a jeho výhody
« Odpověď #8 kdy: 23. 05. 2016, 19:47:58 »
https://blogs.janestreet.com/category/ocaml/
Jane Street, Facebook ... ho používají -- jinak hodně si z něho vzal Rust.

Tohle je docela zajímavý: http://roscidus.com/blog/blog/2014/06/06/python-to-ocaml-retrospective/


pr

Re:OCaml a jeho výhody
« Odpověď #9 kdy: 23. 05. 2016, 20:38:08 »
O F# se říká, že je to Ocaml... pokud Vám to nějak pomůže... ;)

mikrom

Re:OCaml a jeho výhody
« Odpověď #10 kdy: 23. 05. 2016, 20:48:13 »
Stejně tak by mě zajímalo, jak je na tom TCL (hovorově Tykl). Používá se ještě?
Ano Tcl/Tk sa bezne pouziva. Ak mas zaujem tu je celkom zive forum, kde chodim aj ja
http://www.tek-tips.com/threadminder.cfm?pid=287

mikrom

Re:OCaml a jeho výhody
« Odpověď #11 kdy: 23. 05. 2016, 21:30:52 »
Ocaml sa podobne ako Haskell pouziva pri vyuke, ale aj v praxi
https://ocaml.org/learn/success.html
Skusal som ho, ale nenasiel som pren prave vtedy prakticke pouzitie.
Keby exitovalo nieco ako Ocaml pre JVM, tak to by bolo super.

Vzhladom na to, ze OCaml ma 100% na PLEAC, to vyzera byt velmi prakticky pouzitelny jazyk.
http://pleac.sourceforge.net/pleac_ocaml/index.html
Takze az budem chciet prakticky funcionalny jazyk, je pre mna OCaml kandidat #1.

Btw. i pred par rokmi vychvalovany F# od MS je syntakticky vraj OCaml pre .NET
Neni som si isty ci sa F# stale este propaguje, pretoze MS stale zavadza nejake prevratne technologie, ktore zachvilu prestane podporovat  ;D

Radek Miček

Re:OCaml a jeho výhody
« Odpověď #12 kdy: 23. 05. 2016, 21:38:35 »
chtěl jsem se zeptat, k čemu se primárně používá OCaml a používá se vůbec?

Používá se. K čemu primárně je těžké odpovědět - velmi dobře si vede při programování SW pro symbolické výpočty - např. kompilátory a dokazovače.

Velký potenciál vidím v ocaml-multicore (který by mohl být do hlavní větve OCamlu zařazen tento rok), jenž mj. usnadní psaní asynchronních výpočtů, generátorů apod. (IMO výrazně lepší přístup než má C#, Python, JavaScript a další mainstreamové jazyky).

jozif

Re:OCaml a jeho výhody
« Odpověď #13 kdy: 24. 05. 2016, 04:59:08 »

Btw. i pred par rokmi vychvalovany F# od MS je syntakticky vraj OCaml pre .NET
Neni som si isty ci sa F# stale este propaguje, pretoze MS stale zavadza nejake prevratne technologie, ktore zachvilu prestane podporovat  ;D


Je sucastou visual studia ako jeden z hlavných jazykov a kazda verzia prinasa nieco nove stadial sa potom novinkami inspiruje C#. Ale F# sa od ocaml trosku lisi ma o nieco intuitivnejsiu syntax. Napr retazce sa nespajaju operatorom ^ ale +. ma kopu novych konstrukcii ktore ocaml uplne chybaju o jeho vyvoj sa nestara len samotny ms ale aj fsharp fundation. na druhej strane Microsoft Research podporuje vyvoj dalsieho podobneho jazyka F* (FStar) ktory je este o krok pred F# a ma este omnoho komplexnejsi typovy system.

Radek Miček

Re:OCaml a jeho výhody
« Odpověď #14 kdy: 24. 05. 2016, 18:01:31 »
Ale F# sa od ocaml trosku lisi ma o nieco intuitivnejsiu syntax.

Na první pohled ano, ve skutečnosti je to neuvěřitelně komplexní - příkladem je kód, který se chová jinak při odsazení 2 a 4 mezerami:

Kód: [Vybrat]
let foo t = "(" + t + ")"

let tttt =
  let text =
    match Some "" with
    | Some t ->
      match t with
      | "" ->
        "a"
      | "b" ->
        "b"
      |> foo
    | _ -> "fooo"
  text 

let tttt' =
    let text =
        match Some "" with
        | Some t ->
            match t with
            | "" ->
                "a"
            | "b" ->
                "b"
            |> foo
        | _ -> "fooo"
    text

Jiným příkladem jsou bugy, které nikdo nechce opravovat, protože by se musel hrabat v lexikálním filtrování.

Citace
ma kopu novych konstrukcii ktore ocaml uplne chybaju o jeho vyvoj sa nestara len samotny ms ale aj fsharp fundation.

Na druhé straně hromadu důležitých konstrukcí nemá a v blízké době mít ani nebude (moduly + aplikativní/generativní funktory, GADT, řádkový polymorfismus (row polymorphism) + polymorfní varianty, implicity/typové třídy, algebraické efekty).