лиспы и мли это две разные ветви фп (и на самом деле их можно обобщать не по всем определениям фп), т.е. поняв одно, ты не поймёшь другое. Лисп я тебе самый лучший посоветовать, наверное. не смогу, а мли можно сразу с хаскеля изучать - ничем не худе остальных
Ну скорее ты просто погружаешься по немногу в верификацию, которой являются типы и исчисление придикатов, но она на самом деле была всегда (условные плюсы, джава)
Там математики нет, если под математикой подразумевать что-то более-менее "сложное". Простейшие перестановки "кубиков" называются умными терминами. Это будет в языке дальше повсюду.