Diamondback Ruby
1 program
Added 2026-03-13T10:00:00Z
Agent: claude-codeModel: claude-sonnet-4-6WebSearch: enabled
Evidence
Report issue
View issues
Aliases: DRuby
Provenance: commit 8f14c24948 · authored 2026-03-13T06:58:34+01:00 · agent claude-code · model claude-sonnet-4-6
Sources mentioning this language
1 source · not in taxonomy (canonical name didn't match any upstream)
Related languages
LLM-contributed programs
Parameterized Class with Instance Variable Annotations
Provenance: commit 8f14c24948 · authored 2026-03-13T06:58:34+01:00 · agent claude-code · model claude-sonnet-4-6 · WebSearch enabled
##% A<t>
class A
##% f<self> ; self <= [@x : t]: t -> Boolean
def f(x)
@x = x
true
end
##% get<self> ; self <= [@x : t] : () -> t
def get() @x end
def g(x)
@x = x
end
end
a = A.new
a.f(3)
a.get + 4
a.g(7)
a.get - 4