Re: "Najbardziej imponujący kod, jaki widziałem" - Grupy dyskusyjne w eGospodarka.pl

eGospodarka.pl › Grupy › pl.comp.programming › "Najbardziej imponujący kod, jaki widziałem" › Re: "Najbardziej imponujący kod, jaki widziałem"

X-Received: by 2002:a0c:c382:: with SMTP id o2mr3303137qvi.75.1565102376418; Tue, 06
Aug 2019 07:39:36 -0700 (PDT)
X-Received: by 2002:a0c:c382:: with SMTP id o2mr3303137qvi.75.1565102376418; Tue, 06
Aug 2019 07:39:36 -0700 (PDT)
Path: news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erj
e.net!4.us.feeder.erje.net!feeder.erje.net!weretis.net!feeder6.news.weretis.net
!feeder.usenetexpress.com!feeder-in1.iad1.usenetexpress.com!border1.nntp.dca1.g
iganews.com!nntp.giganews.com!b26no6425381qtq.0!news-out.google.com!a5ni1392qtd
.0!nntp.google.com!b26no6425370qtq.0!postnews.google.com!glegroupsg2000goo.goog
legroups.com!not-for-mail
Newsgroups: pl.comp.programming
Date: Tue, 6 Aug 2019 07:39:36 -0700 (PDT)
In-Reply-To: <5d498f62$0$17354$65785112@news.neostrada.pl>
Complaints-To: g...@g...com
Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.192.68.153;
posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r
NNTP-Posting-Host: 213.192.68.153
References: <e...@g...com>
<5d498144$0$530$65785112@news.neostrada.pl>
<c...@g...com>
<5d498f62$0$17354$65785112@news.neostrada.pl>
User-Agent: G2/1.0
MIME-Version: 1.0
Message-ID: <c...@g...com>
Subject: Re: "Najbardziej imponujący kod, jaki widziałem"
From: g...@g...com
Injection-Date: Tue, 06 Aug 2019 14:39:36 +0000
Content-Type: text/plain; charset="UTF-8"
Content-Transfer-Encoding: quoted-printable
Lines: 33
Xref: news-archive.icm.edu.pl pl.comp.programming:213759
[ ukryj nagłówki ]

W dniu wtorek, 6 sierpnia 2019 16:32:17 UTC+2 użytkownik Borneq napisał:

> > Przyznam też, że pomocna była dla mnie lektura źródeł microkanrena w Haskellu
(dzięki systemowi typów rozumiało mi się to dużo lepiej, niż implementację w Scheme):
> > https://gist.github.com/msullivan/4223fd47991acbe045
ec
>
> Co to znaczy microkanren w Haskellu?
> Czy ten mały program to interpreter w Haskellu składni schemapodobnej
> microkanrena czy też rozszerzenie Haskella i microkanren ma tu składnię
> haskelopoodbną?

Tzn. ma składnię wywiedzioną z Haskella (nie tyle "Haskellopodobną", tylko taką, na
jaką Haskell naturalnie pozwala swoimi konstruktorami typów i funkcji anonimowych)

na dole wklejonego powyżej linka jest kilka przykładów wyrażeń w Haskellowym
microKanrenie.

MiniKanren jako taki nie ma swojej składni, jego składnia jest z założenia
"pasożytnicza" na składni goszczącego języka.

Różne implementacje języków *Kanren można znaleźć tutaj:
http://minikanren.org/

Jak byś sobie chciał zobaczyć jak to wygląda np. w JavaScripcie, to tutaj masz
przykłady:
https://github.com/tca/veneer/blob/master/mk_test.js