User loginNavigation 
Type inference for free?Hello everybody, this is my first post, so please be gentle... (actually i was passive around here for years, and find LtU a great source of inspiration and wisdom). I'm not at all into dynamic typing, i find static typechecking superior in any way. However, recently i just had the thourght: "If all I want to write is a single sideeffectfree, IOfree, terminating function F(x), with well defined argument and returntypes. And further, if I am able to come up with an x which trigger all branches (selections and pattern matches) of F, then i can get static (compile time) typing of F in a dynamically strong typed language." Suppose i write F in the dynamically strong typed language, which does the following: Immediatly after each compile of F, evaluate F(x), (yes, please). If it does not crash (or loop forever) F is typesafe, else report an error. The idea is that typechecking F is no harder than evaluating it on a sufficiently large test set argument. Is this sound? If yes, what about the next step: If it shows be the evaluation that F(x) has a strong typing, would it be possible to record all types of all expressions and create G, equivalent to F decorated with type annotations? I do realize i'm asking for (usually turingcomplete) typeinfernce for free... By OleKristensen at 20070712 21:51  LtU Forum  previous forum topic  next forum topic  other blogs  7698 reads

Browse archives
Active forum topics 
Recent comments
13 weeks 6 days ago
13 weeks 6 days ago
13 weeks 6 days ago
36 weeks 19 hours ago
40 weeks 2 days ago
41 weeks 6 days ago
41 weeks 6 days ago
44 weeks 4 days ago
49 weeks 2 days ago
49 weeks 2 days ago