|
Another concept from functional programming languages making its way to C# and VB is what’s known as pattern matching. At first glance pattern matching looks like a switch/select block, but it is much more powerful. Coming up next: The 20 questions interface for identifying variable type
|
|
|
|
|
Since the InfoQ article failed to meet even that sites low quality bar, could someone explain what the new language features are, what they're able to do, and why I should care? Preferably in the form of comparing longer/cumbersome/confusing/etc code samples that's the best option available with the current language with short/simple/concise versions that will be possible in the future.
Did you ever see history portrayed as an old man with a wise brow and pulseless heart, waging all things in the balance of reason?
Is not rather the genius of history like an eternal, imploring maiden, full of fire, with a burning heart and flaming soul, humanly warm and humanly beautiful?
--Zachris Topelius
Training a telescope on one’s own belly button will only reveal lint. You like that? You go right on staring at it. I prefer looking at galaxies.
-- Sarah Hoyt
|
|
|
|
|
I'll give it a go...
First, the new record class construct allows creating classes similar to types in Haskell. They are purely structural, and immutable.
public record class Cartesian(double x : X, double y : Y);
which is equivalent to:
public class Cartesian {
private readonly double $X;
private readonly double $Y;
public Cartesian(double x, double y) { this.$X = x; this.$Y = y; }
public double X { get { return this.$X; }
public double Y { get { return this.$Y; }
public static bool operator is (Cartesian c, out double x, out double y) { x = c.X; y = c.Y; return true; }
}
Unlike normal classes, record classes do not need "new":
var c = Cartesian(3, 4);
The crucial part here is the "is" operator, which is used for pattern matching.
if (c is Cartesian(var x, y) {
Console.WriteLine("c.X == " + x + ", c.Y == " + y);
}
If you're only interested in one of the fields, the other can be matched using a wildcard "*":
if (c is Cartesian(var x, *) {
Console.WriteLine("c.X == " + x);
}
Another common use (in C#) will be to robustly handle nulls:
int? x;
...
if (x is int v) [
}
This corresponds to use of the Maybe monad in Haskell.
More complex patten matches can be constructed. These are useful for deconstructing types such as trees.
Consider a set of record classes representing expressions:
abstract class Expr;
record class X() : Expr;
record class Const(double value) : Expr;
record class Add(Expr left, Expr right) : Expr;
record class Mult(Expr left, Expr right) : Expr;
record class Negate(Expr value) : Expr;
An expression can then be represented as:
var expr = Add(Const(3.0), Negate(Mult(3, 5)));
And pattern matching (this time using switch) can deconstruct it nicely:
Expr Simplify(Expr e) {
switch (e) {
case Mult(Const(0), *): return Const(0);
case Mult(*, Const(0)): return Const(0);
case Mult(Const(1), var x): return Simplify(x);
case Mult(var x, Const(1)): return Simplify(x);
case Mult(Const(var l), Const(var r)): return Const(l * r);
case Add(Const(0), var x): return Simplify(x);
case Add(var x, Const(0): return Simplify(x);
case Add(Const(var l), Const(var r)): return Const(l + r);
case Negate(Const(var k)): return Const(-k);
default: return e;
}
}
I presume that, like Haskell, the first matching expression wins.
"If you don't fail at least 90 percent of the time, you're not aiming high enough."
Alan Kay.
|
|
|
|
|
Maybe it's just that I've never done any Haskell, etc.; but I'm drawing a blank oncoming up with any useful ideas of what I could do with this that I can't (easily) do without it between the trivial examples and the one I'm looking at and going 
Did you ever see history portrayed as an old man with a wise brow and pulseless heart, waging all things in the balance of reason?
Is not rather the genius of history like an eternal, imploring maiden, full of fire, with a burning heart and flaming soul, humanly warm and humanly beautiful?
--Zachris Topelius
Training a telescope on one’s own belly button will only reveal lint. You like that? You go right on staring at it. I prefer looking at galaxies.
-- Sarah Hoyt
|
|
|
|
|
The last example I gave is more typical - the small trivial ones are unsurprisingly trivial (although anything that helps avoid null reference exceptions neatly is not really trivial, as that remains one of the major causes of software defects). The last example illustrates the true use of pattern matching more.
What is achieved is a little embedded Domain Specific Language (DSL) for expressions, along with a mechanism for simplifying those expressions, so that (x + 0) gets simplified to just (x). This is incredibly useful in many areas. Common uses are expression parsing, walking trees without requiring awkward visitor classes, filtering data, differentiating and integrating expressions. While all this can be achieved without PM, it typically reduces 100's of lines of code to 10's (with the corresponding decrease of chances of bugs).
I remember being similarly bemused when I started learning PM, but I encourage you to persevere. It is one of the most useful new techniques I have learned in the last decade. I'm looking forward to the extensions immensely, even if they are nobbled compared to the power of those presented in functional languages and Haskell particularly.
"If you don't fail at least 90 percent of the time, you're not aiming high enough."
Alan Kay.
|
|
|
|
|
C#6... And what happened to C#5?
|
|
|
|
|
C#5 came out with the 4.5 framework. (What you expected them to keep the version numbers for the two in sync.  )
Did you ever see history portrayed as an old man with a wise brow and pulseless heart, waging all things in the balance of reason?
Is not rather the genius of history like an eternal, imploring maiden, full of fire, with a burning heart and flaming soul, humanly warm and humanly beautiful?
--Zachris Topelius
Training a telescope on one’s own belly button will only reveal lint. You like that? You go right on staring at it. I prefer looking at galaxies.
-- Sarah Hoyt
|
|
|
|
|
Are they trying to imitate Java?
|
|
|
|
|
I think these are closer to Haskell, F# and other functional languages.
"If you don't fail at least 90 percent of the time, you're not aiming high enough."
Alan Kay.
|
|
|
|
|
What you may not know is that the same design decisions that make DirectX 12 so performant also make it incredibly power efficient. This allows you to play all of your favorite games on portable devices without having an uncomfortably hot device on your lap or as much of a need to carry around a cumbersome power adapter. More power, less power. Make up your minds!
|
|
|
|
|
In a job posting that went live today, Microsoft made a reference to Windows as a Service, but other than the name, not much else is known about the platform. Microsoft's OneCore also gets referenced as well, but we are not sure if the WaaS and OneCore are related in the capacity in which they are mentioned in this job description. Put your OS in the cloud, and hope it doesn't rain
|
|
|
|
|
Microsoft is aiming to make available a technology preview of Windows Threshold around late September or early October. We are on the threshold of... Threshold
|
|
|
|
|
After several complaints from users, the company has acknowledged issues in the August Update, and is now advising users to uninstall some of the modules from the computer. Additionally, Microsoft is currently investigating it and, for the time being, has pulled the download links. "Oops, I did it again."
|
|
|
|
|
You probably didn’t use it, and may not have even heard of it, but the now 20-year-old IBM Simon was the world’s first smartphone, on which you could write, draw, manage your contacts and calendar, and send faxes – it even had apps.
...and about the same battery life
modified 16-Aug-14 15:48pm.
|
|
|
|
|
|
He must be sorry for the evil deed he did!  We can't even look at any content without seeing these millions of Pop-ups and then getting annoyed!
Favourite line: Throw me to them wolves and close the gate up. I am afraid of what will happen to them wolves - Eminem
~! Firewall !~
|
|
|
|
|
Pretty arrogant to apologize. I mean, if he didn't do it, someone else would have...
|
|
|
|
|
Man you need a sense of humor.
Jeremy Falcon
|
|
|
|
|
|
Everyone does.
Jeremy Falcon
|
|
|
|
|
Prove it. ![Java | [Coffee]](https://codeproject.freetls.fastly.net/script/Forums/Images/coffee.gif)
(would've rather'd a popcorn smiley...)
|
|
|
|
|
.M
.:AMMO:
.:AMMMMMHIIIHMMM.
.... .AMMMMMMMMMMMHHHMHHMMMML:AMF"
.:MMMMMLAMMMMMMMHMMMMMMHHIHHIIIHMMMML.
"WMMMMMMMMMMMMMMMMMMH:::::HMMMMMMHII:.
.AMMMMMMMHHHMMMMMMMMMMHHHHHMMMMMMMMMAMMMHHHHL.
.MMMMMMMMMMHHMMMMMMMMHHHHMMMMMMMMMMMMMHTWMHHHHHML
.MMMMMMMMMMMMMMMMMMMHHHHHHHHHMHMMHHHHIII:::HMHHHHMM.
.MMMMMMMMMMMMMMMMMMMMMMHHHHHHMHHHHHHIIIIIIIIHMHHHHHM.
MMMMMMMMMMMMMMMMMHHMMHHHHHIIIHHH::IIHHII:::::IHHHHHHHL
"MMMMMMMMMMMMMMMMHIIIHMMMMHHIIHHLI::IIHHHHIIIHHHHHHHHML
.MMMMMMMMMMMMMM"WMMMHHHMMMMMMMMMMMLHHHMMMMMMHHHHHHHHHHH
.MMMMMMMMMMMWWMW ""YYHMMMMMMMMMMMMF""HMMMMMMMMMHHHHHHHH.
.MMMMMMMMMM W" V W"WMMMMMHHHHHHHHHH
"MMMMMMMMMM". "WHHHMH"HHHHHHL
MMMMMMMMMMF . IHHHHH.
MMMMMMMMMM . . HHHHHHH
MMMMMMMMMF. . . . HHHHHHH.
MMMMMMMMM . ,AWMMMMML. .. . . HHHHHHH.
:MMMMMMMMM". . F"' 'WM:. ,::HMMA, . . HHHHMMM
:MMMMMMMMF. . ." WH.. AMM"' " . . HHHMMMM
MMMMMMMM . . ,;AAAHHWL".. .:' HHHHHHH
MMMMMMM:. . . -MK"OTO L :I.. ...:HMA-. "HHHHHH
,:IIIILTMMMMI::. L,,,,. ::I.. .. K"OTO"ML 'HHHHHH
LHT::LIIIIMMI::. . '""'.IHH:.. .. :.,,,, ' HMMMH:
HLI'"IIITMII::. . .IIII. . '"""" ' MMMFT:::.
HML:::WMIINMHI:::.. . .:I. . . . . ' .M"'.....I.
"HWHINWI:.'.HHII::.. .HHI .II. . . . . :M.',, ..I:
"MLI"ML': :HHII::... MMHHL ::::: . :.. .'.'.'HHTML.II:
"MMLIHHWL:IHHII::....:I:" :MHHWHI:...:W,," '':::. ..' ":.HH:II:
"MMMHITIIHHH:::::IWF" """T99"' '"" '.':II:..'.'..' I'.HHIHI'
YMMHII:IHHHH:::IT.. . . ... . . ''THHI::.'.' .;H.""."H"
HHII:MHHI"::IWWL . . . . . HH"HHHIIHHH":HWWM"
""" MMHI::HY""ML, ... . .. :" :HIIIIIILTMH"
MMHI:.' 'HL,,,,,,,,..,,,......,:" . ''::HH "HWW
'MMH:.. . 'MMML,: """MM""""MMM" .'.IH'"MH"
"MMHL.. .. "MMMMMML,MM,HMMMF . .IHM"
"MMHHL .. "MMMMMMMMMMMM" . . '.IHF'
'MMMML .. "MMMMMMMM" . .'HMF
HHHMML. .'MMF"
IHHHHHMML. .'HMF"
HHHHHHITMML. .'IF..
"HHHHHHIITML,. ..:F...
'HHHHHHHHHMMWWWWWW::"......
HHHHHHHMMMMMMF"'........
HHHHHHHHHH............
HHHHHHHH...........
HHHHIII..........
HHIII..........
HII.........
"H........
......
Jeremy Falcon
|
|
|
|
|
Surely you meant...
`
; `
### `
###:# `
###:::#
###,::::# `
` +##':::::'` `
:###:::::::#
###,::::::::' `
###;:::::::::'
` ####::;',::::::# `
`###,:####::;##,;
` ###+:#+ '#:# :#:' `
.###:,# ## ':+ .
` ####:;# :# '# +. :: `
` ####:'' +# ,# #; ;: `
` ###+:;# :# ;# . :: `
` ####:,# ##` +:; .
` +###::#, `#:#:##:# .
###;:,####:::#+::` `
` ####:::##:::::::# .
####::::::::::' `
` ####,:::::::' .
` #####:::::# .
` .######### .
` #####+::### `
` ;####,::::'## `
:# ##;::::::#,# `
```` ;' `##:::::::# # ````
`##:::::::# , `
.#### .` ##:::':::# .` #### .
` `## . ` ;##:::::; ` ## `
` ### ` ` +##'::#; . ##. .
.` ' ` ;##### `` ` # # .
` ` ` ` +# # ` ` `
`` . ``` ; # .``` .``
` ` # : ``
` #####+###;##### `
`###;,,####:,:'###
###:::::###::::,##
.'##### '#####' .
:::,`,,:.,;::. ,`' .
+ .
` ``
/ravi
|
|
|
|
|
Touché Ravi! Touché.
Jeremy Falcon
|
|
|
|
|
"Sorry" don't cut it -- death or boomba?
|
|
|
|
|
General 
News 
Suggestion 
Question 
Bug 
Answer 
Joke 
Praise 
Rant 
Admin 
Submit an article or tip
