Значит, сразу встаёт идея использовать оба языка. Но тогда нужно делать так, чтобы конструкции одного языка переводились в конструкции другого, чтобы солверный язык искал прувы относительно твоего исчисления
И тут лисп. Его легко, какой диалект ни взять (наверное), изменить так, чтобы оба синтаксиса были и корректно и максимально удобно переводились от одного к другому.
А если CL - то как пример реально работающего трубопровода, актуального и необходимого в современном мире глянь py4cl. После подобных фишек нербходимость в выборе лиспов между всяких кложур и прочих пародий резко сокращается ;)
А если CL - то как пример реально работающего трубопровода, актуального и необходимого в современном мире глянь py4cl. После подобных фишек нербходимость в выборе лиспов между всяких кложур и прочих пародий резко сокращается ;)
Тут не столько питон, сколько доступ к любой питонолибе. Например легким движением руки в CL залетает знаменитый тензорфлоу. Это как раз к вопросу практических решений чтобы создавать что-нибудь полезное, а не ковыряться в мнимых возможностях языков :)
В таком же духе у CL есть еще биндинг к R (правда на практике я этот биндинг пока не успел потыкать). Вобщем это реально существующие плюшки для тех кому ехать а не в шашеки ;)
Хотя краем уха слышал, говорят в жулии распределенные вычисления из коробки, типа без всякого гемора толстый массив данных по нодам разнести для обсчета. Подобное может быть заманчиво. Но синтаксис у нее хуже кложуры :)