Comments (1)
The Match
method provides exhaustive pattern matching at compile time.
Consider that we add another variant to the Result
union above. Both code blocks below would still compile because we are discarding all other values. If we use the Match
method instead, the compiler will raise an error saying that we aren't handling the new variant that was added.
If we do not need exhaustive matching, we can definitely use the is
pattern like in the second code block or switch expression with a discard like in the third code block.
More info: https://fsharpforfunandprofit.com/posts/correctness-exhaustive-pattern-matching/
from dunet.
Related Issues (20)
- Inner union compile with error `Cannot implicitly convert type 'X' to 'Y` HOT 6
- Async match support HOT 2
- Add `Action` based `Match` (or similarly named) method HOT 5
- Async Action Match
- Do not generate implicit conversions if argument is an interface
- Disable CS1591 in generated code
- Record struct union support HOT 8
- Anonymous union variants
- Match on a specific union value only
- Unwrap union types HOT 2
- Simplify instantiation of generic-bound union members HOT 1
- Idea: Friendly use of ToString() HOT 4
- Make common members accessible without matching HOT 4
- Allow matching with static functions
- Implicit conversions clash with required union properties HOT 1
- Separate Attributes into another project HOT 4
- Question: make it to work with asp net HOT 6
- Add Action with the type in the else of a MatchXYZ HOT 7
- Annotate Generated Code with GeneratedCodeAttribute
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from dunet.