-
Updated
Oct 4, 2020 - TypeScript
type-checking
Here are 112 public repositories matching this topic...
-
Updated
Oct 1, 2020 - Haskell
-
Updated
Oct 1, 2020 - Python
-
Updated
Sep 26, 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
Jul 17, 2020 - JavaScript
-
Updated
Apr 15, 2020 - Scala
-
Updated
Jul 18, 2020 - Java
-
Updated
Sep 5, 2020 - JavaScript
-
Updated
Sep 28, 2020 - JavaScript
-
Updated
May 6, 2019 - TypeScript
-
Updated
Oct 19, 2017 - Scala
-
Updated
Mar 18, 2020 - JavaScript
-
Updated
Jan 17, 2019 - C++
-
Updated
Jul 3, 2020 - Swift
-
Updated
Oct 1, 2020 - Elixir
-
Updated
Sep 26, 2020 - OCaml
-
Updated
Jul 19, 2020 - Starlark
-
Updated
Oct 1, 2020 - Python
-
Updated
Apr 8, 2020 - Python
-
Updated
Sep 2, 2020 - TypeScript
-
Updated
Aug 23, 2020 - Python
-
Updated
Apr 16, 2019 - JavaScript
Create a method to build maybe objects which will avoid exceptions (returning Kind::None) if some error happened inside of the given block.
-
Updated
May 13, 2020 - Python
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.)