Re: generowanie programow - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › generowanie programow › Re: generowanie programow

X-Received: by 10.140.31.194 with SMTP id f60mr202668qgf.5.1390032753282; Sat, 18 Jan
2014 00:12:33 -0800 (PST)
X-Received: by 10.140.31.194 with SMTP id f60mr202668qgf.5.1390032753282; Sat, 18 Jan
2014 00:12:33 -0800 (PST)
Path: news-archive.icm.edu.pl!agh.edu.pl!news.agh.edu.pl!news.cyf-kr.edu.pl!news.nask
.pl!news.nask.org.pl!news.unit0.net!news.glorb.com!p15no20531535qaj.0!news-out.
google.com!fv6ni4421qab.1!nntp.google.com!6no16194643qao.1!postnews.google.com!
glegroupsg2000goo.googlegroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Sat, 18 Jan 2014 00:12:33 -0800 (PST)
In-Reply-To: <p...@4...com>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=89.67.189.218;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 89.67.189.218
References: <4...@g...com>
<p...@4...com>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <1...@g...com>
Subject: Re: generowanie programow
From: g...@g...com
Injection-Date: Sat, 18 Jan 2014 08:12:33 +0000
Content-Type: text/plain; charset=ISO-8859-2
Content-Transfer-Encoding: quoted-printable
Xref: news-archive.icm.edu.pl pl.comp.programming:204982
[ ukryj nagłówki ]
W dniu sobota, 18 stycznia 2014 03:35:48 UTC+1 użytkownik A. L. napisał:
> On Fri, 17 Jan 2014 15:01:54 -0800 (PST), g...@g...com
> wrote:
>
>
> >Bardzo ladne wystapienie Daniela Friedmana
> >i Williama Byrda wprowadzajace w system do
> >programowania w logice "kanren" dla Scheme'u.
> >Polecam obejrzenie przynajmniej pierwszych
> >20 minut, bo to, co sie dzieje w 20-tej minucie,
> >robi wielkie wrazenie :]
> >
> >http://www.youtube.com/watch?v=fHK-uS-Iedc
> >
> >Mowiac w skrocie: autorzy najpierw pokazuja,
> >w jaki sposob mozna przepisac program napisany
> >w stylu funkcyjnym na "program w logice"
> >(poprzez dopisanie dodatkowego argumentu,
> >majacego reprezentowac wynik),
>
>
> A co to ma wspolnego z "programwoaniem w logice"?...

Co co ma wspolnego z programowaniem w logice?

> P.S> 20 minut bede ogladal jak pojde na emeryture

Czekam zatem ;]