#anonimowemirkowyznania
Cześć Mirki. Ostatnio zacząłem na pewnym kole naukowym na pewnej polskiej uczelni prowadzić zajęcia z języka Coq i chciałbym się podzielić z wami tworzonymi przeze mnie materiałami dydaktycznymi: zeimer.github.io

Czym jest Coq? Jest to asystent dowodzenia twierdzeń oraz język programowania oparty na teorii typów. Umożliwia nam programowanie funkcyjne (jak w Haskellu, tylko na sterydach) oraz "robienie matematyki" (definiowanie obiektów matematycznych, dowodzenie ich właściwości etc.). Jest warty uwagi, bo dzięki temu
  • 12
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

#programowanie #programowaniefunkcyjne
programowanie czysto funkcyjne urywa łeb, wszystko jest kompletnie inaczej zorganizowane.
nigdzie nie ustawiasz niczego - jedynie czytasz wartości, tworzysz wartości i zwracasz wartości
a całe sterowanie odbywa się w identyczny sposób - zwracasz wartości, sprawdzasz je, i w zależności od tego wołasz kolejną funkcję i zwracasz kolejną wartość

to jest piękne i niesamowite i rozjebuje łeb ;___;
  • 1
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

#anonimowemirkowyznania
Hej mirki.
Sytuacja wygląda tak, że jestem w średnim wieku poważny #programista15k, albo raczej #admin, #devops czy tam inny architekt. Ogólnie to w zawodzie jestem ponad 15 lat, zawsze lubiłem to co robię i zresztą dalej tak jest, moja praca to tak naprawdę hobby za które mi płacą co miesiąc kontener pieniędzy, do tego jakieś projekty w domu sam dla siebie, etc.
  • 18
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Jest tu ktoś programujący w #elixir #phoenixframework ? Chcę utworzyć formularz w którym będzie wiele podformularzy (relacja 1 do wielu) ale nie mogę nigdzie znaleźć jak wygenerować wzorzec podformularza którego bym użył w JavaScript do wygenerowania nowego podformularza. Więcej się rozpisałem tutaj:
http://stackoverflow.com/questions/38161583/phoenix-html-how-to-generate-nested-form
#programowanie #programowaniefunkcyjne
  • 10
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

  • 1
@wisyrr bardzo daleko do 15k. Ale kiedyś ucieknę z tego Olsztyna ( ͡° ͜ʖ ͡°) główne różnice w tym elixirze to to że zmienne nie mogą się zmieniać (tak jak w matematyce), nie ma klasycznych pętli tylko rekurencje (później kompilator je traktuje i tak jak pętle więc nigdy nie będzie przepełnienia stosu), a jak potrzebujesz odpowiednika obiektów to robisz procesy. Co najważniejsze to ten kod ma być
  • Odpowiedz
@wisyrr: 'Let it crash' jest to z braku innego słowa 'filozofia' projektowania oprogramowania(wywodząca się z Erlanga) zakładająca że w końcu coś kiedyś przestanie działać, a w tym momencie najważniejsze jest przywrócenie pierwotnej funkcjonalności zamiast rozczulanie się nad błędami - czyli restart ( ͡° ͜ʖ ͡°).
Z tego co wiem w Erlangu tak domyślnie działa cały system aktorów, tzn jak taki aktor padnie nie zamartwiamy się sypiąc
  • Odpowiedz
Cześć mirki, mam prośbę o pomoc. Z początkiem października zaczynam nowe życie w Gdańsku :). W związku z tym szukam tam pracy jako programista. Przeszedłem pozytywnie wszystkie etapy rozmowy kwalifikacyjnej do jednej firmy, ale tymczasowo zawiesili oni rekrutację. Szukam więc jakieś ciekawej firmy, w której programują w #java, #spring i #scala (na tym i #programowaniefunkcyjne mi najbardziej zależy). Mam doświadczenie w javie oraz
  • 10
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Mirko-programiści, potrzebna mi Wasza pomoc w przedyskutowaniu designu języka funkcyjnego opartego o nową platformę Intuicio!

