Tomas Petricek @tomasp.net · Feb 13 Something like the first code snippet here: turing.thegamma.net/markets/ ? The type of "scrapeDatedLists" is value-dependent. Based on the value, it generates types with members you use to construct the query. The type checker (used also by auto complete) forces the evaluation of the argument.
2 likes 2 replies
Replies
Type providers in #fsharp do this also, but in a more limited way - the argument has to be static literal: tomasp.net/academic/pap... I (sadly!) never wrote about the "value-dependence" in the type system of The Gamma. Only about the mechanism for generating members: tomasp.net/academic/pap...
Very much like this. I can't tell if the type is being "statically checked" or not. I do see the errors below the editor after a modification but it's unclear if that's after doing the full transformation or not. Interface is very cool.