Re:Julia Computing Raises $4.6M in Seed Funding
by flavio81 on Wednesday June 21, 2017 @11:16AM
(#14604504)
You are confusing "strong/weak" typing with "static/dynamic" typing.
CL is for the most part strongly typed. Python too. In CL there are almost no automatic typecasts.
Javascript and PHP and Perl are textbook examples of weakly typed systems. The interpreter (or compiler) can even allow things like 1 == "1".
With implementations like SBCL, CL also allows for static type checking with the "declare" and "proclaim" keywords, this checks types before runtime, if they can be inferred before executing the code.
CL is for the most part strongly typed. Python too. In CL there are almost no automatic typecasts.
Javascript and PHP and Perl are textbook examples of weakly typed systems. The interpreter (or compiler) can even allow things like 1 == "1".
With implementations like SBCL, CL also allows for static type checking with the "declare" and "proclaim" keywords, this checks types before runtime, if they can be inferred before executing the code.