Re: [q-lang-users] H/M-based typing for Q

[Eddie R. <ed...@bm...>]

Albert Graef,

> What do you think about this? Would adding a more elaborate type system
> to Q be a wanted improvement? Obviously it might make Q programming a
> little safer, and type inference might also help to generate faster code
> in a native code compiler. But there might be drawbacks as well...

I think that adding the type system as described is an improvement if a
native code compiler is constructed. But even better, if this could be
combined with an editor, errors could be caught during the coding process
whether a native code compiler was ever constructed or not. I can imagine
hitting enter after banging in an equation and emacs (or whatever) beeps
at me and tells me there is a type error. Incremental compiling and type
inference = cool!

Just my opinion.