WebSharper 4 (codename Zafir) beta-6

Version 4.0.155.24-beta6

Improvements

• using FSharp.Compiler.Service 11.0.4. To have optimal compilation speeds, go to a folder in a solution at packages\Zafir.FSharp.4.0.155.11-beta6\tools and run ./runngen in PowerShell as administrator.

• #650 Bindings to DOM have been updated to current ECMA specification

• #652 Bindings to JQuery have benn updated to version 3.1.1

• #660 Erased union and option types have been added to WebSharper.JavaScript namespace, named Union and Optional. These are similar to Choice and Option types of F#, but work as TypeScript's erased unions in the JS translation. Conversion functions are available under modules Optional and Union.

• #651 output is using JavaScript strict mode

• #550 custom structs can now be used in RPC calls

• #644 F# unions with Constant null case can now be used in RPC calls

• #642 Local generic functions in F# compile when the compiler does not need the type parameter for custom code generation (macros). If it does, you get an error "Macro [name] would use a local type parameter. Make the inner function non-generic or move it to module level and mark it with the Inline attribute"

• #648 JavaScript code output optimizations:

  • Functions taking F# tupled or curried functions as parameters and only fully applying them (in the case of curried parameter) now translates to taking a flat JavaScript function. This means less closure creation and better performance when using functions like List.map2
  • Local F# tupled and curried functions are now converted to flat functions in JavaScript where possible

• #649 Tail call optimization for F#:

  • let rec expressions with single or mutual recursion
  • Module or class (in default constructor) let rec expressions with single recursive function
  • Class members, calling itself but no other members of the same class annotated with JavaScript (so inlines do not opt-out of optimization). For instance members, the call must be on the current instance.

• #655 Require and RemotingProvider attributes can take additional object parameters. These will be passed on to the constructors of the resource class and the client-side RemotingProvider instance respectively.

• WebSharper.Resources.BaseResource is not an abstract class any more. This allows using it with the Require attribute without defining an extra type:

  [<Require(typeof<Resources.BaseResource>, "//myurl.com/mylib.js")>]

Fixes

• #645 Name conflict in WebSharper.Sitelets.Content from C#
• #657 Using Name attribute on properties with getter and setter now adds set_ to the name of the setter to disambiguate them.
• #633 WIG-defined interfaces now can be inherited from with F#/C# code if they contain only method definitions without custom inline annotations. Calling interface members from .d.ts-based bindings now translate properly, but these interfaces can't be inherited from in your code (as they are using special call semantics).

Breaking changes

• Macro API: MacroResult.MacroNeedsResolvedTypeArg now needs the offending type parameter as a field. You can decide if a type is a type parameter of any kind by using the new IsParameter property.