Hacker News new | ask | show | jobs
by mrkeen 437 days ago
Functions which use IO are tagged as such in the type system. IO can call non-IO, but not vice-versa.