Standard ML doesn't have higher-order functors as a language feature altogether.

Maybe you were working with SML/NJ or Moscow ML-specific extensions?

Comments

Posting Rules

  • Be respectful to others
  • No spam or self-promotion
  • Stay on topic
  • Follow Bluesky's terms of service