3 ms·

Interesting, this seems very similar to Haskell at a very basic level. A Haskell program consists of declarations of functions and constants. Constants belong

by zohebv 13y ago

Interesting, this seems very similar to Haskell at a very basic level. A Haskell program consists of declarations of functions and constants. Constants belong to the class Eq http://www.haskell.org/ghc/docs/latest/html/libraries/base/Data-Eq.html http://www.haskell.org/ghc/docs/latest/html/libraries/base/D... Functions do not. How is your notion of nonsymbol/symbol different from function/constant?

michaelochurch 13y ago
They're very similar. I would say the only difference is that I intend on using function for a specific subset of nonsymbols, and also that I intend for it to be a code construct (nonsymbols are not code; in fact, it's impossible to capture most nonsymbols in code). Pathological nonsymbols do not really feel like functions. However, one could construe nonsymbols as being HOFs (the worst of which would be ill-typed in any sane type system, such as Haskell's).