opened 05:29PM - 22 Jun 23 UTC
Currently, our editor only support a part of type hints for type, see the code b… elow:
```Rescript
module Matrix2D = {
type t = {
row: int,
col: int,
data: Js.TypedArray2.Float32Array.t,
}
let make = (~row: int, ~col: int, ~data: Js.TypedArray2.Float32Array.t): t => {
assert false
}
let zeros = (~row: int, ~col: int): t => {
assert false
}
}
module Matrix2Ds = {
type t = Matrix2D.t
let divide = (m1: t, m2: t): t => {
assert false
}
}
let m = Matrix2D.zeros(~row=3, ~col=3)
```
I create two modules, Matrix2D and Matrix2Ds, and a value with type Matrix2D.t. When i typing 'm->', i get some type hints of this:
As the image shows, the type hint only contains the functions of module Matrix2D, while, the function divide in module Matrix2Ds can also accept parameter with type Matrix2D.t. It's definitily a much better UE if our editor could support more completely type hints with searching among all functions by the first parameter type, just like the oop function call in Moonbit lang. @bobzhang
I am inspired by the oop function call in Moonbit lang, may be our editor can support auto function call type hints with searching among the functions by the first parameter type!