Powiedzcie mi, czy taki design jest zgodny z funkcyjnym paradygmatem?
Czy nie pominąłem czegoś ważnego, albo nie przekombinowałem z czymś?
Bardzo proszę o powiedzenie mi, gdzie z------m - bazuję na informacjach znalezionych na temat różnych języków funkcyjnych, ale wciąż mogę mieć problem z rozumowaniem FP i docenię każde wytknięcie błędu wraz z poprawieniem mnie (
  • 13
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@PsichiX: z składni, lubię prosty fajny standard z javy, lubię też C#, taki JS też nie ma najgorszej składni, jednak sam język to już rak. Jakiś lua też nie najgorszy.

Nadmiar nawiasów i innych dziwnych znaków tylko przeszkadza, szczególnie w pisaniu, jak jak się przesadzi bardzo mocno to i w czytaniu, trzeba dobrze znać język by cokolwiek zrozumieć.
Jak niezbyt umiałem nawet programować, to czytanie takiej javy czy innych języków
  • Odpowiedz
Cześć Mirki, w przyszłym miesiącu chcę startować na rekrutację do www.scalac.io. Ogromnie zależy mi na tej pracy - to taka trochę praca marzeń dla mnie. Na codzień programuję w Javie, ale intenstywnie rozwijam umiejętności związane ze Scalą od ok. 6 miesięcy wraz z tajnikami FP. No i mam pytanie - czy może ktoś tam pracuje, bądź rekrutował się i może poradzić, doradzić - jak wygląda proces rekrutacyjny, czego się spodziewać. Chcę wypaść
  • 4
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@karsiwek: Hej, jestem zainteresowany! Tak się złożyło, że niestety nie zauważyłem Twojego wpisu, a wczoraj wysłałem tam CV, szkoda. Mam nadzieję jednak, że znajdziesz kilka chwil, by mi coś poradzić/opowiedzieć/podpowiedzieć. Odblokuj proszę prywatne wiadomości :)
  • Odpowiedz
#programowanie #programowaniefunkcyjne #haskell
Czy do programowania funkcyjnego potrzebna jest znajomość matematyki? Da się zostać programistą języka funkcyjnego np. Haskell nie znając języków proceduralnych/OOP typu Java, C++ itd.? :D Czy jednak programowanie to teraz w większości tylko klepanie frontendów w JS :/
  • 5
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@andrzejfryczmodrzewski1503:

1. do clojure czy sml - nie. Do Haskella - też niby nie do pisania programów, ale do czytania dokumentacji i forów i tutoriali itp - już tak, bo wszyscy Haskelowcy są p----------i na punkcie teorii grup i monad ( ͡° ͜ʖ ͡°)

2. da się. Programowanie funkcyjne jest niezależne od programowania obiektowego. Są pewne analogie (domknięcie to tak naprawdę obiekt a zmienne domykane to
  • Odpowiedz
#naukaprogramowania #programowanie #programowaniefunkcyjne

Miruny, ostatnio zacząlem się trochę nudzić i zamiast robić coś twórczego w technologiach, które jako tako znam chciałem się trochę oderwać i poznać coś nowego - padło na programowanie funkcyjne. Przymierzam się do F#, jako że technologie Microsoftowe mocno mi pasują (#wmoimsercutylkocsharp), ale ciężko mi znaleźć coś ciekawego uczącego tego języka poza onlineowym kursem Microsoftu a'la codecademy. Dodatkowo obawiam się,
  • 15
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

Witam programirki z tagów #scala #programowaniefunkcyjne #jvm oraz też #java i #programowanie

Mam pytanie. Chciałbym się wziąć na poważnie za naukę programowania w scali, tak żeby wejść w 2017 w nową pracę z wykorzystaniem tego języka (chociaż wiem jak jest trudno bo już szukałem). Moją główną motywacją nie jest myślenie, że 2017 to będzie rok scali (linux hehe), bo prawdopodobnie taki rok nie
  • 18
  • Odpowiedz
  • Otrzymuj powiadomienia
    o nowych komentarzach

@kisi3l: Tyle, że ja bym nie zawężał tylko do znających Pythona, ale rozszerzył na wszystkich, którzy coś robią z programowaniem po godzinach just for fun.
  • Odpowiedz