Hello, I am working on a compiler for MediaWiki to LaTeX. Currently it is written in Haskell and Python3. I feel very insecure about the Python part and I would feel much safer if I had static typechecking in the Python part. Still I want the Python part to be able to run with normal Python interpreter. So it seems to me that converting the code to RPython might solve this issue for. Everything else is Ok, in particular speed is not an issue. What do you think. Yours Dirk PS: link to my repository http://sourceforge.net/p/wb2pdf/code/HEAD/tree/trunk/src/
Hello, 2013/5/28 Dirk Hünniger <dirk.hunniger@googlemail.com>
RPython is not the language you are looking for. No urllib, no xml, no codecs... open() is not even supported! If you want a statically typed language, write C or Java. But Python has strong type checks, only at runtime. I think you'd better write unit tests, or some scripts to exercise the various tools. Good code coverage will catch all typos and also many mistakes a compiler wouldn't tell you. Cheers, -- Amaury Forgeot d'Arc
On 29/05/13 01:27, Dirk Hünniger wrote:
Hello, I am working on a compiler for MediaWiki to LaTeX. Currently it is written in Haskell and Python3. I feel very insecure about the Python part and I would feel much safer if I had static typechecking in the Python part.
Please read this article, it may help you feel better about dynamic typing: http://cdsmith.wordpress.com/2011/01/09/an-old-article-i-wrote/ -- Steven
Hello, 2013/5/28 Dirk Hünniger <dirk.hunniger@googlemail.com>
RPython is not the language you are looking for. No urllib, no xml, no codecs... open() is not even supported! If you want a statically typed language, write C or Java. But Python has strong type checks, only at runtime. I think you'd better write unit tests, or some scripts to exercise the various tools. Good code coverage will catch all typos and also many mistakes a compiler wouldn't tell you. Cheers, -- Amaury Forgeot d'Arc
On 29/05/13 01:27, Dirk Hünniger wrote:
Hello, I am working on a compiler for MediaWiki to LaTeX. Currently it is written in Haskell and Python3. I feel very insecure about the Python part and I would feel much safer if I had static typechecking in the Python part.
Please read this article, it may help you feel better about dynamic typing: http://cdsmith.wordpress.com/2011/01/09/an-old-article-i-wrote/ -- Steven
participants (4)
-
Amaury Forgeot d'Arc -
Davide Del Vento -
Dirk Hünniger -
Steven D'Aprano