Article View: pl.comp.lang.funkcyjne
Article #972Re: Języki funkcyjne (F#, Clojure, OCaml) a kwestia "wyższej" matematyki, rachunku lambda itd
From: pawellt2015
Date: Wed, 18 Jan 2017 09:16
Date: Wed, 18 Jan 2017 09:16
12 lines
2734 bytes
2734 bytes
W dniu wtorek, 17 stycznia 2017 23:14:31 UTC+1 użytkownik godek....@gmail.com napisał: > Tak czy inaczej, moim zdaniem programowanie funkcyjne to jest przede > wszystkim zdrowa dyscyplina przy projektowaniu programów (nabiera > znaczenia zwłaszcza przy większych programach, gdzie niespójność > kodu utrudnia wnioskowanie i rozbudowywanie), oraz narzędzie ekspresji, > i można ją uprawiać nawet w językach niefunkcyjnych, jak C czy Python. > Najważniejsze jest to, żeby pisać programy. Wielkie dzięki za szybką odpowiedź (bałem się, że grupa zupełnie umarła). Moje pytanie wynikało stąd, że nie pamiętam tych wszystkich matematycznych podstaw rachunku lambda, czy "zwijania/rozwijania" funkcji - i byłem ciekaw, czy znajomość tego od strony matematycznej, np. wyraźnie ułatwia programowanie funkcyjne czy pozwala np. szybciej rozwiązać jakiś problem przy użyciu rekurencji... Jeśli piszesz że matematyka nie jest tu jakoś szczególnie istotna, tylko załapanie paradygmatu to oczywiście dobra wiadomość dla mnie :) Książkę SICP zamówiłem sobie w polskiej wersji na stronie PWN (co prawda dotyczy Scheme, ale zakładam że do OCaml/F# to głównie inna składnia, silne typowanie i niuanse, które na ogólne zrozumienie nie powinny mieć wpływu).
Technical Details
Message-ID:
<dc1fa4d0-6ea8-4fcf-a794-cbb6ecfac0ea@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!news.glorb.com!r185no78179ita.0!news-out.google.com!h135ni2444ith.0!nntp.google.com!r185no78173ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<aebb68c4-f04b-4566-8d4a-1afb7e4173a7@googlegroups.com> <49078b6d-512c-4f39-a6c1-3e6f266c5061@googlegroups.com>Show Full Headers
Complete Article Headers
X-Received: by 10.99.106.6 with SMTP id f6mr610772pgc.50.1484730961797; Wed, 18 Jan 2017 01:16:01 -0800 (PST) X-Received: by 10.157.14.183 with SMTP id 52mr108718otj.20.1484730961754; Wed, 18 Jan 2017 01:16:01 -0800 (PST) Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!newsfeed2.atman.pl!newsfeed.atman.pl!news.nask.pl!news.nask.org.pl!news.unit0.net!news.glorb.com!r185no78179ita.0!news-out.google.com!h135ni2444ith.0!nntp.google.com!r185no78173ita.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mail Newsgroups: pl.comp.lang.funkcyjne Date: Wed, 18 Jan 2017 01:16:01 -0800 (PST) In-Reply-To: <49078b6d-512c-4f39-a6c1-3e6f266c5061@googlegroups.com> Complaints-To: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=194.1.153.129; posting-account=vWocFQoAAAAn1nX3XnhT6QQ6-Dh0pykn NNTP-Posting-Host: 194.1.153.129 References: <aebb68c4-f04b-4566-8d4a-1afb7e4173a7@googlegroups.com> <49078b6d-512c-4f39-a6c1-3e6f266c5061@googlegroups.com> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <dc1fa4d0-6ea8-4fcf-a794-cbb6ecfac0ea@googlegroups.com> Subject: Re: Języki funkcyjne (F#, Clojure, OCaml) a kwestia "wyższej" matematyki, rachunku lambda itd From: pawellt2015@gmail.com Injection-Date: Wed, 18 Jan 2017 09:16:01 +0000 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit