-
Updated
Sep 15, 2020 - TypeScript
type-checking
Here are 112 public repositories matching this topic...
-
Updated
Oct 20, 2019 - Haskell
-
Updated
Sep 16, 2020 - Python
-
Updated
Sep 14, 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 7, 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
Jul 22, 2020 - Elixir
-
Updated
Sep 7, 2020 - OCaml
-
Updated
Jul 19, 2020 - Starlark
-
Updated
Jun 27, 2020 - Python
-
Updated
Apr 8, 2020 - Python
-
Updated
Aug 23, 2020 - Python
-
Updated
Sep 2, 2020 - TypeScript
-
Updated
Apr 16, 2019 - JavaScript
-
Updated
May 13, 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.
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.)