MAKE Should Be Using *Dialected Constructors*

[hostilefork]

@hostilefork

I was musing on the behavior of FENCE! in the interpreter and thought, what if it wasn't narrowly defined as being OBJECT! related. What if it was MAKE-related, with an object-generating default?

>> {x: 10, y: 20}
== #[object! x: 10 y: 20]

>> {[block!] 4/8 initial: '*}  ; maybe leading block means MAKE that?
== [* * * *]

I've been calling this CONSTRUCT, not MAKE--and you can override it with RebindableSyntax.

This has made me wonder. In light of things like how modern TYPE OF has OF glue itself to TYPE and run a function in the environment called TYPE-OF... might there be a similar concept for MAKE FUNCTION to run MAKE-FUNCTION, which could have whatever arity was needed?

foo: make function [
   your spec here
][
   your body here
]

Then FUNC could just be a shorthand for MAKE-FUNCTION?

It's just a thought, because I've always felt the MAKE missing is a semantic pitfall...but there's always been issues with arity and appearance.