Wszystko

Wszystkie

Archiwum

alkan
alkan
  • 2
@Veuch: Haskell jest bardzo fajny, chociaż dość trudny, to fakt.

Logika matematyczna właśnie w wydaniu dla informatyków może być bardzo przydatna. LTL to (przynajmniej abstrakcyjnym poziomie) podstawa wielu narzędzi do analizy programów współbieżnych. Rezolucja i wszystkie inne wnioskowania w logice - podstawa AI. SLD-rezolucja, logiki probabilistyczne i mnóstwo innych rzeczy - podstawa programowania w logice (Prolog i te sprawy). A taka bardziej "matematyczna" logika, np. gry EF, gry na grafach, logiki
Veuch
Veuch
  • 0
@alkan: nie no, git, nie planuję z tego póki co doktoratu, tak sobie na mirko przyszedłem pomamrać, bo gorąco i mi się uczyć nie chce
( ͡º ͜ʖ͡º)
KrzaQ2
KrzaQ2
  • 12
ARM vs x86: Pathfinding benchmark of C++, D, Go, Nim, Ocaml, Common Lisp, Racket, C#, Java, Haskell, F#, Rust and Dart

Porównanie wydajności róƶnych języków programowania i ich implementacji na platformach x86 i ARM przy pomocy algorytmu wyszukiwania najdłuƶszej ścieƶki. Pomiędzy językami są lekkie zmiany w algorytmie, więc nawet pomijając QoI cięƶko je porównywać (chociaƶ C++ i D w ścisłej czołówce mnie cieszą)

a.....n
a.....n
  • 11
Porównanie kilku języków programowanie pod kątem konkretnego projektu, warto przeczytać, ciekawe spostrzeżenia.

http://roscidus.com/blog/blog/2013/06/09/choosing-a-python-replacement-for-0install/

http://roscidus.com/blog/blog/2013/06/20/replacing-python-round-2/

http://roscidus.com/blog/blog/2014/02/13/ocaml-what-you-gain/

#programowanie głównie #python #haskell #ocaml i trochę #rustlang #golang #ast #csharp
a.....n
a.....n
  • 2
@JURCZ91: No raczej nie podsumuje lepiej niż autor w ostatnim poście.

No ale coś dorzucę:

- W Go się dużo zmieniło od czerwca 2013, więc jest lepiej (z tego co się orientuję), ale dalej byłby nisko pod względem wymagań tego projektu.

- Autor mocno nakierował się na statyczne typowanie i nutę funkcjonalnego programowania, co zaburzyło obiektywność porównania, ale po prawdzie to ono wcale nie miało być obiektywne, tylko subiektywne do bólu.
brainwaver
brainwaver
  • 12
Szanowni Mireczki i #januszeprogramowania ,

Ciągle szukam #wyjatkowiludzie do #programowanie w #erlang . Erlang to #programowanieboners ponieważ #programowaniefunkcyjne wywraca mózg na lewo strone - #programistycznymindfuck - i już tak zostaje... #ofertapracy w Warszawie, doświadczenie w #erlang niewymagane, ale wymagana chęć rozwijania umiejętności programistycznych w nieskończoność (czyli aż się naumie). Mile widziana znajomość dowolnego języka funkcyjnego np. #scala #lisp lub #haskell . #softwaredevelopment w obszarze #telekomunikacja #gsm #coregsm. Firma zamieszkuje spokojną część
brainwaver
brainwaver
  • 2
Mireczki i #januszeprogramowania ,

Szukam #wyjatkowiludzie do #programowanie w #erlang . Erlang to generalnie #programowanieboners ponieważ #programowaniefunkcyjne wywraca mózg na lewo strone - #programistycznymindfuck - i już tak zostaje... #ofertapracy w Warszawie, doświadczenie w #erlang niewymagane, ale wymagana chęć rozwijania umiejętności programistycznych w nieskończoność (czyli aż się naumie). Mile widziana znajomość dowolnego języka funkcyjnego np. #scala #lisp lub #haskell . #softwaredevelopment w obszarze #telekomunikacja #gsm #coregsm. Firma zamieszkuje spokojną część Żoliborza
M.....e
M.....e
  • 4
Proponuję zacząć tag #funkcyjne z czymś w stylu learning group. Dużo osób ostatnio próbuje wbić w #programowanie funkcyjne i myślę, że dla wygody będzie można tak to ogarnąć. Nawet mirkując można się w końcu czegoś dowiedzieć. Co wy na to?

Pytanie na start: od czego zacząć: #haskell jako najpopularniejszy czystofunkcyjny, #scala, bo rynek javy, może #closjure z racji tego, że dialekt LISPa, a z drugiej strony zalety działania na JVM. Czy
moriturius
moriturius
  • 0
@MaryMagdalene: Ja bym proponował języki które pozwalają pisać funkcyjnie, ale też dają możliwość pisania imperatywnie. Głównie dlatego, że zaczynanie od Haskella może bardziej zniechęcić niż zachęcić :)

Warto się najpierw nauczyć jakichś podstawowych konceptów i potem może na głęboką wodę :)
k.....i
k.....i
  • 3
