Yes, it's just a syntactic separator. It separates variable declarations from variable usages, just like the -> in a lambda expression. It means "Here endeth the binders". I suppose the language designers went for . because it's 22 characters shorter.
Yes, it's just a syntactic separator. It separates variable declarations from variable usages, just like the
->in a lambda expression. It means "Here endeth the binders". I suppose the language designers went for.because it's 22 characters shorter.