From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: =?UTF-8?Q?=C5=9Acis=C5=82aw_Dercz?= Newsgroups: gmane.lisp.guile.user Subject: =?UTF-8?Q?Re:_Potluck_dish_--_a_game?= Date: Wed, 19 Feb 2014 09:52:55 +0100 Message-ID: <50aedf88.3aaa5982.530470e7.78850@o2.pl> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset="UTF-8" Content-Transfer-Encoding: quoted-printable X-Trace: ger.gmane.org 1392799998 31601 80.91.229.3 (19 Feb 2014 08:53:18 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 19 Feb 2014 08:53:18 +0000 (UTC) To: guile-user@gnu.org Original-X-From: guile-user-bounces+guile-user=m.gmane.org@gnu.org Wed Feb 19 09:53:24 2014 Return-path: Envelope-to: guile-user@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1WG2uB-0004Rg-Tc for guile-user@m.gmane.org; Wed, 19 Feb 2014 09:53:24 +0100 Original-Received: from localhost ([::1]:57398 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WG2uB-0003lX-Aw for guile-user@m.gmane.org; Wed, 19 Feb 2014 03:53:23 -0500 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:42076) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WG2tw-0003lQ-Aq for guile-user@gnu.org; Wed, 19 Feb 2014 03:53:14 -0500 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1WG2tl-0007fF-PZ for guile-user@gnu.org; Wed, 19 Feb 2014 03:53:08 -0500 Original-Received: from moh1-ve2.go2.pl ([193.17.41.132]:54432) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1WG2tl-0007f3-Es for guile-user@gnu.org; Wed, 19 Feb 2014 03:52:57 -0500 Original-Received: from moh1-ve2.go2.pl (unknown [10.0.0.132]) by moh1-ve2.go2.pl (Postfix) with ESMTP id 7DB6D1064DBD for ; Wed, 19 Feb 2014 09:52:56 +0100 (CET) Original-Received: from o2.pl (unknown [10.0.0.148]) by moh1-ve2.go2.pl (Postfix) with SMTP for ; Wed, 19 Feb 2014 09:52:56 +0100 (CET) X-Originator: 94.78.181.249 X-detected-operating-system: by eggs.gnu.org: GNU/Linux 2.6.x X-Received-From: 193.17.41.132 X-BeenThere: guile-user@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: General Guile related discussions List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: guile-user-bounces+guile-user=m.gmane.org@gnu.org Original-Sender: guile-user-bounces+guile-user=m.gmane.org@gnu.org Xref: news.gmane.org gmane.lisp.guile.user:11081 Archived-At: Hi=20Mateusz! Nice=20to=20meet=20someone=20mathematically-oriented!=20I'm=20delighted=20= with=20your=20care about=20the=20proper=20use=20of=20algebraic=20language=20and=20am=20alway= s=20eager=20to=20be corrected.=20However=20this=20time=20there=20is=20no=20need=20to=20do=20s= o=20--=20it=20IS=20a=20monoid, one=20of=20those=20you=20meet=20almost=20everywhere,=20i.e.=20a=20monoid=20= of=20X->X transformations.=20The=20identity=20map=20is=20it's=20neutral=20element=20= (identity,=20unit) and=20composition=20(X->X)x(X->X)->(X->X)=20is=20its=20action.=20Notice=20= that=20it=20is=20not a=20group=20since=20some=20transformations=20cannot=20be=20reverted=20--=20= e.g.=20the=20ones produced=20with=20mk-remover. The=20code=20is=20a=20bit=20messy=20and=20it=20mostly=20comes=20from=20a=20= one-night=20hackaton,=20and I=20will=20not=20be=20able=20to=20polish=20it=20until=20next=20weekend=20= for=20sure. I=20will=20translate=20the=20Polish=20comments.=20At=20the=20moment=20I=20= can=20only=20provide=20you with=20the=20last=20one,=20a=20neat=20mixture=20of=20Gombrowicz=20and=20M= aslowska:=20"koniec bomba=20a=20kto=20czytal=20ten=20ssie=20galy=20eurocwelom"=20--=20the=20t= ranslation=20does=20not seem=20trivial,=20perhaps=20something=20like=20"The=20end=20and=20the=20b= omb,=20who=20read=20is=20an euro-pansy=20cocksucker"=20--=20however=20it=20might=20look=20a=20bit=20h= omophobic=20(as=20many Polish=20curses=20do),=20perhaps=20you=20or=20Panicz=20could=20propose=20= something=20better? Greeting, d. PS=20I=20just=20found=20your=20answer,=20so=20now=20I=20guess=20we=20do=20= agree=20on=20the=20monoid thing? As=20of=20monads=20I=20do=20understand=20that=20the=20class=20of=20endofu= nctors=20with composition=20and=20identity=20as=20unit=20form=20a=20monoid,=20no=20doub= t,=20that's=20the construction=20I=20mentioned=20at=20the=20beginning. But=20that's=20the=20monad-monoid=20relation=20in=20the=20direction=20opp= osite=20to=20what=20I was=20asking=20for.=20And=20technically=20I=20am=20not=20sure=20whether=20= "the=20endofunctor definition"=20applies=20to=20Kleisli=20triplets=20(which=20you=20probably= =20meant)=20that easily,=20as=20it=20seems=20either=20broader,=20or=20that=20the=20"all=20= told"=20part=20hides=20some important=20constraints,=20like=20that=20the=20category=20C=20you=20consi= der=20has=20enough means=20(perhaps=20binary=20products=20or=20some=20other=20universal=20co= nstructions)=20to represent=20"the=20new=20type"=20T(A)=20for=20any=20A=20in=20C...=20But=20= again,=20I=20am=20an=20ignorant so=20please=20do=20correct=20me.