I wish the effect system could be used to implement sandboxing.
The stdlib procs that run system calls could be tagged accordingly, and the
application's "main" could then set up a sandbox at runtime to allow only the
required system calls.
Well, then cast should also have a special effect because it can be used to
strip off any pragmas
Yes the current file IO "async" implementation isn't actually async.
@snej @mratsim \- Thank you both very much. I've re-watched Andreas' talk and
gone through the String CoW and mratsim's example. It looks like I'm covered,
but there's one thing that I haven't managed to convince myself of, described
below.
Is this enough to guarantee that the compiler won't
Ok, but the general idea is the same, of using an underscore to differentiate
code from the typical meaning. To me it's easier to read than those quotes the
DSL currently uses.
Python code usually uses a _leading_ underscore to mark an identifier "private"
and _trailing_ underscores to distinguish identifiers from keywords.
[https://www.python.org/dev/peps/pep-0008/#descriptive-naming-styles](https://www.python.org/dev/peps/pep-0008/#descriptive-naming-styles)
Yeah and in fact, I considered such an optimization but with ARC/ORC the effect
isn't as big as it used to be so it's better to focus on these.
Sorry, I typed my previous message from my phone and did not notice the typo.
Couldn’t the compiler detect the case in which there is no main procedure yet
none of the global variables is used in any procedures and optimize it?
While this is a neat use of templates to create an SQL DSL, where does the ORM
part come in? I don't see any place to automatically load values into an
object/ref, aside from the procedures returning sequences.