B
Зато они представляют нативную возможность делать пруфы в реальном времени, делать для этого вообще ничего не нужно
Size: a a a
2020 April 26
B
Значит, сразу встаёт идея использовать оба языка. Но тогда нужно делать так, чтобы конструкции одного языка переводились в конструкции другого, чтобы солверный язык искал прувы относительно твоего исчисления
B
И тут лисп. Его легко, какой диалект ни взять (наверное), изменить так, чтобы оба синтаксиса были и корректно и максимально удобно переводились от одного к другому.
AP
быстрее луны?
быстее кожуры определенно :)
AP
Brenoritvrezorkre
Такой вот программный клей
как клей guile хорошо заходит
B
Учту
VL
как клей guile хорошо заходит
кстати да
AP
Brenoritvrezorkre
Гибкий трубопровод такой
А если CL - то как пример реально работающего трубопровода, актуального и необходимого в современном мире глянь py4cl. После подобных фишек нербходимость в выборе лиспов между всяких кложур и прочих пародий резко сокращается ;)
VL
быстее кожуры определенно :)
это тоже думаю
B
А если CL - то как пример реально работающего трубопровода, актуального и необходимого в современном мире глянь py4cl. После подобных фишек нербходимость в выборе лиспов между всяких кложур и прочих пародий резко сокращается ;)
Зачем мне питон?))
AP
Brenoritvrezorkre
Зачем мне питон?))
Тут не столько питон, сколько доступ к любой питонолибе. Например легким движением руки в CL залетает знаменитый тензорфлоу. Это как раз к вопросу практических решений чтобы создавать что-нибудь полезное, а не ковыряться в мнимых возможностях языков :)
B
Ох уж этот тензорфлоу!
B
(он и на плюсах есть)
AP
Brenoritvrezorkre
Ох уж этот тензорфлоу!
Бгг, ну свои перлы с нвидиа конечно есть, но куда ж без них :)
AP
В таком же духе у CL есть еще биндинг к R (правда на практике я этот биндинг пока не успел потыкать). Вобщем это реально существующие плюшки для тех кому ехать а не в шашеки ;)
B
Я вот думаю, джулия имеет побольше нативно, чем R
AP
Brenoritvrezorkre
Я вот думаю, джулия имеет побольше нативно, чем R
В Р уже коронавирус исследовали и либы выпустили, как дела у жулии? :)
B
Ну это не нативно!
AP
А, ну тут я не советчик, мне результат подавай а не ковыряшки :)
AP
Хотя краем уха слышал, говорят в жулии распределенные вычисления из коробки, типа без всякого гемора толстый массив данных по нодам разнести для обсчета. Подобное может быть заманчиво. Но синтаксис у нее хуже кложуры :)