Хочу изучить язык с выводимостью типов, статичсекой типизацией. Сейчас читаю доки по Qi — посколько в основе лежит знакомый мне лисп. А какие вообще есть языки — интересует прежде оснащенность документацией и теоретическая полнота?
И вообще насколько Qi хорош в этом плане?
спасибо