Uhh… What? I’m confused. Did you think this would be a smoking gun to your argument?
Of course Time.now() is an effectful routine.
This is not a strange idea to “FP purist zealots” either.
How is it defined in Elm?
Time.now : Task x Posix
How is it defined in Haskell?
Data.Time.Clock.getCurrentTime :: IO UTCTime
And no, you have not given any examples of using JavaScript in a type-safe way. If you think you have, it means you don’t adequately understand type-safety.
How about Time.now()? :) Source of disturbance, it should not be allowed to be used in programming etc. etc.