-
Updated
Oct 4, 2020 - TypeScript
type-checking
Here are 113 public repositories matching this topic...
-
Updated
Oct 1, 2020 - Haskell
-
Updated
Oct 20, 2020 - Python
-
Updated
Oct 6, 2020 - TypeScript
The definitions of standard_library in tl.tl are not complete.
I've been adding them on an "as-needed" basis, but all definitions for Lua 5.3 (which would be a good starting point for a tl standard library) are not there yet.
An easy way to help with development is to add more entries to that table with the missing functions. It shouldn't be hard to write down the types of most functions
-
Updated
Sep 4, 2020 - JavaScript
-
Updated
Jan 8, 2018 - JavaScript
-
Updated
Oct 19, 2020 - Elixir
-
Updated
Jul 17, 2020 - JavaScript
-
Updated
Apr 15, 2020 - Scala
-
Updated
Jul 18, 2020 - Java
-
Updated
Sep 5, 2020 - JavaScript
-
Updated
Oct 19, 2020 - JavaScript
-
Updated
May 6, 2019 - TypeScript
-
Updated
Oct 19, 2017 - Scala
-
Updated
Oct 10, 2020 - Elixir
-
Updated
Mar 18, 2020 - JavaScript
-
Updated
Jan 17, 2019 - C++
-
Updated
Jul 3, 2020 - Swift
-
Updated
Sep 26, 2020 - OCaml
-
Updated
Oct 16, 2020 - Starlark
-
Updated
Oct 1, 2020 - Python
-
Updated
Apr 8, 2020 - Python
-
Updated
Sep 2, 2020 - TypeScript
-
Updated
Oct 21, 2020 - Python
Create a method to build maybe objects which will avoid exceptions (returning Kind::None) if some error happened inside of the given block.
-
Updated
Apr 16, 2019 - JavaScript
Improve this page
Add a description, image, and links to the type-checking topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the type-checking topic, visit your repo's landing page and select "manage topics."
We provide the signatures of a very limited number of standard library classes. We will really appreciate if you write the signature of other classes.
(Note that we are currently working for standard library signatures.)