Perhaps this is elementary, but I do not understand why the following function answers 1 for fnc Nat , as well as for fnc Integer , which is not even included as a template.
fnc : Type -> Integer fnc Bool = 1 fnc Nat = 2
You cannot match matching by type, and you shouldn't. When I compile the code, I get the following error:
warning - Unreachable case: fnc Nat
This has already been discussed previously:
UPDATE:
Finally, I found a more relevant question with the answer:
Why is typecase a bad thing?
Source: https://habr.com/ru/post/1683561/More articles:Testing anonymous equality function with Jest - javascriptdeclare an array with an unknown size without using an ArrayList - javaNegative size size caused by subtracting 3 from 1 for 'conv2d_2 / convolution' - pythonCan I write a generic function wrapper function for a Wrapper interface representing a type that wraps some other type? - wrapperR code rating in YAML - rHow to filter packets for IP list using Scapy - pythonSystem.MissingMethodException in Program.cs - c #Disable click tracking by input type - cssWhat exactly does the lambda type do when used with defaultdict - pythonLimit function argument in interface - idrisAll Articles