definition

My friend was just making some nonesense code, or atleast I thought he was, but to my surprise it did not throw any error. It however did not do what he expected, as he didn't really know what he was doing. But now I am quite curious what it does do, because there must be some reason it doesn't throw an error. The code looked something like this: var n = function(someArg, anotherArg, {help: []}){}; Also, when adding data into the object, it throws an error: var n = function(someArg, anotherArg, {help: ["something"]}){}; Throws: 'Uncaught SyntaxError: Unexpected string' so why is a random

I download a Console Application on GitHub and works fine. But I want to translate this C# Console Application to a Universal Windows 10 Application. The error on Visual Studio : Web Request does not contain a definition for... This is the code: private AccessTokenInfo HttpPost(string accessUri, string requestDetails) { //Prepare OAuth request WebRequest webRequest = WebRequest.Create(accessUri); webRequest.ContentType = "application/x-www-form-urlencoded"; webRequest.Method = "POST"; byte[] bytes = Encoding.ASCII.GetBytes(requestDetails); webRequest.ContentLength = bytes.Length; using (Stream

I have a type, say Inductive Tt := a | b | c. What's the easiest and/or best way to define a subtype of it? Suppose I want the subtype to contain only constructors a and b . A way would be to parametrize on a two-element type, e.g. bool: Definition filt (x:bool): Tt := match x with | true => a | false => b end. Check filt true: Tt. This works but is very awkward if your expression has several (possibly interdependent) subtypes defined this way. Besides, it works only half way, as no subtype is defined. For this I must additionally define e.g. Notation _Tt := ltac: (let T := type of (forall {x

I have taken a look at a C# struct FooStruct in ILDASM , and have seen the following: ILDASM here displays two differing declarations: one starting with .class value public (rear window & front window's title bar) one starting with just .class public (front window) And I wonder which syntax (if not both) is the correct one for declaring a value type? Is the value modifier strictly necessary, or optional, or a syntax error? Short answer: Value type definitions only require extends [mscorlib]System.ValueType ; the value attribute appears to be optional and has no apparent effect. I assume that