@MaryMagdalene, @aseeon: Poczułem się zawołany :). Tag #funkcyjne jest faktycznie świetnym pomysłem bo #programowanie się trochę jakby rozrosło.

Moja subiektywna opinia jest taka, że #tylkohaskell. Jest ku temu kilka powodów:

1. Społeczność jest naprawdę przyjazna. Na haskellowym IRC'u można śmiało zapytać co to są monady i ktoś na pewno odpowie pomimo, że "temat był wałkowany milion razy" ( ͡° ͜ʖ ͡°)

2. W kilku miastach
P.....8
P.....8
  • 1
Hej Mirki,

macie może gdzieś po ręką linka do jakiegoś dobrego materiału (najlepiej video) nt. co to jest programowanie funkcyjne i dlaczego jest lepsze niż to drugie (imperatywne czy cos).

Ja wiem że tego jest masa w internecie, z tym że niedobrze mi się robi jak widzę artykuły o tym na kilkadziesiąt tysięcy znaków, albo prezentację trwającą półtorej godziny.

Doszły mnie słuchy że programowania funkcyjne (tj. Haskell) to fajna sprawa, toteż ciekawi
a.....n
a.....n
  • 2
@marooned: Głupoty waćpan głosisz. W polsce w Scali i Erlangu można znaleźć pracę bez większych problemów. Za granicą to i w Haskellu znajdziesz, a nawet w Common Lispie czy Clojure. Pisze się w takich językach kod biznesowy, połowa telekomunikacji i połowa sztucznej inteligencji, wnioskowania i uczenia maszynowego to programowanie funkcyjne. Inne branże lubiące programowanie funkcyjne to bankowość i wszelka analiza danych.

@Pietrek558: Programowanie funkcyjne nie jest w ogóle i absolutnie
s.....e
s.....e
  • 6
#programowanie

Uczyłem się programowania z Pythonem i C#. Poszedłem do pracy gdzie wybrałem sobie C++ (jako wyzwanie: terminy oddawania projektów motywują do nauki :P). Język taki czy siaki: zawsze wszystko wyglądało tak samo - mam jakiegoś kreatora GUI, układam sobie puzzle, łączę z bazą, oprogramowuję funkcje i aplikacja okienkowa gotowa. ;-) Moje marzenie napisania gry także jest do spełnienia z C++ więc szafa gra, mam swój język i jest dobrze... ale zawsze
a.....n
a.....n
  • 4
@smsrampage:

No bo jedni mogą pisać, że programowanie funkcyjne to dobre tylko dla jajogłowych na uniwersytetach a nie w prawdziwym świecie. Na to ktoś rzuci przykład z przepisywaniem twittera na scalę. Ktoś mądry uściśli, że to nie cały twitter, a scala to takie pomieszanie imperatywnego z oopem z funkcyjnym. Ktoś inny zawoła że erlang przecież, prawdziwe projekty - jabbered i połowa telekomunikacji. Inny mu napiszę, że niszowo to i w COBOLu
wojjaskula
wojjaskula
  • 1
#haskell #programowanie Mirki pytanko.

Piszę funkcję odwracającą listę , czy może mi ktoś powiedzieć dlaczego to nie działa ?

rev[a] = reverse[a]

opisując(chociaż nie ma za bardzo co) podając jakąś listę powinien wykonać na niej operację reverse, tak ?

a mam takie info *** Exception: 2ost.hs:1:1-20: Non-exhaustive patterns in function rev
acetone
acetone
  • 1
@trb: Learn you a Haskell, Real World Haskell, haskell.org, fpcomplete.com. Do tego dokumentacja na hackage.haskell.org i haskell.org/hoogle do wyszukiwania funkcji po ich typie.
acetone
acetone
  • 6
W jednym z ostatnich wpisów @itterasshai pytał o reimplementację algorytmu napisanego w Haskellu do C++. Postanowiłem spróbować.

Tutaj znajduje się oryginalny kod w Haskellu. Funkcja jest rozbita na 3 przypadki - n == 0, n == 1 i n pozostałe. Przypomniałem sobie o rozwiązaniu ciągu Fibonacciego korzystającego z template metaprogramming i spróbowałem wykorzystać tę technikę do rozwiązania danego problemu.

Efekt możecie znaleźć tutaj

Parametry klasy Hanoi to ilość słupków i długość listy
Elthiryel
Elthiryel
  • 0
@xaxes: on jest i funkcyjny i obiektowy ;) z tych języków funkcyjnych (przynajmniej częściowo) z którymi się spotkałem on chyba najlepiej prezentuje to co taki język daje, chociaż Erlang i Scala w sumie też (do Scali jest bardzo dobry kurs twórcy tego języka na Courserze, który uczył zarówno podstaw programowania funkcyjnego jak i języka)
acetone
acetone
  • 0
@xaxes: Polecam Haskella :) Na początek do nauki wystarczą "Learn you a Haskell" i "Real world Haskell", obie dostępne za darmo w necie. Jak będziesz miał jakieś pytania możesz pisać na PW albo wołać na mirko :)

Powiązane tagi