Article View: pl.comp.programming
Article #215824Re: "Najbardziej imponujący kod, jaki widziałem"
From: godek.maciek
Date: Tue, 06 Aug 2019 14:39
Date: Tue, 06 Aug 2019 14:39
21 lines
2791 bytes
2791 bytes
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/4223fd47991acbe045ec > > 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
Technical Details
Message-ID:
<c0e452b2-2375-443e-a7ab-9234a7af33e0@googlegroups.com>Path:
mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erje.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.giganews.com!nntp.giganews.com!b26no6425381qtq.0!news-out.google.com!a5ni1392qtd.0!nntp.google.com!b26no6425370qtq.0!postnews.google.com!glegroupsg2000goo.googlegroups.com!not-for-mailReferences:
<edc55064-0038-4844-a994-4cddd7d77d76@googlegroups.com> <5d498144$0$530$65785112@news.neostrada.pl> <cf14e2d6-7daf-4132-b025-e9a472a54499@googlegroups.com> <5d498f62$0$17354$65785112@news.neostrada.pl>Show Full Headers
Complete Article Headers
X-Received: by 2002:a05:620a:1228:: with SMTP id v8mr3509611qkj.357.1565102376568; 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: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!news.icm.edu.pl!newsfeed.pionier.net.pl!2.eu.feeder.erje.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.giganews.com!nntp.giganews.com!b26no6425381qtq.0!news-out.google.com!a5ni1392qtd.0!nntp.google.com!b26no6425370qtq.0!postnews.google.com!glegroupsg2000goo.googlegroups.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: groups-abuse@google.com Injection-Info: glegroupsg2000goo.googlegroups.com; posting-host=213.192.68.153; posting-account=f7iIKQoAAAAkDKpUafc-4IXhmRAzdB5r NNTP-Posting-Host: 213.192.68.153 References: <edc55064-0038-4844-a994-4cddd7d77d76@googlegroups.com> <5d498144$0$530$65785112@news.neostrada.pl> <cf14e2d6-7daf-4132-b025-e9a472a54499@googlegroups.com> <5d498f62$0$17354$65785112@news.neostrada.pl> User-Agent: G2/1.0 MIME-Version: 1.0 Message-ID: <c0e452b2-2375-443e-a7ab-9234a7af33e0@googlegroups.com> Subject: Re: "Najbardziej imponujący kod, jaki widziałem" From: godek.maciek@gmail.com Injection-Date: Tue, 06 Aug 2019 14:39:36 +0000 Lines: 33 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit