[wytrzzeszcz]

#naukaprogramowania #haskell #prolog #lisp jakis ogarniety i praktyczny kurs jakiegos jezyka funkcyjnego, tak by je ogarnac?

[Wolfik1024]

@wytrzzeszcz: prolog to nie jezyk funkcyjny i sie go nie ucz.

[wytrzzeszcz]

@Wolfik1024: ok a co do pytania?

[Wolfik1024]

@wytrzzeszcz: bo jest to jezyk deklaratywyny, jezyk programowania w logice.

[wytrzzeszcz]

@Wolfik1024: ok dziekuje

[alkan]

@wytrzzeszcz: Doskonałe wprowadzenie do Haskella: http://learnyouahaskell.com/

BTW - języki (czysto) funkcyjne to też języki deklaratywne. Natomiast rodzaje deklaratywności są różne i Prolog to język programowania w logice. Tam chyba nawet nie ma czegoś takiego jak funkcje. :P

[wytrzzeszcz]

@alkan: jest funkcja logiczna, niby
btw gdzie je sie stosuje?

[alkan]

@wytrzzeszcz: Funkcja logiczna? Nie chcę udawać, że jakoś specjalnie znam Prologa, ale o ile pamiętam, to tam były tylko predykaty, a to coś zupełnie innego niż funkcje. Choć może są jakieś bardziej zaawansowane mechanizmy, o których się po prostu nie uczyłem - bo o ile Haskellem (i w ogóle funkcyjnością) mocno się interesuję, to Prologa znam tylko z kilku tygodni na studiach.

A w drugim pytaniu chodzi Ci o języki

[wytrzzeszcz]

@alkan: raczej mi o funkcyjnych powiesz:-)

[alkan]

@wytrzzeszcz: W biznesie niestety są rzadko wykorzystywane. Po części to na pewno kwestia przyzwyczajeń ludzi, którzy uczą się programować imperatywnie i nie potrafią się przestawić na myślenie funkcyjne. Do tego dochodzi fakt, że jeśli języki nie są czysto funkcyjne i dopuszczają konstrukcje imperatywne (np. OCaml, Scala), to nieproporcjonalnie duża część kodu jest zazwyczaj napisana imperatywnie i wychodzi z tego niezły bałagan, bo między dopuszczaniem paradygmatu imperatywnego a jego wspieraniem jest

[x.....s]

@wytrzzeszcz: Jeśli chcesz praktycznego Lispa to ogarnij Clojure (nawet zdarza się w nim praca, w odróżnieniu do innych Lispów), a z innych funkcyjnych nawet fajny jest F#. Możesz jeszcze ogarnąć. Innym ciekawym funkcyjnym jest Erlang (ergo Elixir).

[wytrzzeszcz]

@alkan: czli Haskell nalezy do jednej grupy z ADĄ i Cobolem jezykow zadko uzywanych, ale nastawionych na besoieczenstwo

[wytrzzeszcz]

@xaxes: dziekujw

[alkan]

@wytrzzeszcz: Stawianie Haskella obok Ady i Cobola - aż mi się zrobiło słabo. Uraziłeś moje uczucia religijne. ( ͡° ʖ̯ ͡°)

[wytrzzeszcz]

@alkan: przepraszam, co by nie bylo jestem swiadom.roznic istoty, patrze zastosowania

[alkan]

@wytrzzeszcz: Ale już na poważnie: Haskell nie był projektowany z myślą o bezpieczeństwie - bezpieczeństwo to efekt braku efektów. :) Tu nie chodzi o to, że masz narzucone konkretne obostrzenia - po prostu nie ma stanu, nie ma problemu. Bezpieczeństwo to także zasługa genialnego, bardzo silnego statycznego systemu typów, ale i on nie był projektowany jako obostrzenie, tylko uosobienie matematycznej czystości.

Ale funkcyjność to coś znacznie więcej. To przede wszystkim

[wytrzzeszcz]

@alkan: czas ogarnac w koncu ten paradygmat ksiazka sie przyda, potem moze obiektowosc ale smalltalka nie bede brac pewno Java tam to pro tip