<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">That makes sense - I think I missed lost that with all the discussion (vaguely remember — but did not click). <div class=""><br class=""></div><div class="">I would support that as a replacement to adding map to individual values.<div class=""><br class=""></div><div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On 2016-01-20, at 1:03:16, Thorsten Seitz <<a href="mailto:tseitz42@icloud.com" class="">tseitz42@icloud.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">As I already said above I’m strongly against introducing a map function for basic types. This brings confusion to the notion of a partial function and to what a map function is and is not needed IMO.</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;">Just define the following global function:</div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><br class=""></div><div class="" style="font-family: Helvetica; font-size: 12px; font-style: normal; font-variant: normal; font-weight: normal; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px;"><div class="" style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; color: rgb(131, 148, 150);"><span class="" style="color: rgb(133, 153, 1);">func</span><span class="Apple-converted-space"> </span>match<T,U>(x:<span class="Apple-converted-space"> </span><span class="" style="color: rgb(181, 137, 1);">T</span>,<span class="Apple-converted-space"> </span><span class="" style="color: rgb(133, 153, 1);">@noescape</span><span class="Apple-converted-space"> </span>mapping:<span class="Apple-converted-space"> </span><span class="" style="color: rgb(181, 137, 1);">T</span><span class="Apple-converted-space"> </span>-><span class="Apple-converted-space"> </span><span class="" style="color: rgb(181, 137, 1);">U</span>) -><span class="Apple-converted-space"> </span><span class="" style="color: rgb(181, 137, 1);">U</span><span class="Apple-converted-space"> </span>{</div><div class="" style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; color: rgb(131, 148, 150);"> <span class="Apple-converted-space"> </span><span class="" style="color: rgb(133, 153, 1);">return</span><span class="Apple-converted-space"> </span>mapping(x)</div><div class="" style="margin: 0px; font-size: 13px; line-height: normal; font-family: Menlo; color: rgb(131, 148, 150);">}</div></div><br class="Apple-interchange-newline"></div></blockquote></div><br class=""></div></div></body></html>