RosettaCodeData/Task/Constrained-genericity/J/constrained-genericity-1.j
2016-12-05 22:15:40 +01:00

14 lines
201 B
Text

coclass'Connoisseur'
isEdible=:3 :0
0<nc<'eat__y'
)
coclass'FoodBox'
create=:3 :0
collection=: 0#y
)
add=:3 :0"0
'inedible' assert isEdible_Connoisseur_ y
collection=: collection, y
EMPTY
)