Skip to main content

You are not logged in. Your edit will be placed in a queue until it is peer reviewed.

We welcome edits that make the post easier to understand and more valuable for readers. Because community members review edits, please try to make the post substantially better than how you found it, for example, by fixing grammar or adding additional resources and hyperlinks.

Required fields*

1
  • 1
    Not possible in SML (what would the type of such a function be? There isn't an SML type whose values are types). Python functions can create classes, but that probably isn't sufficiently functional for you. Maybe Lisp macros might interest you. Along that line, perhaps clojure (which is based on Lisp but is more functional) might have something. What you are trying to do is unlikely to play nicely with type inference. Commented Oct 5, 2018 at 19:22