Content deleted Content added
m Link Haskell |
Fixed typo Tags: Mobile edit Mobile web edit |
||
Line 12:
| typing = [[Type inference|Inferred]], [[static typing|static]], [[strong typing|strong]]
| implementations =
| dialects = [[
| influenced by = [[ISWIM]]
| influenced = [[Clojure]], [[Coq]], [[Cyclone (programming language)|Cyclone]], [[C++]], [[Elm (programming language)|Elm]], [[F Sharp (programming language)|F#]], [[F* (programming language)|F*]], [[Haskell (programming language)|Haskell]], [[Idris (programming language)|Idris]], [[Kotlin (programming_language)|Kotlin]], [[Miranda (programming language)|Miranda]], [[Nemerle]], [[OCaml]], [[Opa (programming language)|Opa]], [[Erlang (programming language)|Erlang]], [[Rust (programming language)|Rust]], [[Scala (programming language)|Scala]], [[Standard ML]]
|