Clojure static typing -

-

i know may sound blasphemy lisp aficionados (and other lovers of dynamic languages), how difficult enhance clojure compiler support static (compile-time) type checking?

setting aside arguments , against static , dynamic typing, possible (not "is advisable")?

i thinking adding new reader macro force compile-time type (an enhanced version of #^ macro) , adding type information symbol table allow compiler flag places variables misused. example, in following code, expect compile-time error (#* "compile-time" type macro):

(defn get-length [#*string s] (.length s)) (defn test-get-length [] (get-length 2.0))

the #^ macro reused global variable (*compile-time-type-checking*) force compiler checks.

any thoughts on feasibility?

it's possible. compiler static type checking around primitive argument types in 1.3 development branch.


Comments

Post a Comment

Popular posts from this blog

SAP Web Service from .NET via WCF -

-
i'm trying consume sap web service .net via wcf. i've generated proxy , have configured app.config file. here test code: webservicesap.ztest_rfcclient mywcfservice = new webservicesap.ztest_rfcclient("myendpoint"); mywcfservice.clientcredentials.username.username = "<username>"; mywcfservice.clientcredentials.username.password = "<password>"; webservicesap.ztestrfc parameter = new webservicesap.ztestrfc(); parameter.testinput = "this simple test"; webservicesap.ztestrfcresponse response = mywcfservice.ztestrfc(parameter); console.writeline(reponse.testoutput); console.readline(); the ztestrfc sap method simple function accepts input string, , outputs: "result: <the input string>" when call ztestrfc method, got null value in variable response. soap messages seem fine. soap request <messagelogtracerecord> <httprequest xmlns="http://schemas.microsoft.com/2004/06/servic...
Read more

Optimized Line drawing in QT -

-
i new qt. working on graphics. i using qwidget drawing graphics(for drawing graphics in qwidget paint event). need draw background , foreground graphics. background fixed graphics. foregrounds drawing lines. each 100 millisecond need draw 20points. drawing time 8 sec. total need draw 1600 points (total points represents contentious line). i using qtimer invoke drawing in each 100ms. first few drawing drawn fast. in middle of drawing it's become slow. the problem need draw foreground , background in each 100ms. please me fix problem. if 1 have sample code please provide. in advance. is there way draw partial area ie. particular modified region of graphics? qpainter-drawing can slow without hardware support. using qgraphicsview won't if lines visible, since internally uses qpainter anyway. if have draw 20 new points (or lines) per update , per update background gets cleared have render again, there few things try: 1) disable background autofill. see...
Read more

datetime - str to time in python -

-
time1 = "2010-04-20 10:07:30" time2 = "2010-04-21 10:07:30" how convert above string time stamp? i need subtract above timestamps time2-time1 . for python 2.5+ from datetime import datetime format = '%y-%m-%d %h:%m:%s' print datetime.strptime(time2, format) - datetime.strptime(time1, format) # 1 day, 0:00:00 edit: python 2.4 import time format = '%y-%m-%d %h:%m:%s' print time.mktime(time.strptime(time2, format)) - time.mktime(time.strptime(time1, format)) # 86400.0
Read more