Switching to Elixir

Re:Switching to Elixir by ryanjshaw on Friday November 10, 2023 @12:26AM (#38215382)

I'm building a static analyzer for Solidity in F# and the data shape of Solidity AST nodes overlaps frequently enough that explicitly specifying types is necessary just to get things to compile.

I can't imagine building something like this in a dynamically typed language. The way I see it, static typing is like writing inline unit tests to save yourself many, many headaches later.

[ Parent | on HN ]

Re:Switching to Elixir by weatherlight on Friday November 10, 2023 @10:24AM (#38219976)

types aren't a substitute for tests.

    let add : int -> int -> int = fun a b ->
      Random.self_init ();
      Random.int 100

[ Parent | on HN ]