Re: Przyjemny, elegancki, prosty jezyk funkcyjny

Article View: pl.comp.lang.funkcyjne

Article #900

Back to pl.comp.lang.funkcyjne Previous Next

#900

From: Michał Przybyłek
Date: Sat, 19 May 2007 14:14

26 lines
2543 bytes

Marcin 'Qrczak' Kowalczyk napisał(a):

[...]

Tak na marginesie - właśnie próbuję zdefiniować pewien nowy model 
współbierzności. Cała zabawa jest na poziomie semantycznym, ale używam 
dla wygody na wpół zdefiniowanego na papierze języka "funkcyjnego". W 
owym funkcyjnym języku nie ma w ogóle klasycznych funkcji - "funkcje" są 
płaskie i symetrycznie definiowalne - po prostu specyfikuje się, które 
"paramtery" w funkcji są wejściami, a które wyjściami (podobnie jak w 
Mercurym, lub typowanym Prologu, ale tutaj to pozostaje esencjalnie 
funkcją, a nie predykatem). Np. funkja Inc : Int -> Int u mnie ma typ 
Inc : Int x !Int i definiuje się mniej więcej tak:

Inc(x, y):
   Add(x, 1, y)


Zauważ, że teraz wszystkie pośrednie wyniki trzeba zapisywać w zmiennych 
(nie ma możliwości robienia jakichkolwiek kaskadowych składań ; na 
papierze czasami rysuję "rurki" przy komplementarnej parze wejść). To 
była raczej tylko konsekwencja wygody dla semantyki, ale koncepcja 
istnienia w języku tylko płaskich wołań jest całkiem interesująca.


mp

Technical Details

Message-ID: <f2n0u9$n2o$1@nemesis.news.tpi.pl>

Path:

mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newshub.sdsu.edu!newsfeed.news2me.com!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail

References:

<1179163778.661628.303210@h2g2000hsg.googlegroups.com>  <f2ak3b$rpj$1@nemesis.news.tpi.pl>  <1179268422.157417.102270@o5g2000hsb.googlegroups.com>  <f2ej9b$f4k$1@nemesis.news.tpi.pl> <1179352200.4321.8.camel@qrnik>  <f2igt8$2j$1@atlantis.news.tpi.pl> <1179440766.31265.21.camel@qrnik>  <f2imn9$iig$1@atlantis.news.tpi.pl> <1179528669.15951.26.camel@qrnik>  <f2ldb0$nun$1@atlantis.news.tpi.pl> <1179534794.18262.35.camel@qrnik>  <f2mhpe$fpb$1@atlantis.news.tpi.pl> <1179577062.20571.28.camel@qrnik>

Show Full Headers

Complete Article Headers

Path: mbox-mo1.pugleaf.net!news-archive.icm.edu.pl!newsfeed.gazeta.pl!news.nask.pl!news.nask.org.pl!newshub.sdsu.edu!newsfeed.news2me.com!newsfeed.tpinternet.pl!atlantis.news.tpi.pl!news.tpi.pl!not-for-mail
From: Michał Przybyłek <pummelo@hamete.pl>
Newsgroups: pl.comp.lang.funkcyjne
Subject: Re: Przyjemny, elegancki, prosty jezyk funkcyjny
Date: Sat, 19 May 2007 16:14:22 +0200
Organization: tp.internet - http://www.tpi.pl/
Lines: 26
Message-ID: <f2n0u9$n2o$1@nemesis.news.tpi.pl>
References: <1179163778.661628.303210@h2g2000hsg.googlegroups.com>  <f2ak3b$rpj$1@nemesis.news.tpi.pl>  <1179268422.157417.102270@o5g2000hsb.googlegroups.com>  <f2ej9b$f4k$1@nemesis.news.tpi.pl> <1179352200.4321.8.camel@qrnik>  <f2igt8$2j$1@atlantis.news.tpi.pl> <1179440766.31265.21.camel@qrnik>  <f2imn9$iig$1@atlantis.news.tpi.pl> <1179528669.15951.26.camel@qrnik>  <f2ldb0$nun$1@atlantis.news.tpi.pl> <1179534794.18262.35.camel@qrnik>  <f2mhpe$fpb$1@atlantis.news.tpi.pl> <1179577062.20571.28.camel@qrnik>
NNTP-Posting-Host: dlu86.neoplus.adsl.tpnet.pl
Mime-Version: 1.0
X-Trace: nemesis.news.tpi.pl 1179584265 23640 83.24.50.86 (19 May 2007 14:17:45 GMT)
X-Complaints-To: usenet@tpi.pl
NNTP-Posting-Date: Sat, 19 May 2007 14:17:45 +0000 (UTC)
User-Agent: Thunderbird 1.5.0.10 (Windows/20070221)
In-Reply-To: <1179577062.20571.28.camel@qrnik>
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit

Reply to Parent Message