Pasowałoby się nauczyć #haskell i ogarnąć logikę matematyczną (czy tam coś takiego w odmianie 'dla informatyków' XD )
Trochę mi się nie chce (╯︵╰,)
#informatyka #logika #gorzkiezale
Trochę mi się nie chce (╯︵╰,)
#informatyka #logika #gorzkiezale
Wszystko
Najnowsze
Archiwum
@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,
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,
@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
( ͡º ͜ʖ͡º)
( ͡º ͜ʖ͡º)
#programowanie #haskell #oferta
Poszukuje kogoś zna haskella. Nie musi to być dobra znajomość podstawy starczą.
Poszukuje kogoś zna haskella. Nie musi to być dobra znajomość podstawy starczą.
Mija już tydzień nauki #haskell , dopiero ogarniam klasy. Kiedy ten pierwszy etap minie ?
źródło: comment_1gWUJQOBKlXoQUEO4aRMqrDixxMrlgEL.jpg
Pobierz
Jestem zawodowym programistą. Postanowiłem nauczyć się paradygmatu funkcyjnego, gdyż słyszałem, że to uczyni mnie silniejszym. W internecie jest tak z miliard tutoriali do Haskella, ale który z nich jest warty polecenia dla kogoś z kilkuletnim doświadczeniem w programowaniu?
#programowanie #haskell
#programowanie #haskell
@CamelCase: mam dokładnie takie samo postanowienie xD ponoć nauczenie się haskella otwiera mózg na nowe sposoby myślenia. Tylko cały czas odkładam i odkładam to na później :(
@CamelCase: http://learnyouahaskell.com/ jest ok. Jak utkniesz pod koniec, to może pomóc https://wiki.haskell.org/Typeclassopedia
#programowanie #lisp czy #haskell ? Chcę się nauczyć jakiegoś śmiesznego języka bo na razie same praktyczne... :P
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ą)
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ą)
@KrzaQ2: Mi podoba się, że Java dość dobrze wypadła. To tylko pokazuje, że z wersji na wersję następuje progres w wydajności.
Mi podoba się, że Java dość dobrze wypadła.
@zebatykocur: To był komentarz tego zdania. Plus to co wyżej.
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/
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/
@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
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
konto usunięte via Android
@aseeon: Gość wykonuje w Pythonie 27 ops/s.
Wystarczy dla aplikacji ograniczonej I/O. Mógłby użyć Brainfucka i nadal byłoby to wystarczające.
Wystarczy dla aplikacji ograniczonej I/O. Mógłby użyć Brainfucka i nadal byłoby to wystarczające.
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
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
@brainwaver: WINCYJ TAGÓW, NA PEWNO WPIS BĘDZIE CZYTELNIEJSZY.
.
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
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
@brainwaver: Ogłoszenie poza widełkami pracy w miarę konkretne, ale z tymi wszystkimi tagami na siłę, kojarzy mi się z marketingiem Plusha.
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
Pytanie na start: od czego zacząć: #haskell jako najpopularniejszy czystofunkcyjny, #scala, bo rynek javy, może #closjure z racji tego, że dialekt
@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ę :)
Warto się najpierw nauczyć jakichś podstawowych konceptów i potem może na głęboką wodę :)
@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"
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"
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
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
@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
@Pietrek558: Programowanie funkcyjne nie jest w ogóle
@Pietrek558: Dlaczego Haskell jest świetny w 10 minutach, polecam
#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...
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...
Treść przeznaczona dla osób powyżej 18 roku życia...
@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
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
taktyk
#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ż
Piszę funkcję odwracającą listę , czy może mi ktoś powiedzieć dlaczego to nie działa ?
rev[a] = reverse[a]
opisując(chociaż
Treść przeznaczona dla osób powyżej 18 roku życia...
@wojjaskula: nie, w---------j sepic na fb
@darek984: ano w sumie racja , właśnie się biorę;)
Jak into Haskell? #programowanie #haskell
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
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
taktyk, na później
Istnieje coś takiego jak translator z języka Haskell na C++ albo Jave? Mam pewien problem do którego rozwiązanie znalazłem tylko w Haskellu, jednak biorąc pod uwagę, że to język czysto funkcyjny, nie potrafię sobie przetłumaczyć kodu na C++.
#programowanie #cpp #haskell #java
#programowanie #cpp #haskell #java
@itterasshai: Daj linka do kodu.
@itterasshai: albo nie tłumacz, tylko podlinkuj haskella pod C++ ;) http://stackoverflow.com/questions/3859340/calling-haskell-from-c-code
#tylkohaskell #tylkofunkcyjne
Czasem po prostu lepiej napisać coś funkcyjnie.
#tylkohaskell #tylkofunkcyjne
Czasem po prostu lepiej napisać coś funkcyjnie.
Chciałbym pokazać, że przydają się także, kiedy uskuteczniamy klasyczne #programowanie. Dodatkowo wołam @archlinuxuser bo chciałeś zobaczyć jak ten koncept wytłumaczę:
Co do wołania Mirków od #haskell - nie jestem prawdziwym haskellfagiem (quicksort to szczyt moich możliwości aktualnie), ale spróbuję:
a) wydaje mi się, że z treści artykułu trochę za bardzo wynika powiązanie monad z kolejnością operacji i stanem, na co prawdziwi Haskellowcy by