Wszystko
Wszystkie
Archiwum
- 1
Haskell Interlude 30: Bartosz Milewski
https://haskell.foundation/podcast/30/
#programowanie #haskell #programista15k #cpp #
In this episode, Bartosz Milewski is interviewed by Wouter Swierstra and Andres Löh. Bartosz shares his thoughts on the "fringe topics" in programming, from C++ templates to category theory in Haskell. How he considers monads to be like fingers sticking out of the water. And he'll talk a little bit about his upcoming book and his thoughts on linear types.
https://haskell.foundation/podcast/30/
#programowanie #haskell #programista15k #cpp #
konto usunięte via Wykop
- 1
- 7
The Dao of Functional Programming
https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf
#programowanie #programista15k #haskell
https://github.com/BartoszMilewski/Publications/blob/master/TheDaoOfFP/DaoFP.pdf
#programowanie #programista15k #haskell
- Termowizjer
- groman43
- sokytsinolop
- pawik077
- Gao_Mniejszy
- +2 innych
- 1
@a5f5c1: To nie jest moja praca. Jak można się domyślić z linku autorem jest Bartosz Milewski (https://mathstodon.xyz/@BartoszMilewski), wpis jest otagowany, resztę możesz sprawdzić w spisie treści.
- 1
- 2
- 1
Znacie jakieś fajne kursy/książki/źródła z tego zakresu?
- Budowa i programowanie rakiet
- Budowa i programowanie autonomicznych samolotów/dronów
- Rust/Zig architektura i programowanie systemów operacyjnych
Za odpowiedzi w temacie płacę plusem ( ͡° ͜ʖ ͡°)
#programowanie #javascript #typescript #rustlang #golang #haskell #python #cpp #c #ziglang #naukaprogramowania
- Budowa i programowanie rakiet
- Budowa i programowanie autonomicznych samolotów/dronów
- Rust/Zig architektura i programowanie systemów operacyjnych
Za odpowiedzi w temacie płacę plusem ( ͡° ͜ʖ ͡°)
#programowanie #javascript #typescript #rustlang #golang #haskell #python #cpp #c #ziglang #naukaprogramowania
Zrobiłem listę 64 różnych języków programowania i w tagu:
#bitwyjezykowe
będziemy sobie je porównywać który lepszy
W lewym narożniku #haskell król języków funkcyjnych
W prawym narożniku #javascript język na co dzień żyjący w przeglądarce.
głosowanie plusami w kometarzach
#bitwyjezykowe
będziemy sobie je porównywać który lepszy
W lewym narożniku #haskell król języków funkcyjnych
W prawym narożniku #javascript język na co dzień żyjący w przeglądarce.
głosowanie plusami w kometarzach
- 36
wybieram
Haskell
Haskell
- konto usunięte
- Ernest_
- Roxerood
- ochar
- koostosh
- +31 innych
- 48
wybieram
JavaScript
JavaScript
- Lipathor
- Roxerood
- domino_12
- vojteknowak
- lathrus
- +43 innych
Zrobiłem listę 64 różnych języków programowania i w tagu:
#bitwyjezykowe
będziemy sobie je porównywać który lepszy
W lewym narożniku #haskell najbardziej znany język funkcyjny, znany głownie z tego, że wszyscy o nim gadają a nikt nie widział kodu na produkcji
W prawym narożniku #holyc Język zesłany przez samego Boga i spisany dla nasz przez Terrego Davisa #templeos
głosowanie plusami w kometarzach
#bitwyjezykowe
będziemy sobie je porównywać który lepszy
W lewym narożniku #haskell najbardziej znany język funkcyjny, znany głownie z tego, że wszyscy o nim gadają a nikt nie widział kodu na produkcji
W prawym narożniku #holyc Język zesłany przez samego Boga i spisany dla nasz przez Terrego Davisa #templeos
głosowanie plusami w kometarzach
- 18
wybieram
Haskell
Haskell
- 11
wybieram
HolyC
HolyC
- konto usunięte
- konto usunięte
- Ahoga
- Vender
- Poldek0000
- +6 innych
Boże co za gówno
@wytrzzeszcz: Samo licze produktu kartezjanskiego jest ok. Ale nie trzeba go w ogle robic jako osoban funkcja. z jest niepotrzebne. A unzipper liczy jedynie uncurryrowanego euklidesa. Spokojnie ot mozna troche uproscic i latwiej zrozumiec co jest liczone na tych listach: https://pastebin.com/vupWNj0H
- 8
pamiętajcie młodzi ludzie, haskell rozwiąże wszystkie wasze problemy
( ͡° ͜ʖ ͡°)
#programowanie #studia #informatyka #studbaza #programowanie #haskell #python
( ͡° ͜ʖ ͡°)
#programowanie #studia #informatyka #studbaza #programowanie #haskell #python
- Ernest_
- UberRam
- markaron
- Henryhenry
- ciezka_rozkmina
- +3 innych
- 0
ale pompa pod wprowadzenie kontraktów ( ͡° ͜ʖ ͡°)
Tak na poważnie: nikt nie będzie pisał smart kontraktów w #haskell
#kryptowaluty #cardano
Tak na poważnie: nikt nie będzie pisał smart kontraktów w #haskell
#kryptowaluty #cardano
Miał ktoś kiedyś podobny problem z GHC na Windows 10 (x64) zainstalowanym przy pomocy stack'a.
Podaczas używania GHCi i kompilacji niektórych programów od czasu do czasu wyskakuje takie coś:
Próbowałem już wywalić AppData\Local\Programs\stack odinstalować i zainstalować stack, zrobić przegląd %PATH% ale problem pozostaje. Stack podczas instalacji GHC zaciąga tylko najnowsze MSYS (2020...).
#programowanie #haskell #windows
Podaczas używania GHCi i kompilacji niektórych programów od czasu do czasu wyskakuje takie coś:
ghc.exe: addLibrarySearchPath: C:\Users\Assailant\AppData\Local\Programs\stack\x86_64-windows\msys2-20180531\mingw64\lib (Win32 error 3): The system cannot find the path specified.
Próbowałem już wywalić AppData\Local\Programs\stack odinstalować i zainstalować stack, zrobić przegląd %PATH% ale problem pozostaje. Stack podczas instalacji GHC zaciąga tylko najnowsze MSYS (2020...).
#programowanie #haskell #windows
- 4
bo szkoda mi cykli porcesora
@wytrzzeszcz: ekolog?
fajnie jest jak srodowisko jest zaladowane zanim enter po startx sie odbije
Osiąganie tego kosztem ergonomii i konfigurowalności DE jest dla mnie masochizmem.
- 3
bo szkoda mi cykli porcesora
zanim enter po startx sie odbije
@wytrzzeszcz: ( ͡° ͜ʖ ͡°) I do tego niczym jaskiniowiec bez login managera jedziesz, szacun
Po wpisach o funktorach oraz monoidach (w Haskellu), dziś przyszedł czas na funktory aplikatywne. Zapraszam do lektury. ( ͡° ͜ʖ ͡°)
LINK:Funktory aplikatywne
Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #haskell #naukaprogramowania #programowaniefunkcyjne
LINK:Funktory aplikatywne
Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #haskell #naukaprogramowania #programowaniefunkcyjne
Człowiek niby programuje od lat, a zrobienie jakichś prostych rzeczy w Haskellu to czasami tak, jakby się od nowa wszystkiego uczył.
Po kilku godzinach walki z transformatorami monad i typami w stylu
Najlepsze, że rozwiązanie udało mi się znaleźć
Po kilku godzinach walki z transformatorami monad i typami w stylu
(Service, ReaderT APIKeys Req b) -> IO (Service, Either HttpException b)
oraz [(Service, String -> ReaderT APIKeys Req (JsonResponse Object))]
kompilator w końcu zaakceptował moją koncepcję. ᕦ(òóˇ)ᕤNajlepsze, że rozwiązanie udało mi się znaleźć
- 4
@informatyk: Nie potrafię czytać funkcyjnego kodu i się zastanawiam czy to kwestia wyrobienia nawyku czy każdy kod ze zbyt prostą składnią trzeba "rozkodowywać". Jak na to rozwiązanie spojrzysz za dwa miesiące to ile czasu ci zajmie zrozumienie o co w nim chodzi?
Po kilku godzinach walki z transformatorami monad
@informatyk: Zawsze mnie denerwowało, że transformatory monad się ładnie nie komponują w żaden sposób. Ale ponoć sa jakies próby, żeby inaczej podeść do efektów tak by się komponowały. Ale nie wnikałem w szczegóły, słyszałem jedynie takie nazwy jak algebraic effects.
W ostatnim artykule z serii o Haskellu pisałem na temat funktorów. Następny wpis będzie, jak niektórzy mogą się domyślić, poświęcony funktorom aplikatywnym.
Wcześniej jednak zachęcam do zapoznania się z krótkim artykułem dotyczącym monoidów, ponieważ jest to pojęcie, które pojawi się przy rozkminianiu aplikatyw. ;D
LINK: Półgrupy i monoidy w Haskellu
Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #haskell #naukaprogramowania #programowaniefunkcyjne
Wcześniej jednak zachęcam do zapoznania się z krótkim artykułem dotyczącym monoidów, ponieważ jest to pojęcie, które pojawi się przy rozkminianiu aplikatyw. ;D
LINK: Półgrupy i monoidy w Haskellu
Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #haskell #naukaprogramowania #programowaniefunkcyjne
W ramach nauki Haskella i systematyzacji swojej wiedzy z nim związanej, postanowiłem naskrobać kilka wpisów, poruszających m.in. takie tematy jak funktory, aplikatywy, monoidy czy monady. Dziś zapraszam na pierwszy artykuł z tej serii ->
LINK: Funktory w Haskellu
Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #haskell #programowaniefunkcyjne #naukaprogramowania #funktory
LINK: Funktory w Haskellu
Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #haskell #programowaniefunkcyjne #naukaprogramowania #funktory
- 1
@informatyk: Co mozna programowac w Haskellu?
W sensie kiedys chcialem sie go nauczyc, nawet zaczalem, ale zupelnie nie wiedzialem co z ta wiedza zrobic.
W sensie kiedys chcialem sie go nauczyc, nawet zaczalem, ale zupelnie nie wiedzialem co z ta wiedza zrobic.
- 0
@informatyk: Dzieki :)
Szukam nauczyciela Haskell. Cena do ustalenia
#haskell #programowanie #programista15k
EDIT: Jestem na Poziomie : Noob
Natywnie programuje w Pythonie.
( ͡º ͜ʖ͡º)
#haskell #programowanie #programista15k
EDIT: Jestem na Poziomie : Noob
Natywnie programuje w Pythonie.
( ͡º ͜ʖ͡º)
- 1
@chrabia_bober: Jeśli umiesz programować, to na luzie ogarniesz sam z dobrymi materiałami. Haskell jest "inny" (functional programming, sporo category theory, ale jak siądziesz do niego bez strachu o terminologię, to dasz radę liznąć podstawy - potem możesz decydować co dalej i czy to dla Ciebie). Polecam https://haskellbook.com/ , ale jeśli chcesz zacząć od czegoś darmowego, to http://learnyouahaskell.com/chapters (online jest za darmo, książka nie).
Zgodnie ze swoim postanowieniem staram się publikować regularnie każdego tygodnia. Z tej okazji dziś dość krótki wpis, będący wstępem do tematu klas typów w Haskellu. Zapraszam! :)
LINK DO WPISU: Klasy typów z Haskellu
Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #naukaprogramowania #haskell #programowaniefunkcyjne
LINK DO WPISU: Klasy typów z Haskellu
Jeśli interesują Cię moje wpisy, obserwuj tag #polydev
#programowanie #naukaprogramowania #haskell #programowaniefunkcyjne
- 1
- 3
@FREEQ: tak na szybko:
* http://learnyouahaskell.com/ - dość obszerny i darmowy ebook
* https://en.wikibooks.org/wiki/Haskell - podręcznik wyróżniony przez społeczność Wikibooks
* https://mmhaskell.com/liftoff - sporo ciekawych treści o Haskellu
* https://haskellbook.com/ - bardzo dobra książka, pokrywająca naprawdę sporo zagadnień (ma przeszło tysiąc stron), ale to akurat pozycja płatna.
Oprócz tego - wiadomo - Stackoverflow (gdzie czasami odpowiedzi bywają dłuższe niż niejeden artykuł) i Reddit (https://www.reddit.com/r/haskell/ )
* http://learnyouahaskell.com/ - dość obszerny i darmowy ebook
* https://en.wikibooks.org/wiki/Haskell - podręcznik wyróżniony przez społeczność Wikibooks
* https://mmhaskell.com/liftoff - sporo ciekawych treści o Haskellu
* https://haskellbook.com/ - bardzo dobra książka, pokrywająca naprawdę sporo zagadnień (ma przeszło tysiąc stron), ale to akurat pozycja płatna.
Oprócz tego - wiadomo - Stackoverflow (gdzie czasami odpowiedzi bywają dłuższe niż niejeden artykuł) i Reddit (https://www.reddit.com/r/haskell/ )
#pracait #haskell #programowanie #neet