I would actually really like to learn Ada cause it just sounds interesting. All number types are fully ranged and it would be fun to hand out as a CTF problem.
My intro CS classes were actually in Ada95. Maybe rose tinted glasses, but I thought it was quite nice. Once you submit to its rigors it's kind of freeing to not have those wtf moments I sometimes have even in languages I know quite well