Topics tagged static-types

Topic	Replies	Views	Activity
Mavis - Typing Library for elixir Libraries library , static-types	21	1381	November 23, 2020
Caramel: an OCaml to Erlang compiler Chat / Discussions compiler , ocaml , static-types , type-checking	4	531	November 9, 2020
Facebook is writing a new, statically typed language to run on the BEAM?! Chat / Discussions erlang , static-types	38	7627	November 9, 2020
Typespecing a map of arbitrary integer keys? Questions / Help static-types , type-checking , types	6	237	October 27, 2020
Gleam, a statically typed language for the Erlang VM Chat / Discussions language-implementation , programming-languages , static-types , gleam	299	19853	October 21, 2020
Erlang code generator for Idris 2 Chat / Discussions erlang , static-types , idris	3	370	October 4, 2020
Typechecker for Elixir Projects static-types , type-checking	12	1554	September 22, 2020
Phoenix, type annotations and Dialyzer Questions / Help phoenix , dialyzer , static-types	5	329	August 27, 2020
Hamler Programming Language Chat / Discussions language , static-types	9	1067	June 17, 2020
User defined tags and type-safe structs for domain modelling (Domo library) Libraries dialyzer , algebraic_data_type , typespecs , static-types , type-checking , types	11	671	June 12, 2020
Gradualyzer vs Dialyzer - main differences? Questions / Help dialyzer , static-types , gradualizer	8	553	December 4, 2019
Rust NIFs can slow down Elixir Chat / Discussions discussion , nif , static-types	6	1424	September 3, 2019
Multiple arity function with spec Questions / Help static-types	1	525	July 24, 2019
Usage of parenthesis in `spec` Questions / Help static-types	2	466	July 24, 2019
Type Checking in Python General Programming (Archived) python , static-types	1	364	April 16, 2019