StackOverflow2013

Note that there are some explanatory texts on larger screens.

plurals

PO
primarykey
Id
8775689
data
AcceptedAnswerId
0
AnswerCount
0
ClosedDate
CommentCount
1
CommunityOwnedDate
CreationDate
2012-01-08T04:22:44.227
FavoriteCount
0
LastActivityDate
2012-01-08T22:36:49.303
LastEditDate
2012-01-08T22:36:49.303
LastEditorUserId
508745
OwnerUserId
508745
ParentId
8775687
PostTypeId
2
Score
29
ViewCount
0
LastEditorDisplayName
text
Body
This is absolutely possible! You're almost there. You just bumped into Common Lisp's dual namespaces, which can take a lot of getting used to. I hope I can say a thing or two to make Common Lisp's two namespaces a bit less confusing. Your code is almost correct. You wrote: <pre><code>(defun foo (fn seq) (mapcar #'fn seq)) </code></pre> But, what is that trying to do? Well, #' is shorthand. I'll expand it out for you. <pre><code>(defun foo (fn seq) (mapcar (function fn) seq)) </code></pre> So, #'symbol is shorthand for (function symbol). In Common Lisp -- as you seem to know -- symbols can be bound to a function and to a variable; these are the two namespaces that Lispers talk so much about: the function namespace, and the variable namespace. Now, what the function special form does is get the function bound to a symbol, or, if you like, the value that the symbol has in the function namespace. Now, on the REPL, what you wrote would be obviously what you want. <pre><code>(mapcar #'car sequence) </code></pre> Would map the car function to a sequence of lists. And the car symbol has no variable binding, only a function binding, which is why you need to use (function ...) (or its shorthand, #') to get at the actual function. Your foo function doesn't work because the function you pass it as an argument is being bound to a symbol as a variable. Try this: <pre><code>(let ((fn #'sqrt)) (mapcar #'fn '(4 9 16 25))) </code></pre> You might have expected a list of all those numbers' square roots, but it didn't work. That's because you used let to bind the square root function to fn as a variable. Now, try this code: <pre><code>(let ((fn #'sqrt)) (mapcar fn '(4 9 16 25))) </code></pre> Delightful! This binds the square root function to the fn symbol as a variable. So, let's go revise your foo function: <pre><code>(defun foo (fn seq) (mapcar fn seq)) </code></pre> That will work, because fn is a variable. Let's test it, just to make sure: <pre><code>;; This will not work (foo sqrt '(4 9 16 25)) ;; This will work (foo #'sqrt '(4 9 16 25)) </code></pre> The first one didn't work, because the square root function is bound to sqrt in the function namespace. So, in the second one, we grabbed the function from the symbol, and passed it to foo, which bound it to the symbol fn as a variable. <hr> Okay, so what if you want to bind a function to a symbol in the function namespace? Well, for starters, defun does that, permanently. If you want it to be temporary, like a let binding, use flet. Flet is, in my opinion, stupid, because it doesn't work exactly like let does. But, I'll give an example, just so you can see. <pre><code>(flet ((fn (x) (sqrt x))) (mapcar fn '(4 9 16 25))) </code></pre> will not work, because flet didn't bind the function to the symbol in the variable namespace, but in the function namespace. <pre><code>(flet ((fn (x) (sqrt x))) (mapcar #'fn '(4 9 16 25))) </code></pre> This will do what you expect, because flet bound that function to the symbol fn in the function namespace. And, just to drive the idea of the function namespace home: <pre><code>(flet ((fn (x) (sqrt x))) (fn 16)) </code></pre> Will return 4.
Tags
Title
singulars
PostAcceptedAnswerId
1. This table or related slice is empty.
PostParentId
1. POHigher order programming with Lisp: Passing a function to mapcar?
 singulars
 PostTypePostTypeId
 PTQuestion
PostTypePostTypeId
1. PTAnswer
UserLastEditorUserId
1. USDaniel Ralston
UserOwnerUserId
1. USDaniel Ralston
plurals
PostLinksPostIdRelatedPostId
1. This table or related slice is empty.
PostLinksRelatedPostIdPostId
1. This table or related slice is empty.
PostsAcceptedAnswerId
1. This table or related slice is empty.
PostsParentIdCreationDate
1. This table or related slice is empty.
VotesPostIdCreationDate
1. VO
 singulars
 PostPostId
 PO
 UserUserId
 This table or related slice is empty.
 VoteTypeVoteTypeId
 VTUpMod
2. VO
 singulars
 PostPostId
 PO
 UserUserId
 This table or related slice is empty.
 VoteTypeVoteTypeId
 VTUpMod
3. VO
 singulars
 PostPostId
 PO
 UserUserId
 This table or related slice is empty.
 VoteTypeVoteTypeId
 VTUpMod
CommentsPostId
1. CO+1 Wow, that is quite some answer. Very detailed. :-)
 singulars
 PostPostId
 PO
 UserUserId
 USChris Jester-Young

Querying!

Guidance

A row detail

Detail views are divided into sections. All the information in the data section comes from columns in the selected row. The other sections display data from other, related rows.

Related data can be related in a to-one or a to-many fashion. Captions of data related in a to-many fashion link to a list view showing a filtered view of the table.

Try moving around until you find a non-empty to-many entry and click on the label to get to one. You can move back to the root by clicking on the database name in the header.