On 08.06.2015 12:37, Petr Pisar wrote: > On 2015-06-05, Dodji Seketeli <dodji@xxxxxxxxxxxx> wrote: >> The nature of programs written in these dynamic languages makes it quite >> hard to compare types used in the API entry points of a library > > Pedantic note: There is difference between dynamic vs. static languages > and dynamically vs. statically typed languages. While dynamic languages > usually are dynamically typed, it does not imply it. while we are being pedantic, we would be remiss not to mention that there is no such thing as "dynamically typed", given that types are a *syntactic* property. "A type system is a tractable syntactic method for proving the absence of certain program behaviors by classifying phrases according to the kinds of values they compute." - Pierce, Benjamin C. (2002). Types and Programming Languages. MIT Press. ISBN 978-0-262-16209-8. for further discussion of the topic including an explanation of how the term "dynamic language" actually goes back to the Visigoths, i refer to: http://lambda-the-ultimate.org/node/1562#comment-18623 -- devel mailing list devel@xxxxxxxxxxxxxxxxxxxxxxx https://admin.fedoraproject.org/mailman/listinfo/devel Fedora Code of Conduct: http://fedoraproject.org/code-of-conduct
