Having briefly looked at Haskell recently, what would be a brief, succinct, practical explanation as to what a monad essentially is?
I have found most explanations I've come across to be fairly inaccessible and lacking in practical detail.
|
Having briefly looked at Haskell recently, what would be a brief, succinct, practical explanation as to what a monad essentially is? I have found most explanations I've come across to be fairly inaccessible and lacking in practical detail. |
|||||||||||||||||||||
|
|
First: The term monad is a bit vacuous if you are not a mathematician. An alternative term is computation builder which is a bit more descriptive of what they are actually useful for. You ask for practical examples: Example 1: List comprehension:
This expression returns the doubles of all odd numbers in the range from 1 to 10. Very useful! It turns out this is really just syntactic sugar for some operations within the List monad. The same list comprehension can be written as:
Or even:
Example 2: Input/Output:
Both examples use monads, AKA computation builders. The common theme is that the monad chains operations in some specific, useful way. In the list comprehension, the operations are chained such that if an operation returns a list, then the following operations are performed on every item in the list. The IO monad on the other hand performs the operations sequentially, but passes a "hidden variable" along, which represents "the state of the world", which allows us to write I/O code in a pure functional manner. It turns out the pattern of chaining operations is quite useful and is used for lots of different things in Haskell. Another example is exceptions: Using the Both the list-comprehension syntax and the do-notation are syntactic sugar for chaining operations using the Example 3: A parser This is a very simple parser which parses either a quoted string or a number:
The operations Example 4: Asynchronous programming The above examples are in Haskell, but it turns out F# also supports monads. This example is stolen from Don Syme:
This method fetches a web page. The punch line is the use of In most other languages you would have to explicitly create a separate function for the lines that handle the response. The How they work So how can a monad do all these fancy control-flow thing? What actually happens in a do-block (or a computation expression as they are called in F#), is that every operation (basically every line) is wrapped in a separate anonymous function. These functions are then combined using the As an example, this is the expanded version of the IO-code from example 2:
This is uglier, but it's also more obvious what is actually going on. The Note that The simplest possible implementation of There is some additional cleverness in how the values are passed from one operation to the next, but this requires a deeper explanation of the Haskell type system. Summing up In Haskell-terms a monad is a parameterized type which is an instance of the Monad type class, which defines >>= along with a few other operators. In layman's terms, a monad is just a type for which the In itself Why are monads hard? For many Haskell-learners, monads are an obstacle they hit like a brick wall. It's not that monads themselves are complex, but that the implementation relies on many other advanced Haskell features like parameterized types, type classes, and so on. The problem is that Haskell I/O is based on monads, and I/O is probably one of the first things you want to understand when learning a new language - after all, it's not much fun to create programs which don't produce any output. I have no immediate solution for this chicken-and-egg problem, except treating I/O like "magic happens here" until you have enough experience with other parts of language. Sorry. |
|||||||||||||||||||||
|
|
Hoooo boy! You've asked one VFAQ here. :-D OK, explaining "what is a monad" is a bit like saying "what is a number?" We use numbers all the time. But imagine you met someone who didn't know anything about numbers. How the heck would you explain what numbers are? And how would you even begin to describe why that might be useful? What is a monad? The short answer: It's a specific way of chaining operations together. In essence, you're writing execution steps and linking them together with the "bind function". (In Haskell, it's named So the bind function is like a semicolon; it separates the steps in a process. The bind function's job is to take the output from the previous step, and feed it into the next step. That doesn't sound too hard, right? But there is more than one kind of monad. Why? How? Well, the bind function can just take the result from one step, and feed it to the next step. But if that's "all" the monad does... that actually isn't very useful. And that's important to understand: Every useful monad does something else in addition to just being a monad. Every useful monad has a "special power", which makes it unique. (A monad that does nothing special is called the "identity monad". Rather like the identity function, this sounds like an utterly pointless thing, yet turns out not to be... But that's another story™.) Basically, each monad has its own implementation of the bind function. And you can write a bind function such that it does hoopy things between execution steps. For example:
All of this and more is possible with monads. Of course, all of this is also perfectly possible without monads too. It's just drastically easier using monads. |
|||||||||||||||||||||
|
|
But, You could have invented Monads!
|
|||||||||||||||||||||
|
|
Actually, contrary to common understanding of Monads, they have nothing to do with state. Monads are simply a way to wrapping things and provide methods to do operations on the wrapped stuff without unwrapping it. For example, you can create a type to wrap another one, in Haskell:
To wrap stuff we define
To perform operations without unwrapping, say you have a function
That's about it there is to understand. However, it turns out that there is a more general function to do this lifting, which is
The cool thing is that this turns out to be such a general pattern that it pops up all over the place, encapsulating state in a pure way is only one of them. For a good article on how monads can be used to introduce functional dependencies and thus control order of evaluation, like it is used in Haskell's IO monad, check out IO Inside. As for understanding monads, don't worry too much about it. Read about them what you find interesting and don't worry if you don't understand right away. Then just diving in a language like Haskell is the way to go. Monads are one of these things where understanding trickles into your brain by practice, one day you just suddenly realize you understand them. |
|||||||||||||||||||||
|
|
A monad is a datatype that has two operations: In Haskell notation, the monad interface is written
These operations are supposed to obey certain "laws", but that's not terrifically important: the "laws" just codify the way sensible implementations of the operations ought to behave (basically, that Monads are not just about state and I/O: they abstract a common pattern of computation that includes working with state, I/O, exceptions, and non-determinism. Probably the simplest monads to understand are lists and option types:
where You really have to play around writing some non-trivial Haskell code to appreciate what monads are about and why they are useful. |
|||||||||||||
|
|
You should first understand what a functor is. Before that, understand higher-order functions. A higher-order function is simply a function that takes a function as an argument. A functor is any type construction T for which there exists a higher-order function, call it
For example, a type constructor called A monad is essentially just a functor
Why is that useful? Because you could, for example, You can write a function that does A monad has to satisfy certain laws, namely that |
|||||||||||||
|
|
[Disclaimer: I am still trying to fully grok monads. The following is just what I have understood so far. If it’s wrong, hopefully someone knowledgeable will call me on the carpet.] Arnar wrote:
That’s precisely it. The idea goes like this:
But the example is just what happens for Basically, “monad” roughly means “pattern”. But instead of a book full of informally explained and specifically named Patterns, you now have a language construct – syntax and all – that allows you to declare new patterns as things in your program. (The imprecision here is all the patterns have to follow a particular form, so a monad is not quite as generic as a pattern. But I think that’s the closest term that most people know and understand.) And that is why people find monads so confusing: because they are such a generic concept. To ask what makes something a monad is similarly vague as to ask what makes something a pattern. But think of the implications of having syntactic support in the language for the idea of a pattern: instead of having to read the Gang of Four book and memorise the construction of a particular pattern, you just write code that implements this pattern in an agnostic, generic way once and then you are done! You can then reuse this pattern, like Visitor or Strategy or Façade or whatever, just by decorating the operations in your code with it, without having to re-implement it over and over! So that is why people who understand monads find them so useful: it’s not some ivory tower concept that intellectual snobs pride themselves on understanding (OK, that too of course, teehee), but actually makes code simpler. |
|||||||||||||
|
|
(See also the answers at What is a monad?) A good motivation to Monads is sigfpe (Dan Piponi)'s You Could Have Invented Monads! (And Maybe You Already Have). There are a LOT of other monad tutorials, many of which misguidedly try to explain monads in "simple terms" using various analogies: this is the monad tutorial fallacy; avoid them. As DR MacIver says in Tell us why your language sucks:
You say you understand the Maybe monad? Good, you're on your way. Just start using other monads and sooner or later you'll understand what monads are in general. [If you are mathematically oriented, you might want to ignore the dozens of tutorials and learn the definition, or follow lectures in category theory :) The main part of the definition is that a Monad M involves a "type constructor" that defines for each existing type "T" a new type "M T", and some ways for going back and forth between "regular" types and "M" types.] Also, surprisingly enough, one of the best introductions to monads is actually one of the early academic papers introducing monads, Philip Wadler's Monads for functional programming. It actually has practical, non-trivial motivating examples, unlike many of the artificial tutorials out there. |
|||||||||||||||||||||
|
|
A monad is, effectively, a form of "type operator". It will do three things. First it will "wrap" (or otherwise convert) a value of one type into another type (typically called a "monadic type"). Secondly it will make all the operations (or functions) available on the underlying type available on the monadic type. Finally it will provide support for combining its self with another monad to produce a composite monad. The "maybe monad" is essentially the equivalent of "nullable types" in Visual Basic / C#. It takes a non nullable type "T" and converts it into a "Nullable<T>", and then defines what all the binary operators mean on a Nullable<T>. Side effects are represented simillarly. A structure is created that holds descriptions of side effects alongside a function's return value. The "lifted" operations then copy around side effects as values are passed between functions. They are called "monads" rather than the easier-to-grasp name of "type operators" for several reasons:
|
|||||||||||||||||||||
|
|
As soon as you understand Monads, you will understand that this is a Monad, too. {{alt: What if someone broke out of a hypothetical situation in your room right now?}} |
|||||||||||||||||
|
|
After much striving, I think I finally understand the monad. After rereading my own lengthy critique of the overwhelmingly top voted answer, I will offer this explanation. There are three questions that need to be answered to understand monads: Why do you need a monad? What is a monad? How is a monad implemented? As I noted in my original comments, too many monad explanations get caught up in question number 3, without, and before really adequately covering question 2, or question 1. Why do you need a monad? Pure functional languages like Haskell are different from imperative languages like C, or Java in that, a pure functional program is not necessarily executed in a specific order, one step at a time. A Haskell program is more akin to a mathematical function, in which you may solve the "equation" in any number of potential orders. This confers a number of benefits, among which is that it eliminates the possibility of certain kinds of bugs, particularly those relating to things like "state". However, there are certain problems that are not so straightforward to solve with this style of programming. Some things, like console programming, and file i/o, need things to happen in a particular order, or need to maintain state. One way to deal with this problem is to create a kind of object that represents the state of a computation, and a series of functions that take a state object as input, and return a new modified state object. so let's create a hypothetical "state" value, that represents the state of a console screen. exactly how this value is constructed is not important, but let's say it's an array of byte length ascii characters that represents what is currently visible on the screen, and an array that represents the last line of input entered by the user, in pseudocode. We've defined some functions that take console state, modify it, and return a new console state.
so to do console programming, but in a pure functional manner, you would need to nest a lot of function calls inside eachother.
Programming in this way keeps the "pure" functional style, while forcing changes to the console to happen in a particular order. But, we'll probably want to do more than just a few operations at a time like in the above example. Nesting functions in that way will start to become ungainly. What we want, is code that does essentially the same thing as above, but is written a bit more like this:
this would indeed be a more convenient way to write it. How do we do that though? What is a monad? once you have a type (such as How is a monad implemented? See other answers, that seem quite free to jump into the details of that. |
|||||
|
|
Monads are to control flow what abstract data types are to data. In other words, many developers are comfortable with the idea of Sets, Lists, Dictionaries (or Hashes, or Maps), and Trees. Within those data types there are many special cases (for instance InsertionOrderPreservingIdentityHashMap). However, when confronted with program "flow" many developers haven't been exposed to many more constructs than if, switch/case, do, while, goto (grr), and (maybe) closures. So, a monad is simply a control flow construct. A better phrase to replace monad would be 'control type'. As such, a monad has slots for control logic, or statements, or functions - the equivalent in data structures would be to say that some data structures allow you to add data, and remove it. For example, the "if" monad:
at its simplest has two slots - a clause, and a block. The Monads can become more complicated, in the same way that data structures can become more complicated, but there are many broad categories of monad that may have similar semantics, but differing implementations and syntax. Of course, in the same way that data structures may be iterated over, or traversed, monads may be evaluated. Compilers may or may not have support for user-defined monads. Haskell certainly does. Ioke has some similar capabilities, although the term monad is not used in the language. |
|||||
|
|
I wrote this mostly for me but I hope others find it useful :) Monads address a problem which also shows up in arithmetic as division by zero (DivByZero). Specifically, calculations involving division must detect or allow for a DivByZero exception. This requirement makes coding such expressions in the general case messy. The Monadic solution is to embrace DivByZero by doing the following
So, a Monad is an expanded type together with a function that "wraps" the original type in this expanded version and a function that wraps the original operators so they can handle this new expanded type. (Monads may have been a motivation for generics or type-parameters.) It turns out that instead of merely smoothing out the handling of DivByZero (or Infinity if you will), the Monad treatment is broadly applicable to situations that can benefit from type expansion to simplify their coding. In fact, this applicability seems to be wide. For example, the IO monad is a type that represents the universe, literally. The intent is to recognize that the values returned by the prototypical Why bother? Monads allow Stateless algorithms to be devised as such, stateless. State-full machines are complex. A machine with 10 bits may be in 2^10 possible states. Eliminating this complexity is the ideal of functional languages. Variables hold state. Eliminating "variables" should simply stuff. Purely functional programs don't have variables only values (despite usage of the term 'variable' in the Haskell documentation) and use labels or symbols or names for for them. Consequently, the closest thing to a variable in a purely functional language is the parameters received by a function as they accept new values on each invocation. The absence of variables is why purely functional languages use recursion instead of loops to iterate. The act of incrementing a counter involves the use of a variable that becomes incremented and all the uncertainty with how it gets updated, when it gets tested, what value it should and when, and then the complexity when you have multiple threads. Nevertheless, So what? Without the presence of state, a program becomes a declaration or a definition of it's results, as oppose to a matriculation of some underlying state towards a result. Essentially, the functional expression of Such complexity gets cognitively expensive over time (2^N). In contrast, the operator, Why call it a Monad? A monad is characterized by a mathematical structure called a Monoid from Algebraic group theory. With that said, all it means is that the structure has the following three properties:
Property three (3) allows expressions of arbitrary lengths to be evaluated by delineating them into segments and evaluating each independently such as in parallel. For example, |
||||
|
|
|
My favorite Monad tutorial: http://www.haskell.org/haskellwiki/All_About_Monads (out of 170,000 hits on a Google search for "monad tutorial"!) @Stu: The point of monads is to allow you to add (usually) sequential semantics to otherwise pure code; you can even compose monads (using Monad Transformers) and get more interesting and complicated combined semantics, like parsing with error handling, shared state, and logging, for example. All of this is possible in pure code, monads just allow you to abstract it away and reuse it in modular libraries (always good in programming), as well as providing convenient syntax to make it look imperative. Haskell already has operator overloading[1]: it uses type classes much the way one might use interfaces in Java or C# but Haskell just happens to also allow non-alphanumeric tokens like + && and > as infix identifiers. It's only operator overloading in your way of looking at it if you mean "overloading the semicolon" [2]. It sounds like black magic and asking for trouble to "overload the semicolon" (picture enterprising Perl hackers getting wind of this idea) but the point is that without monads there is no semicolon, since purely functional code does not require or allow explicit sequencing. This all sounds much more complicated than it needs to. sigfpe's article is pretty cool but uses Haskell to explain it, which sort of fails to break the chicken and egg problem of understanding Haskell to grok Monads and understanding Monads to grok Haskell. [1] This is a separate issue from monads but monads use Haskell's operator overloading feature. [2] This is also an oversimplification since the operator for chaining monadic actions is >>= (pronounced "bind") but there is syntactic sugar ("do") that lets you use braces and semicolons and/or indentation and newlines. |
||||
|
|
|
I've been thinking of Monads in a different way, lately. I've been thinking of them as abstracting out execution order in a mathematical way, which makes new kinds of polymorphism possible. If you're using an imperative language, and you write some expressions in order, the code ALWAYS runs exactly in that order. And in the simple case, when you use a monad, it feels the same -- you define a list of expressions that happen in order. Except that, depending on which monad you use, your code might run in order (like in IO monad), in parallel over several items at once (like in the List monad), it might halt partway through (like in the Maybe monad), it might pause partway through to be resumed later (like in a Resumption monad), it might rewind and start from the beginning (like in a Transaction monad), or it might rewind partway to try other options (like in a Logic monad). And because monads are polymorphic, it's possible to run the same code in different monads, depending on your needs. Plus, in some cases, it's possible to combine monads together (with monad transformers) to get multiple features at the same time. |
||||
|
|
|
In addition to the excellent answers above, let me offer you a link to the following article (by Patrick Thomson) which explains monads by relating the concept to the JavaScript library jQuery (and its way of using "method chaining" to manipulate the DOM): jQuery is a Monad The jQuery documentation itself doesn't refer to the term "monad" but talks about the "builder pattern" which is probably more familiar. This doesn't change the fact that you have a proper monad there maybe without even realizing it. |
|||||||||||||||||
|
|
Monads Are Not Metaphors, but a practically useful abstraction emerging from a common pattern, as Daniel Spiewak explains. |
|||||||||
|
|
I am still new to monads, but I thought I would share a link I found that felt really good to read (WITH PICTURES!!): http://www.matusiak.eu/numerodix/blog/2012/3/11/monads-for-the-layman/ (no affiliation) Basically, the warm and fuzzy concept that I got from the article was the concept that monads are basically adapters that allow disparate functions to work in a composable fashion, i.e. be able to string up multiple functions and mix and match them without worrying about inconsistent return types and such. So the BIND function is in charge of keeping apples with apples and oranges with oranges when we're trying to make these adapters. And the LIFT function is in charge of taking "lower level" functions and "upgrading" them to work with BIND functions and be composable as well. I hope I got it right, and more importantly, hope that the article has a valid view on monads. If nothing else, this article helped whet my appetite for learning more about monads. |
||||
|
|
|
A monad is a way of combining computations together that share a common context. It is like building a network of pipes. When constructing the network, there is no data flowing through it. But when I have finished piecing all the bits together with 'bind' and 'return' then I invoke something like |
|||||
|
|
The two things that helped me best when learning about there were: Chapter 8, "Functional Parsers," from Graham Hutton's book Programming in Haskell. This doesn't mention monads at all, actually, but if you can work through chapter and really understand everything in it, particularly how a sequence of bind operations is evaluated, you'll understand the internals of monads. Expect this to take several tries. The tutorial All About Monads. This gives several good examples of their use, and I have to say that the analogy in Appendex I worked for me. |
||||
|
|
|
This answer begins with a motivating example, works through the example, derives an example of a monad, and formally defines "monad". Consider these three functions in pseudocode:
You can compose these functions and get your original value, along with a string that shows which order the functions were called in:
You dislike the fact that You prefer to write simpler functions:
But look at what happens when you compose them:
The problem is that passing a pair into a function does not give you what you want. But what if you could feed a pair into a function:
Read
Notice what happens when you do three things with your functions: First: if you wrap a value and then feed the resulting pair into a function:
That is the same as passing the value into the function. Second: if you feed a pair into
That does not change the pair. Third: if you define a function that takes
and feed a pair into it:
That is the same as feeding the pair into You have most of a monad. Now you just need to know about the data types in your program. What type of value is
Congratulations, you have created a monad! Formally, your monad is the tuple A monad is a tuple
Typically, |
||||
|
|
|
If I've understood correctly, IEnumerable is derived from monads. I wonder if that might be an interesting angle of approach for those of us from the C# world? For what it's worth, here are some links to tutorials that helped me (and no, I still haven't understood what monads are). |
||||
|
|
|
Monoid appears to be something that ensures that all operations defined on a Monoid and a supported type will always return a supported type inside the Monoid. Eg, Any number + Any number = A number, no errors. Whereas division accepts two fractionals, and returns a fractional, which defined division by zero as Infinity in haskell somewhy(which happens to be a fractional somewhy)... In any case, it appears Monads are just a way to ensure that your chain of operations behaves in a predictable way, and a function that claims to be Num -> Num, composed with another function of Num->Num called with x does not say, fire the missiles. On the other hand, if we have a function which does fire the missiles, we can compose it with other functions which also fire the missiles, because our intent is clear -- we want to fire the missiles -- but it won't try printing "Hello World" for some odd reason. In Haskell, main is of type IO (), or IO [()], the distiction is strange and I will not discuss it but here's what I think happens: If I have main, I want it to do a chain of actions, the reason I run the program is to produce an effect -- usually though IO. Thus I can chain IO operations together in main in order to -- do IO, nothing else. If I try to do something which does not "return IO", the program will complain that the chain does not flow, or basically "How does this relate to what we are trying to do -- an IO action", it appears to force the programmer to keep their train of thought, without straying off and thinking about firing the missiles, while creating algorithms for sorting -- which does not flow. Basically, Monads appear to be a tip to the compiler that "hey, you know this function that returns a number here, it doesn't actually always work, it can sometimes produce a Number, and sometimes Nothing at all, just keep this in mind". Knowing this, if you try to assert a monadic action, the monadic action may act as a compile time exception saying "hey, this isn't actually a number, this CAN be a number, but you can't assume this, do something to ensure that the flow is acceptable." which prevents unpredictable program behavior -- to a fair extent. It appears monads are not about purity, nor control, but about maintaining an identity of a category on which all behavior is predictable and defined, or does not compile. You cannot do nothing when you are expected to do something, and you cannot do something if you are expected to do nothing (visible). The biggest reason I could think of for Monads is -- go look at Procedural/OOP code, and you will notice that you do not know where the program starts, nor ends, all you see is a lot of jumping and a lot of math,magic,and missiles. You will not be able to maintain it, and if you can, you will spend quite a lot of time wrapping your mind around the whole program before you can understand any part of it, because modularity in this context is based on interdependant "sections" of code, where code is optimized to be as related as possible for promise of efficiency/inter-relation. Monads are very concrete, and well defined by definition, and ensure that the flow of program is possible to analyze, and isolate parts which are hard to analyze -- as they themselves are monads. A monad appears to be a "comprehensible unit which is predictable upon its full understanding" -- If you understand "Maybe" monad, there's no possible way it will do anything except be "Maybe", which appears trivial, but in most non monadic code, a simple function "helloworld" can fire the missiles, do nothing, or destroy the universe or even distort time -- we have no idea nor have any guarantees that IT IS WHAT IT IS. A monad GUARANTEES that IT IS WHAT IT IS. which is very powerful. All things in "real world" appear to be monads, in the sense that it is bound by definite observable laws preventing confusion. This does not mean we have to mimic all the operations of this object to create classes, instead we can simply say "a square is a square", nothing but a square, not even a rectangle nor a circle, and "a square has area of the length of one of it's existing dimensions multiplied by itself. No matter what square you have, if it's a square in 2D space, it's area absolutely cannot be anything but its length squared, it's almost trivial to prove. This is very powerful because we do not need to make assertions to make sure that our world is the way it is, we just use implications of reality to prevent our programs from falling off track. Im pretty much guaranteed to be wrong but I think this could help somebody out there, so hopefully it helps somebody. |
||||
|
|
|
In the context of Scala you will find the following to be the simplest definition. Basically flatMap (or bind) is 'associative' and there exists an identity.
E.g.
NOTE Strictly speaking the definition of a Monad in functional programming is not the same as the definition of a Monad in Category Theory, which is defined in turns of |
||||
|
|
|
Explaining monads seems to be like explaining control-flow statements. Imagine that a non-programmer asks you to explain them? You can give them an explanation involving the theory - Boolean Logic, register values, pointers, stacks, and frames. But that would be crazy. You could explain them in terms of the syntax. Basically all control-flow statements in C have curly brackets, and you can distinguish the condition and the conditional code by where they are relative to the brackets. That may be even crazier. Or you could also explain loops, if statements, routines, subroutines, and possibly co-routines. Monads can replace a fairly large number of programming techniques. There's a specific syntax in languages that support them, and some theories about them. They are also a way for functional programmers to use imperative code without actually admitting it, but that's not their only use. |
|||||
|
|
In the Coursera "Principles of Reactive Programming" training - Erik Meier describes them as:
|
||||
|
|
|
http://code.google.com/p/monad-tutorial/ is a work in progress to address exactly this question. |
|||||||||
|
|
In practice, monad is a custom implementation of function composition operator that takes care of side effects and incompatible input and return values (for chaining). |
||||
|
|
|
Princess's explanation of F# Computation Expressions helped me, though I still can't say I've really understood. EDIT: this series - explaining monads with javascript - is the one that 'tipped the balance' for me.
I think that understanding monads is something that creeps up on you. In that sense, reading as many 'tutorials' as you can is a good idea, but often strange stuff (unfamiliar language or syntax) prevents your brain from concentrating on the essential. Some things that I had difficulty understanding:
|
|||||||||||||||||
|
|
I'm trying to understand monads as well. It's my version: Monads are about making abstractions about repetitive things. Firstly, monad itself is a typed interface (like an abstract generic class), that has two functions: bind and return that have defined signatures. And then, we can create concrete monads based on that abstract monad, of course with specific implementations of bind and return. Additionally, bind and return must fulfill a few invariants in order to make it possible to compose/chain concrete monads. Why create the monad concept while we have interfaces, types, classes and other tools to create abstractions? Because monads give more: they enforce rethinking problems in a way that enables to compose data without any boilerplate. |
||||
|
|
Thank you for your interest in this question.
Because it has attracted low-quality or spam answers that had to be removed, posting an answer now requires 10 reputation on this site (the association bonus does not count).
Would you like to answer one of these unanswered questions instead?