issues
search
gracelang
/
language
Design of the Grace language and its libraries
GNU General Public License v2.0
6
stars
1
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
Table of Types
#96
kjx
closed
8 years ago
1
cut-down pattern matching isn't type safe
#95
kjx
closed
8 years ago
1
lineup iterable literals vs overriding on arity
#94
kjx
closed
8 years ago
5
print should be cleverer
#93
kjx
closed
8 years ago
1
Type enquiries
#92
kjx
closed
7 years ago
10
Semantics of Equality
#91
kjx
closed
8 years ago
3
Value Objects
#90
kjx
opened
8 years ago
4
Virtualise literals (strings and numbers)
#89
kjx
opened
8 years ago
5
Weak References
#88
kjx
opened
8 years ago
1
Brands
#87
kjx
opened
8 years ago
0
How are are (mutually) recursive names initialised?
#86
kjx
opened
8 years ago
0
Can we have manifest method parameters?
#85
kjx
opened
8 years ago
0
abstract: can defs, vars, etc be abstract, or only methods?
#84
kjx
closed
8 years ago
1
Annotation methods vs annotating method return type
#83
kjx
opened
8 years ago
0
Subtyping vs Subclassing
#82
kjx
closed
8 years ago
4
Interface of singleton(o) types
#81
kjx
closed
7 years ago
2
Freeing up "is" - C# style [annotations]
#80
kjx
closed
8 years ago
0
What should the spec say about the "Self" type?
#79
kjx
closed
8 years ago
4
add grammar excerpts into spec where relevant
#78
kjx
closed
8 years ago
0
should overrides be in the Core language or just a dialect?
#77
kjx
opened
8 years ago
5
generic parameters on unary and binary operator declarations and requests
#76
kjx
opened
8 years ago
1
Can dialects define names that can't be shadowed?
#75
apblack
opened
8 years ago
0
operators (parsing and choice) [] [[ ]] < > []:=
#74
kjx
closed
8 years ago
11
complexity of inheritance/trait/object design
#73
kjx
opened
8 years ago
2
modular (type) checking of traits and classes probably doesn't work
#72
kjx
closed
8 years ago
7
flattening doesn't work
#71
kjx
closed
8 years ago
1
both [ “a”, “b”, “c” ] and “abc” are sequences of strings...
#70
kjx
closed
8 years ago
3
where do the other operations in the Math module go?
#69
kjx
closed
7 years ago
9
in which scope should the argument to inherit and use clauses be evaluated?
#68
kjx
closed
8 years ago
10
James model semantics for traits inheritance combination
#67
kjx
closed
8 years ago
11
It's impossible to refer to sections of the language spec
#66
apblack
closed
8 years ago
1
It's impossible to refer to sections of the language spec
#65
apblack
closed
8 years ago
4
What's a type (module "build order")
#64
apblack
closed
7 years ago
28
modulo: is -12 % 8 = 4 or -4?
#63
kjx
closed
8 years ago
9
please remind me why "alias" rather than "rename"
#62
kjx
closed
8 years ago
18
descriptive or imperative: "use", "inherit" vs. "uses", "inherits"
#61
kjx
closed
8 years ago
11
types should support "-"
#60
kjx
closed
8 years ago
3
When should we detect structural errors in a program?
#59
kjx
closed
8 years ago
12
should the trait shortcut permit non-type parameters?
#58
kjx
closed
8 years ago
18
need to cross-check list of exceptions
#57
kjx
opened
8 years ago
0
statically tracking that a trait is incomplete (uncooked)?
#56
kjx
opened
8 years ago
3
canonical form of request names
#55
kjx
closed
8 years ago
10
Initialisation of overridden or excluded defs and vars
#54
kjx
opened
8 years ago
16
everything should be in a module
#53
kjx
opened
8 years ago
9
valof as top level "control method"
#52
apblack
closed
8 years ago
3
what is the interface of lineup aka [...] aka VariadicList aka HList aka ...?
#51
kjx
closed
8 years ago
1
what is the interface of platform/memory aka PrimitiveArray
#50
kjx
opened
8 years ago
8
what are the default methods?
#49
kjx
opened
8 years ago
28
Disjunctive Normal Form (DNF) for types
#48
apblack
opened
8 years ago
4
definition of manifest
#47
kjx
opened
8 years ago
7
Previous
Next