Jukka Lehtosalo
Jukka Lehtosalo
Some classes are missing attributes in the stubs (e.g. quotes of shlex.shlex).
Some attributes in classes seem to be superfluous as they seem to be autogenerated. Here are some that are fishy: ``` __doc__ __module__ __new__ __weakref__ ```
It seems that C functions and methods are included as variables with type 'any' (e.g. math functions, select.epoll methods). The problem seems to with inspect.isfunction. A test such as `type(a_value)...
Some module stubs contain also classes defined in other modules, but presumably imported in the target module. For example, shlex stubs contain StringIO. Perhaps the `__all__` attribute could used for...
The type checker raises an uncaught exception when checking the following program: ``` class A def f(t as S) end end class B is A end class C is B...
Perhaps it would be better to use # to introduce comments instead of the current "--". Hash is simply more popular -- Python, Ruby and shell scripts all use it....
Support `final` class modifier that makes it impossible to inherit from a class. Also make built-in types `Int`, `Str`, etc. final. This removes the special status of the built-in types...
Currently the implementation ignores type annotations when running programs. This means that when assigning value of type "dynamic" to a statically-typed variable, there is no check that the type is...
Currently the Alore threading model (basically the thread module) is poorly documented and too low-level. It needs a rethink, and things like the following need to be considered: - Actor-based...
The release tarball (and zip) generated using util/make-release.sh contains .gitignore files. Do not include .gitignore files in the source packages.