#lgbt #programowaniefunkcyjne #haskell

jak podrywacie programistę to nie zapomnijcie się spytać o jego wariancję.

Jeśli ktoś jeszcze nie widział to Humble Bundle ma właśnie w ofercie fajną paczkę ebooków o programowaniu funkcyjnym: https://www.humblebundle.com/books/functional-programming-books
#programowanie #scala #clojure #erlang #haskell #programowaniefunkcyjne

Mirki, dlaczego #scala nie ma pipe operator? ( |>) jak np #ocaml #fsharp czy #haskell ?

#programowaniefunkcyjne

Mirki, chce sprobowac #scala

Na codzien w pracy uzywam #csharp i #python
Dobrze ogarniam #ocaml i #fsharp, tez jako tako #haskell

Z #java i #jvm ogolnie ostatnie raz do czynienia mialem na #studbazaPokaż całość

Jest jakaś biblioteka do analizy audio tzn. żeby wyświetlało wysokości dźwięku, tembr itp dla danego fragmentu utworu? Preferowane #cpp lub #haskell
#pytaniedoeksperta #programowanie #dzwiek #audio

jaki język funkcyjny jest obiecujący? Scala? Haskell to klasyka, ale raczej ogranicza się do zastosowań dydaktycznych

#funkcyjne #programowanie

#haskell #scala

Jaką polecacie książkę do nauki Haskella dla programisty z doświadczeniem w tym znajomością koncepcji funkcyjnych (znam Scalę)?
#haskell #programowanie

#ercoin dorobił się swojej strony: http://ercoin.tech. Celowo surowa, ukierunkowana na razie głównie na potencjalnych wnoszących wkład (ang. „contributors”).

Ciekawostką techniczną jest to, że strona składa się w gruncie rzeczy z jednego pliku HTML generowanego w oparciu o jeden szablon, jednego stylu CSS kopiowanego bez zmian i żadnych obrazków… a mimo to #gitlab Pages budując ją po raz pierwszy zgodnie z ichnią dokumentacją zanotowało… timeout… po… jednej godziniePokaż całość

W jaki sposób wyznaczyć typy złożeń funkcji np mamy funkcję map i jak wyznaczyć (najlepiej krok po kroku) typ map map?
#haskell

#programowanie #haskell

Muszę zrobić algorytm wybierania ruchu w gomoku (uogólnione kółko i krzyżyk). Myślę nad drzewem decyzyjnym, ale nie bardzo wiem od czego zacząć (np. jak sensownie oceniać planszę). Czy znacie jakieś materiały, które nakierowałyby mnie na jakieś wnioski?

#programowaniefunkcyjne #haskell #programowanie

Mam takie zadanko:

Niech będzie dany następujący typ drzew:

data Tree a b = Leaf a | Node a b (Tree a b) (Tree a b)Pokaż całość

Jak szukac pierwszej pracy na Dolnym Slasku z praktycznie zerowym doswiadczeniem komercyjnym? Interesuje mnie #programowanie, glownie we #wroclaw, na przyklad w #python, #perl, #swift, #r, #go albo #programowaniefunkcyjne (#scala, #haskell ?). Jest cokolwiek sensownego poza #nokia?

Mirki, ktory z nowszych funkcyjnych jezykow ( #fsharp #reason #elm itp ) bedzie najprostszy do zaczecia z #programowaniefunkcyjne ?
Moze #elixir ?

Pokaż spoiler

#ocaml
#lispPokaż całość

Hej, szukam pomocy z haskella, teoria grafów.
Na szybko, płacę $$$.

#haskell
#programowanie
#programowaniefunkcyjne

DevDocs zawiera większość znaczących dokumentacji w jednym miejscu, a przy tym jest stroną schludną i wyposażoną w wygodną wyszukiwarkę. http://devdocs.io/ #css #python #html #haskell #git #github #naukaprogramowania #java #javascript #go #django #angular #react #ruby #perl #cpp

Znacie jakieś zacne porównania języków funkcyjnych, bo do tej pory najlepsze co znalazłem to na slant.co

https://www.slant.co/topics/485/~languages-for-learning-functional-programming

Dobrze gdyby w zestawieniu znalazł się Elixir, Haskell i Clojure, ale cokolwiek co warto przeczytać przyjmę z przyjemnością.

Pokaż spoiler

Pokaż całość

Framework do system programming w Haskellu, haskell ostatnio dużo atencji dostaje i wiele ciekawych rzeczy się dzieje w okół niego.

Wydano OpenCV 3.2 - usprawnienia do convolutional neural network

Czy WebRTC jest przyszłością dla gier?Pokaż całość

kubernetes ma wsparcie na Windows Server, ale nadal nie wspiera IPv6 :(

RedHat tworzy oficjalna paczke OpenJDK dla Windowsa

Potencjal jezyka Elixir - bazujacego na Haskellu - Elixir jest uzywany we francuskiej telewizji na serwerach produkcyjnych. IMO Elixir jest zdecydowanie jednym z najbardziej edge cutting jezykow obecnie, warto sie zapoznac z mozliwosciami.Pokaż całość

#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 temuPokaż całość