When I overload an operator with a function, I can use the following syntax
symintr .bar
fun foo_get_bar (foo): bar
overload .bar with foo_get_bar of 10
What does the “of x” part of the declaration stand for?
It isn’t urgent but I guess I’m not clear on what the above (old comment)
means " the dot notation overloading only when the type ‘foo’ is
non-linear", since an arrayptr is linear (and it sill works).
Brandon Barker
brandon…@gmail.comOn Mon, Aug 11, 2014 at 8:07 PM, gmhwxi gmh...@gmail.com wrote:
The former is a variant of the latter.
On Monday, August 11, 2014 1:51:52 PM UTC-4, Brandon Barker wrote:
I’ve noticed that the linear analogue of " . " seems to be " → ". Is
this just convention though? For instance, if ‘a’ is an arrayptr, both of
these seem to typecheck:val tmp = a->[0]
val tmp = (!a).[0]
On Sunday, December 8, 2013 11:02:25 PM UTC-5, gmhwxi wrote:
By the way, the dot notation overloading only when the type ‘foo’ is
non-linear.On Sunday, December 8, 2013 9:16:09 PM UTC-5, William Blair wrote:
When I overload an operator with a function, I can use the following
syntaxsymintr .bar fun foo_get_bar (foo): bar overload .bar with foo_get_bar of 10What does the “of x” part of the declaration stand for?
–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/6028e39e-9ecf-4d40-97f0-066d3b315312%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/6028e39e-9ecf-4d40-97f0-066d3b315312%40googlegroups.com?utm_medium=email&utm_source=footer
.
Ah, I think the “dot notation” I was thinking of is different since it is
not overloaded in the way you have described (only is overloaded not
“.”).
Brandon Barker
brandon…@gmail.comOn Mon, Aug 11, 2014 at 8:27 PM, gmhwxi gmh...@gmail.com wrote:
In A.[i], the notation .[i] is considered a label.
Dot notation overloading means to use dot notation to refer to a function
call:For instance, list_head is a function. If one wants to write xs.head for
list_head(xs),
then the following code is needed first:overload .head with list_head
Dot notation does not work if the argument of the involved function is
linear.On Monday, August 11, 2014 8:17:11 PM UTC-4, Brandon Barker wrote:
It isn’t urgent but I guess I’m not clear on what the above (old comment)
means " the dot notation overloading only when the type ‘foo’ is
non-linear", since an arrayptr is linear (and it sill works).Brandon Barker
brand...@gmail.comOn Mon, Aug 11, 2014 at 8:07 PM, gmhwxi gmh...@gmail.com wrote:
The former is a variant of the latter.
On Monday, August 11, 2014 1:51:52 PM UTC-4, Brandon Barker wrote:
I’ve noticed that the linear analogue of " . " seems to be " → ". Is
this just convention though? For instance, if ‘a’ is an arrayptr, both of
these seem to typecheck:val tmp = a->[0]
val tmp = (!a).[0]
On Sunday, December 8, 2013 11:02:25 PM UTC-5, gmhwxi wrote:
By the way, the dot notation overloading only when the type ‘foo’ is
non-linear.On Sunday, December 8, 2013 9:16:09 PM UTC-5, William Blair wrote:
When I overload an operator with a function, I can use the following
syntaxsymintr .bar fun foo_get_bar (foo): bar overload .bar with foo_get_bar of 10What does the “of x” part of the declaration stand for?
–
You received this message because you are subscribed to the Google
Groups “ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send
an email to ats-lang...@googlegroups.com.
To post to this group, send email to ats-l...@googlegroups.com.Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit https://groups.google.com/d/
msgid/ats-lang-users/6028e39e-9ecf-4d40-97f0-066d3b315312%
40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/6028e39e-9ecf-4d40-97f0-066d3b315312%40googlegroups.com?utm_medium=email&utm_source=footer
.–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang-user...@googlegroups.com.
To post to this group, send email to ats-lan...@googlegroups.com.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/593e4031-31fb-4ff3-a130-b94321436c2a%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/593e4031-31fb-4ff3-a130-b94321436c2a%40googlegroups.com?utm_medium=email&utm_source=footer
.
By the way, the dot notation overloading only when the type ‘foo’ is
non-linear.On Sunday, December 8, 2013 9:16:09 PM UTC-5, William Blair wrote:
When I overload an operator with a function, I can use the following syntax
symintr .bar fun foo_get_bar (foo): bar overload .bar with foo_get_bar of 10What does the “of x” part of the declaration stand for?
I’ve noticed that the linear analogue of " . " seems to be " → ". Is this
just convention though? For instance, if ‘a’ is an arrayptr, both of these
seem to typecheck:
val tmp = a->[0]
val tmp = (!a).[0]On Sunday, December 8, 2013 11:02:25 PM UTC-5, gmhwxi wrote:
By the way, the dot notation overloading only when the type ‘foo’ is
non-linear.On Sunday, December 8, 2013 9:16:09 PM UTC-5, William Blair wrote:
When I overload an operator with a function, I can use the following
syntaxsymintr .bar fun foo_get_bar (foo): bar overload .bar with foo_get_bar of 10What does the “of x” part of the declaration stand for?
Related, not about syntax, but about when overload is needed.
If I have a praxi with an argument then next after, a fun of the same name
without an argument, if I refer to the praxi with an argument, ATS
complains about an arity miss‑match. I can solve it either using different
name for both, optionally introducing a symbol and overloading it, if I
really want to use the same name for both in practice.
I though is was OK to expect the arity is enough to disambiguate, but it
seems not and explicit overloading is necessary.Le lundi 9 décembre 2013 03:16:09 UTC+1, William Blair a écrit :
When I overload an operator with a function, I can use the following syntax
symintr .bar fun foo_get_bar (foo): bar overload .bar with foo_get_bar of 10What does the “of x” part of the declaration stand for?
In A.[i], the notation .[i] is considered a label.
Dot notation overloading means to use dot notation to refer to a function
call:
For instance, list_head is a function. If one wants to write xs.head for
list_head(xs),
then the following code is needed first:
overload .head with list_head
Dot notation does not work if the argument of the involved function is
linear.On Monday, August 11, 2014 8:17:11 PM UTC-4, Brandon Barker wrote:
It isn’t urgent but I guess I’m not clear on what the above (old comment)
means " the dot notation overloading only when the type ‘foo’ is
non-linear", since an arrayptr is linear (and it sill works).Brandon Barker
brand...@gmail.com <javascript:>On Mon, Aug 11, 2014 at 8:07 PM, gmhwxi <gmh...@gmail.com <javascript:>> wrote:
The former is a variant of the latter.
On Monday, August 11, 2014 1:51:52 PM UTC-4, Brandon Barker wrote:
I’ve noticed that the linear analogue of " . " seems to be " → ". Is
this just convention though? For instance, if ‘a’ is an arrayptr, both of
these seem to typecheck:val tmp = a->[0]
val tmp = (!a).[0]
On Sunday, December 8, 2013 11:02:25 PM UTC-5, gmhwxi wrote:
By the way, the dot notation overloading only when the type ‘foo’ is
non-linear.On Sunday, December 8, 2013 9:16:09 PM UTC-5, William Blair wrote:
When I overload an operator with a function, I can use the following
syntaxsymintr .bar fun foo_get_bar (foo): bar overload .bar with foo_get_bar of 10What does the “of x” part of the declaration stand for?
–
You received this message because you are subscribed to the Google Groups
“ats-lang-users” group.
To unsubscribe from this group and stop receiving emails from it, send an
email to ats-lang...@googlegroups.com <javascript:>.
To post to this group, send email to ats-l...@googlegroups.com
<javascript:>.
Visit this group at http://groups.google.com/group/ats-lang-users.
To view this discussion on the web visit
https://groups.google.com/d/msgid/ats-lang-users/6028e39e-9ecf-4d40-97f0-066d3b315312%40googlegroups.com
https://groups.google.com/d/msgid/ats-lang-users/6028e39e-9ecf-4d40-97f0-066d3b315312%40googlegroups.com?utm_medium=email&utm_source=footer
.
The former is a variant of the latter.On Monday, August 11, 2014 1:51:52 PM UTC-4, Brandon Barker wrote:
I’ve noticed that the linear analogue of " . " seems to be " → ". Is this
just convention though? For instance, if ‘a’ is an arrayptr, both of these
seem to typecheck:val tmp = a->[0]
val tmp = (!a).[0]
On Sunday, December 8, 2013 11:02:25 PM UTC-5, gmhwxi wrote:
By the way, the dot notation overloading only when the type ‘foo’ is
non-linear.On Sunday, December 8, 2013 9:16:09 PM UTC-5, William Blair wrote:
When I overload an operator with a function, I can use the following
syntaxsymintr .bar fun foo_get_bar (foo): bar overload .bar with foo_get_bar of 10What does the “of x” part of the declaration stand for?
It is the priority/precedence of this instance of overload.
Say you have
overload .bar with foo1_get_bar (* of 0 *)
overload .bar with foo2_get_bar of 10
In case where a tie needs to be broken between these two, foo2_get_bar
is picked over foo1_get_bar.On Sunday, December 8, 2013 9:16:09 PM UTC-5, William Blair wrote:
When I overload an operator with a function, I can use the following syntax
symintr .bar fun foo_get_bar (foo): bar overload .bar with foo_get_bar of 10What does the “of x” part of the declaration stand for?