The complete guide to static typing in "React & Redux" apps using TypeScript
-
Updated
Nov 14, 2020 - TypeScript
#
static-typing
Here are 52 public repositories matching this topic...
Apache Groovy: A powerful multi-faceted programming language for the JVM platform
programming-language
groovy
compiler
functional-programming
dynamic-typing
metaprogramming
jvm-languages
static-typing
-
Updated
May 16, 2021 - Java
Collection of utility types, complementing TypeScript built-in mapped types and aliases (think "lodash" for static types).
-
Updated
Jan 24, 2021 - TypeScript
Typesafe utilities for "action-creators" in Redux / Flux Architecture
-
Updated
Dec 8, 2020 - TypeScript
Work related to PEP 484: typing.py and typing_extensions.py (both released via PyPI) and issue tracker for type system bugs/features.
-
Updated
May 4, 2021 - Python
Umka: a statically typed embeddable scripting language
c
programming-language
interpreter
cross-platform
compiler
virtual-machine
coroutines
concurrency
fibers
scripting-language
static-typing
-
Updated
May 16, 2021 - C
-
Updated
Dec 19, 2020 - C++
daScript - high-performance statically strong typed scripting language
-
Updated
May 16, 2021 - C++
The Official Shen Sources
-
Updated
Mar 7, 2021 - Shen
Coalton is (supposed to be) a dialect of ML embedded in Common Lisp.
-
Updated
Jan 25, 2021 - Common Lisp
Inko is a statically-typed, safe, object-oriented programming language for writing concurrent programs. This is a read-only mirror of https://gitlab.com/inko-lang/inko
language
programming-language
rust
compiler
object-oriented
interpreted-programming-language
static-typing
-
Updated
Feb 15, 2021 - Rust
Faster CSV for Python
python
tsv
csv
cython
tabular-data
python3
speed
type-safe
csv-parser
speedup
csv-parsing
static-typing
csv-data
tsv-parser
csv-to-json
csv-to-html
static-memory-allocation
faster-than-csv
process-csv
-
Updated
May 16, 2021 - Python
A statically-typed strictly-evaluated garbage-collected readable programming language.
programming-language
compiler
llvm
ffi
lambda-calculus
typeclass
polymorphism
type-safety
hindley-milner
zion
static-typing
system-f
llvm-compiler
garbage-collect
newtypes
-
Updated
Jan 13, 2021 - C++
-
Updated
Nov 22, 2017 - JavaScript
Plugin for mypy to support zope.interface
-
Updated
May 17, 2021 - Python
The official compiler for the Quartz programming language
programming-language
functional-programming
beam
oop
actor-model
concurrency
object-oriented
type-safety
session-types
static-typing
-
Updated
May 3, 2018 - OCaml
Phantom types for Python.
-
Updated
May 9, 2021 - Python
Simple and powerful programming language with type inference
-
Updated
Feb 17, 2017 - C++
-
Updated
Jul 30, 2019 - Rust
Firebase with Observables, Type Checking of Schema, Zone.js aware and Angular ready.
-
Updated
Sep 1, 2017 - TypeScript
Elara is a multi-paradigm language focusing on developer's freedom in code
-
Updated
Jan 30, 2021 - Go
JSON o Golang | Forget static types, No more complex structure definitions, Focus on code. Go Reflect!
-
Updated
Mar 28, 2019 - Go
An experimental Python-to-C transpiler and domain specific language for embedded high-performance computing
python
c
compiler
hpc
static-analysis
transpiler
embedded-systems
high-performance-computing
source-to-source
domain-specific-language
static-typing
transcompiler
python-to-c
-
Updated
Feb 18, 2021 - Python
A strongly-typed handy scripting language with type inference
-
Updated
Aug 31, 2018 - Go
The highly-reflective object-oriented Python web framework
-
Updated
Mar 29, 2021 - Python
The Combination of Dynamic and Static Typing from a Categorical Perspective
functional-programming
dynamic-typing
gradual-typing
categorical-semantics
retracts
static-typing
categorical-model
-
Updated
Sep 21, 2017 - TeX
FLY a Domain Specific Language for scientific computing on the Multi Cloud
programming-language
distributed-systems
cloud
scripting-language
dynamic-type
cloud-computing
domain-specific-language
static-typing
function-as-a-service
distributed-operating-systems
fly-language
-
Updated
May 7, 2021 - Xtend
An imperative, object-oriented, static and type-infered programming language.
-
Updated
Oct 27, 2020 - C#
Materials of the talk "Typify This"
-
Updated
Feb 6, 2018
Improve this page
Add a description, image, and links to the static-typing topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the static-typing topic, visit your repo's landing page and select "manage topics."
If a method is declared and as the expression, an if expression is used, then the method may produce unexpected output if no else section is provided. Currently, the compiler can not detect this issue. This may require some changing of how expressions are detected and if the else section is necessary for certain things.