Writing as an unreconstructed imperative &amp; OO programmer...  Have messed about with Erlang and also Haskell lately. I like Erlang, not sure yet about Haskell. Functional seems more like math than programming, hope that makes sense. Functional programming seems very powerful.  Reading docs on the interwibble wrt functional programming I come across the word 'currying' constantly. I seem to be finding only docs that are somewhat over my head - much terminology that is not defined.  What is currying?  I have looked for similar already posted questions but did not find anything, so feel free to point me to established thread.
I've seen references to curried functions in several articles and blogs but I can't find a good explanation (or at least one that makes sense!)
When I want to edit a tag of a question I get following message:     Your edit will be placed in a queue until it is peer reviewed.      We welcome all constructive edits, but please make them substantial. Avoid trivial, tiny one-letter edits unless absolutely necessary.   Now the question is: are tag edits (adding a needed tag to an under-untagged, replacing a mis-used tag) substantial enough?  For example the proc-tag-wiki is just about a Ruby feature called proc - but currenlty some questions about Oracle Pro*C (a embedded SQL preprocessor) or the Linux /proc filesystem are also tagged with proc. Btw, what tag should be used for /proc?  Say I come across a Pro*C Question which is tagged with proc - is a change to proc-sql considered substantial or not? Proof a set cannot contain its own powerset - Russell's Paradox How to get the valid URL of a Link field from within a Twig template? I have a Link field named field_my_link (machine name).  Within a Twig template I can get the link's URL value with this:  {{ node.field_my_link.uri }}   If inside the Link's URL there is an external URL, e.g. http://example.com it works good.  But, if inside the Link's URL there is stored an internal URL, e.g. "/node/11", I get a value like this:  "internal:/node/11"   with the "internal:" prefix.  How can I get the valid URL?  For example, if the link's URL is "http://example.com" I want "http://example.com" (this already works), if the link's URL is "/node/11" I want the relative URL "/node/11", if the link's URL is "&lt;front&gt;" I want the URL "/", etc.    EDIT  I can get the value I want within a PHP preprocess function, using this:  $url = $variables['node']-&gt;get('field_my_link')-&gt;first()-&gt;getUrl();   How can I access the same value within the Twig template?  I know I can do this within the preprocess function:  $variables['my_url'] = $url;   Then access the url within Twig using {{ my_url }}, but I would avoid to write a preprocess function each time I have a link field. Topology induced by seminorms and initial topology Let's say we have a family of seminorms $(\rho_\alpha)_{\alpha \in A}$ on a vector space $V$.  There are two ways to topologize $V$ using those seminorms:   We define topology $\mathcal S$ by a subbasis consisting of sets of the form $$ B_{x, \alpha, \epsilon} =\{v \in V : \rho_\alpha(v - x) &lt; \epsilon \} $$ for some $\epsilon &gt; 0, x \in V, \alpha \in A$. We define topology $\mathcal I$ as the smallest topology in which the seminorms are continuous.   I've showed that the seminorms are continuous in $\mathcal S$, and that  implies $\mathcal I \subseteq \mathcal S$. I'm having trouble with the other direction. It is clear to me that $B_{0, \alpha, \epsilon} = \rho_\alpha^{-1}  ((-\epsilon, \epsilon ))$, so it's enough to show that vector addition is continuous in respect to $\mathcal I$, but I don't know how to do that. OSVR has a right-handed system: x is right, y is up, z is near.  I need to convert orientation data from a sensor in OSVR to a different right-handed system in which x is forward, y is left, and z is up.  I need to calculate the transformation that will convert a quaternion from one system to the other.  I naively tried:  void osvrPoseCallback(const geometry_msgs::PoseStampedConstPtr &amp;msg) { // osvr to ros     geometry_msgs::PoseStamped outputMsg;      outputMsg.header = msg-&gt;header;     outputMsg.pose.orientation.x = msg-&gt;pose.orientation.y;     outputMsg.pose.orientation.y = msg-&gt;pose.orientation.z;     outputMsg.pose.orientation.z = msg-&gt;pose.orientation.x;     outputMsg.pose.orientation.w = msg-&gt;pose.orientation.w;      osvrPosePub.publish(outputMsg);     ros::spinOnce(); }   But that made things really weird. Facing north pitch is pitch, facing west, pitch is yaw, facing south, pitch is negative pitch...  How can I convert my OSVR quaternion to the a corresponding quaternion in the new coordinate system? Reputation for graph is off by a day So when we view reputation, there is graph view. However, it seems to be off by a day. Here's what I mean:   I'm sure 70 + 20 + 15 is not 15. Its 105, which is what we see below:   And 40 + 10 is NOT 105, unless you did  :)     Anyways 40 + 10 is 50:   So yeah. Did you do what that post on codegolf says? Devs better fix that :) Some questions and answers are marked Community Wiki and are owned by a community wiki user:  (In fact, this very question is one of them)  Why have Community Wiki posts? How do Community Wiki posts work? How does a post become a Community Wiki post? How can the Community Wiki status be removed from a post? How can I find Community Wiki posts? This question relates to a discussion on . Euclid's proof of the infinitude of primes is an indirect proof (a.k.a. proof by contradiction, reductio ad absurdum, modus tollens). My understanding is that Intuitionists reject such proofs because they rely on the Law of the Excluded Middle, which they don't accept. Does there exist a direct and constructive proof of the infinitude of primes? Can the category of chain complexes be realized as a functor category? As the title says, is there some sort of category $\mathsf{C}$ which can be thought of as the "walking chain complex", so that the category of chain complexes in some other category $\mathsf{A}$ can be realized as $\mathsf{A}^\mathsf{C}$ (or perhaps some subcategory thereof)? How to use 1. (number followed by dot) format instead of [1] format in bibliography Put   $$ l^{\infty} = \{ (x_n) \subseteq \mathbb{C} : \forall j \; \;\ \;|x_j| \leq C(x)\} $$  I want to show that $c_0$, the space of all sequences of scalars that converges to $0$ is closed subspace of $l^{\infty}$.  MY atttemt: Take arbitrary sequence $(x_n) \in c_0$. We know $x_n \to 0$. but $0 \in c_0$. Therefore, every sequence in $c_0$ converges to an element in $c_0$. Hence, $c_0$ must be closed  Is this correct? thanks Who else knew that Lord Voldemort was Tom Marvolo Riddle? We know that some people were aware of the fact that Lord Voldemort was Tom Marvolo Riddle prior to his return in Goblet of Fire; at the very least his close soon-to-be-Death-Eater &quot;friends&quot; and Albus Dumbledore:  “Very few people know that Lord Voldemort was once called Tom Riddle. I taught him myself, fifty years ago, at Hogwarts...&quot; ... underwent so many dangerous, magical transformations, that when he resurfaced as Lord Voldemort, he was barely recognizable. Hardly anyone connected Lord Voldemort with the clever, handsome boy who was once Head Boy here.” (Professor Dumbledore to Weasleys, Chamber of Secrets, CHAPTER EIGHTEEN, Dobby’s Reward)  and  “Voldemort,” said Riddle softly, “is my past, present, and future, Harry Potter…” He pulled Harry’s wand from his pocket and began to trace it through the air, writing three shimmering words: TOM MARVOLO RIDDLE Then he waved the wand once, and the letters of his name rearranged themselves: I AM LORD VOLDEMORT “You see?” he whispered. “It was a name I was already using at Hogwarts, to my most intimate friends only, of course. ...  (Tom's Diary manifestation in the Chamber of Secrets).  QUESTION: Who - based on canon (books/interviews/pottermore) - knew about the fact that Lord Voldemort was Tom Marvolo Riddle prior to Ginny being taken to the Chamber of Secrets? Obviously, Albus Dumbledore and Tom himself. Who else? How to render a background image in 2.8? I'm trying to "add" an 3D object onto a photo. I have added the photo to the scene in three ways so far, but none of them render (eevee):   Camera > Background Images Empty a. Add > Empty > Image (Empty gets added to current Collection) b. Add > Image > Backround (Empty gets added to Scene Collection)   These all show up in the 3D View and I was able to align the camera and the object so its perspective matches the scene in the photograph. But when I Render the scene, I only see the object, not the background image.  For the latter, it's simple: Empties are not rendered at all. There are few questions about this, since 2.8 has changed how it handles background images. The most popular seems this one (it includes references to others):      But I seem not to be able to find a method to have the background image render.  Another method might be to use the Compositor (Nodes) to Mix or Alpha Over an Image with the Render Layers. But this does not give the same alignment as achieved with the background image (also this requires that the World background does not get rendered (Alpha channel); for Eevee, this can be achieved by checking Film>Transparent).  What other options are there?  Docs: Proof conclusion to: Let m,n $\in$ $\mathbb{N}$ $\backslash$ $\{0\}$ . Prove that $s |\tau (m^{s}) - \tau(n^{s})$, where $\tau$ is a divisor function.   Hello, so I have a tiny question about the summarization of my proof.  I got to the point where I defined my $\tau$ divisor function and got them both $\tau(m^s)$= $\prod$ something +1 and $\tau(n^{s})$ = $\prod$ something +1.    I've noticed that the last terms of the polynomial are both one. Why is it with the +1 part, I can conclude with that:  s| $\tau(m^s)$ - $\tau(n^s)$.   The line for why that is, isn't quite clear. The default in lyx is to have   I. First part (roman number)   Section 1   1.1 Subsection 1  and I'd like to have   First part (arabic number)   1.1 Section 1  1.1.1 Subsection 1  etc.   Any suggestion? Thanks a lot in advance! If HTML, CSS, and Javascript are client-side, why are they components of a PHP file? Coming from Eclipse and having been used to duplicate lines all the time, it's pretty strange finding out that Xcode has no such function. Or does it?  I know it's possible to change the system wide keybindings but that's not what I'm after. If a ring element is right-invertible, but not left-invertible, then it has infinitely many right-inverses. Shutdown button only logs out ubuntu 15.04 unable to use synaptic via launcher When I open synaptic via launcher on gnome-panel, it opens and asks me for the password but if I enter the password, it says its wrong even though the password is correct and it used to work OK few days ago. If I open synaptic via terminal using sudo synaptic then it opens OK without any problem.