Re: Accessing The Command Line

[Paul Rubin <no.email@nospam.invalid>]

Lawrence D'Oliveiro <ldo@nz.invalid> writes:
> Though I recognize that there is no way to do printf style in a
> type-safe fashion, short of going to a fully-dynamic language.

C++ does that polymorphism stuff in iostream so you'd write
  std::cout << "my name: " << command_line << ...
 
Haskell does something sort of similar with additional machinery.

printf for some people is one of the motivations for dependent types.