(1) is already done. You must declare the types of all identifiers, in particular, variables, functions, fields, methods and structs as a whole.
(2) is doable -- when the ti succeeds and I think we should at least provide the opption. On Aug 5, 2014, at 6:06 PM, Raoul Duke wrote: >>> add type declarations to variables and fields and function and method >>> signatures. >> >> A good motto, which I shall endeavour to remember. > > what i do not get about TR and other languages (ocaml, haskell, etc.) > is: there are these rules of thumb that you must somehow learn to keep > yourself out of the weeds, but you only get to learn them the long and > hard way. why don't the runtimes/ides > > (1) have a switch that says "hey, force me, the user, to put in type > annotations by hand in the critical places, ok? so i don't have to > suffer so much down the road, ok?" > > (2) put the inferred annotations into the code as it goes along so i > can see what kind of crazy talk the inference engine is having with > itself? > ____________________ > Racket Users list: > http://lists.racket-lang.org/users ____________________ Racket Users list: http://lists.racket-lang.org/users
