Opened 12 years ago
Last modified 10 years ago
#128 new enhancement
[Discuss] Need to treat predicate more as a normal data type in implementations
Reported by: | magne | Owned by: | magne |
---|---|---|---|
Priority: | medium | Milestone: | m13.11 |
Component: | magnolia-eclipse | Version: | |
Keywords: | Cc: | ||
Blocked By: | Blocking: |
Description
Several normal instances of reuse cannot be implemented unless the predicate type is treated more as a normal type in implementations and libraries.
Predicate is not a normal type in concepts.
Change History (5)
comment:1 by , 12 years ago
Status: | new → assigned |
---|---|
Summary: | Need to treat predicate more as a normal data type in implementations → [Discuss] Need to treat predicate more as a normal data type in implementations |
comment:2 by , 11 years ago
Owner: | changed from | to
---|---|
Status: | assigned → new |
comment:3 by , 11 years ago
comment:4 by , 11 years ago
Ah; you can do that already using the "\predicate" type. So all we need to do is decide on a good proper name for it.
(Names starting with backslash are meant for internal use.)
comment:5 by , 10 years ago
I cannot use \predicate in renamings at the moment.
The name predicate for this type would be fine. Be aware that predicate arguments to operations would have to be evaluated (strict semantics), while predicate expressions using the predicate combinators !, &&, => etc do not need to be fully evaluated (non-strict semantics).
We should be able to declare variables and allow arguments of type predicate.