Hello.

What is the rationale to allow both implicit and explicit class constructions for a single class?

Let me consider:

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

type s = class 
 new () = {}
end;;


type t (x:s) = class
 new () = { }
 member self.get () = x
end;;


let x = new t ();;


x.get ();;    
//val it : s = null

This kind of unsafe class construction would be never possible if I do not use implicit class construction,
since the type checker always requires me to properly initialize all object fields; I am happy with it :-)
As a result, I am not sure whether I can extensively use implicit class construction without introducing possibilities of future bugs.

With best regards,
Keiko