tag:blogger.com,1999:blog-6454006.comments2024-01-16T14:32:49.175+00:00Arcane SentimentArcane Sentimenthttp://www.blogger.com/profile/04144052171693893368noreply@blogger.comBlogger441125tag:blogger.com,1999:blog-6454006.post-16259645487575322382024-01-16T14:32:49.175+00:002024-01-16T14:32:49.175+00:00Thanks ffor sharingThanks ffor sharingHalloween A Holichttps://creeparific.tumblr.com/noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-27380872243170662982023-10-02T01:51:05.804+00:002023-10-02T01:51:05.804+00:00Nice bloogNice bloogMethadone Prisonshttps://methadoneprisons.blogspot.com/noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-65557105289810082482023-05-26T08:35:41.650+00:002023-05-26T08:35:41.650+00:00Great information, I like this kind of blog inform...Great information, I like this kind of blog information really very nice and more I can easily new skills are develop after reading that post.<br /><br /><a href="https://viswaonlinetrainings.com/courses/oracle-rac-online-training/" rel="nofollow">Oracle RAC Online Training from Hyderabad</a><br />Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6454006.post-6536177264860787662021-12-01T08:52:44.743+00:002021-12-01T08:52:44.743+00:00Good rreading your postGood rreading your postClarehttps://www.clarebray.com/noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-41852592683242705862021-10-27T07:37:10.096+00:002021-10-27T07:37:10.096+00:00This comment has been removed by the author.devibalahttps://www.blogger.com/profile/11725941343203020558noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-57840864583122251242021-09-21T04:00:21.595+00:002021-09-21T04:00:21.595+00:00I've been thinking for the last few years that...I've been thinking for the last few years that the Right Thing is to adapt the OCaml idea of two kinds of operators to dynamic typing in which there is only one kind of numeric value. In this Scheme of things, 0.1 and 1/10 are the same value, but whereas (+ 1/10 1/10) => 2/10, (+. 1/10 1/10) => 0.200000000000000011102230246252 or 3602879701896397/18014398509481984.John Cowanhttps://www.blogger.com/profile/11452247999156925669noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-69268062295052343952021-09-12T10:58:15.353+00:002021-09-12T10:58:15.353+00:00Tried the example with SBCL and at least with SBCL...Tried the example with SBCL and at least with SBCL 2.1.8 it actually gives T.Anonymoushttps://www.blogger.com/profile/03551992748486509366noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-41830740011405168592021-07-10T10:21:29.709+00:002021-07-10T10:21:29.709+00:00I am looking for and I love to post a comment that...I am looking for and I love to post a comment that "The content of your post is awesome" Great work! <a href="https://raia.pro/" rel="nofollow">Onoranze funebri Pisa</a>Article Submission Projecthttps://www.blogger.com/profile/18176556182274944726noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-43602524234579332102020-11-09T10:48:22.379+00:002020-11-09T10:48:22.379+00:00Love you blog, was great during my university lect...Love you blog, was great during my university lectures :D Hittan érettségihttps://erettsegitetelek.comnoreply@blogger.comtag:blogger.com,1999:blog-6454006.post-32530676447526327692020-08-09T20:33:31.385+00:002020-08-09T20:33:31.385+00:00Algebra is more than dumb symbol pushing, and alge...Algebra is more than dumb symbol pushing, and algebraic abstractions have (often geometric!) meaning. For example, the meaning of a group is its various group actions on spaces, the meaning of a commutative ring is its prime spectrum, and the meaning of an R-module is the étale space of the corresponding quasicoherent Spec(R)-module.<br /><br />As for “why not Magma?”, well, generality for the sake of generality is never the goal. Magma is general enough that any type with any binary operation is a valid instance of it, but the counterpart is that knowing that a binary operation is the binary operation of a magma tell you nothing! However, knowing that a binary operation is the binary operation of an Abelian group gives you, in exchange for a modest amount of proving effort, a wealth of legitimate meaning-preserving program transformations.Eduardohttps://www.blogger.com/profile/03925144814173624385noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-54424245537582174262019-09-05T06:39:21.787+00:002019-09-05T06:39:21.787+00:00This comment has been removed by the author.Prwatechhttps://www.blogger.com/profile/06790835310889479264noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-50295172265064232122019-08-20T21:49:32.269+00:002019-08-20T21:49:32.269+00:00Well they need to make three versions of Haskell, ...Well they need to make three versions of Haskell, one to pander to mathmeticians & category theorists, one for non-programmers, and one for perl hackers. aoeu256https://www.blogger.com/profile/16123595678632117502noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-72613269695252151502019-06-14T13:44:30.614+00:002019-06-14T13:44:30.614+00:00Capitalized keywords??? Blech! I don't like th...Capitalized keywords??? Blech! I don't like that idea at all.Richard Kenneth Enghttps://www.blogger.com/profile/05644263534712181856noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-77319116202826346822019-01-29T04:29:57.039+00:002019-01-29T04:29:57.039+00:00Funny enough, this helped me grasp the concept eve...Funny enough, this helped me grasp the concept even more! Thanks!Anonymoushttps://www.blogger.com/profile/09701933581867492806noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-55784836707282742842018-11-08T15:59:59.337+00:002018-11-08T15:59:59.337+00:00I laughed so hard with this one. Kudos from a fell...I laughed so hard with this one. Kudos from a fellow Lisper.Flaviohttps://www.blogger.com/profile/03962966093385293542noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-50737015434102873782017-12-10T17:15:08.675+00:002017-12-10T17:15:08.675+00:00I seem to remember a bunch of stuff around types a...I seem to remember a bunch of stuff around types and structs (records?) in this:<br /><br />https://dl.acm.org/citation.cfm?id=1243380<br /><br />Published in 72, but maybe it has references.Vegardhttps://www.blogger.com/profile/04821963505711884515noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-39209148766806432082017-10-28T14:24:14.556+00:002017-10-28T14:24:14.556+00:00In standard Common Lisp, weak symbols could be det...In standard Common Lisp, weak symbols could be detected either by detecting the loss of information attached to them (symbol-function, symbol-value, and the symbol's property list, for example) or by the change in behavior of the constructs that iterate over the symbols of a package (or over all symbols). The first would still allow weakness of symbols that have only default values for those things, but the second rules out any weakness.Paul F. Dietznoreply@blogger.comtag:blogger.com,1999:blog-6454006.post-82865509089603554592017-08-23T22:21:21.523+00:002017-08-23T22:21:21.523+00:00Int is a ring, even with overflow. Google “quotien...Int is a ring, even with overflow. Google “quotient ring”.Eduardohttps://www.blogger.com/profile/03925144814173624385noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-42814942657877434032017-06-30T00:37:51.818+00:002017-06-30T00:37:51.818+00:00Are you sticking with such low level concepts as d...Are you sticking with such low level concepts as division rings to pander to the hacking instincts of programmers? Obviously a properly grounded mathematical framing in terms of homology theory, topos, and Grothendeik primes would be far more rigorous. If we treat e.g. Haskell maps as frictionless points in co-functor generalizations of Jordon-Holder, we could put the whole enterprise of programming on a solid footing.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6454006.post-69703064707468256092017-06-18T15:23:28.366+00:002017-06-18T15:23:28.366+00:00The correct term for communicating purely algebrai...The correct term for communicating purely algebraic abstractions like monads to software people (rather than maths people) isn't abstraction; it's design pattern. That gets people into the right frame of mind, away from specific applications, and out into meta talk about the shape of a design. The fact that design patterns have cropped up in two different guises in different approaches to computation suggests that there's something there, and that it's probably worth formalizing.Barry Kellyhttps://www.blogger.com/profile/10559947643606684495noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-7433489014642697422017-05-24T13:34:28.158+00:002017-05-24T13:34:28.158+00:00Simula, in the late 60s?, is worth a look. Simula, in the late 60s?, is worth a look. exuberancehttps://www.blogger.com/profile/02180872922559635562noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-70893977165510215902016-07-25T17:38:58.395+00:002016-07-25T17:38:58.395+00:00This is an old post I know, but I have was just bl...This is an old post I know, but I have was just blogging about self-evaluating symbolic data here: http://jonathanwarden.com/2016/03/31/self-evaluating-symbolic-data-literals/Jonathan Wardenhttp://jonathanwarden.comnoreply@blogger.comtag:blogger.com,1999:blog-6454006.post-21580552888154012942016-05-06T18:51:27.032+00:002016-05-06T18:51:27.032+00:00Common Lisp's approach is nice because of its ...Common Lisp's approach is nice because of its flexibility. The following example of yours is better written with MULTIPLE-VALUE-LIST:<br /><br />(multiple-value-bind (sec min hour day month year)<br /> (get-decoded-time)<br /> (format t "The year is ~S.~%" year))<br /><br />(format t "The year is ~S.~%" (sixth (multiple-value-list (get-decoded-time))))<br /><br />A list is a suitable structure for collecting multiple return values.<br /><br />One of the prominent advantages of multiple return values baked into the language in a way that is difficult or impossible to add after-the-fact is the choice of using it alongside the easier-to-add approaches.<br /><br />P.S. It would be nice to comment without training Google image-recognition software.Anonymousnoreply@blogger.comtag:blogger.com,1999:blog-6454006.post-22677744289590487682016-02-04T04:35:48.059+00:002016-02-04T04:35:48.059+00:00I don't think so. It should be changed to more...I don't think so. It should be changed to more appropriate phrase. All new students have been confusing, including me myself as a graduate student about 10 years ago.S.Yunehttps://www.blogger.com/profile/10174459489514154697noreply@blogger.comtag:blogger.com,1999:blog-6454006.post-8140212904490496292016-01-02T18:25:59.833+00:002016-01-02T18:25:59.833+00:00It also means they don't automatically ignore ...It also means they don't automatically ignore secondary values, which makes them much less useful. They're not effortless like Common Lisp's.<br /><br />They also used to be verbose, but let-values has fixed that.Arcane Sentimenthttps://www.blogger.com/profile/04144052171693893368noreply@blogger.com