Size: a a a

2020 April 26

B

Brenoritvrezorkre in Lisp Forever
Зато они представляют нативную возможность делать пруфы в реальном времени, делать для этого вообще ничего не нужно
источник

B

Brenoritvrezorkre in Lisp Forever
Значит, сразу встаёт идея использовать оба языка. Но тогда нужно делать так, чтобы конструкции одного языка переводились в конструкции другого, чтобы солверный язык искал прувы относительно твоего исчисления
источник

B

Brenoritvrezorkre in Lisp Forever
И тут лисп. Его легко, какой диалект ни взять (наверное), изменить так, чтобы оба синтаксиса были и корректно и максимально удобно переводились от одного к другому.
источник

AP

Alex Peresmeshnik in Lisp Forever
mel kaye
быстрее луны?
быстее кожуры определенно :)
источник

AP

Alex Peresmeshnik in Lisp Forever
Brenoritvrezorkre
Такой вот программный клей
как клей guile хорошо заходит
источник

B

Brenoritvrezorkre in Lisp Forever
Учту
источник

VL

Valeriy L in Lisp Forever
Alex Peresmeshnik
как клей guile хорошо заходит
кстати да
источник

AP

Alex Peresmeshnik in Lisp Forever
Brenoritvrezorkre
Гибкий трубопровод такой
А если CL - то как пример реально работающего трубопровода, актуального и необходимого в современном мире глянь py4cl. После подобных фишек нербходимость в выборе лиспов между всяких кложур и прочих пародий резко сокращается ;)
источник

VL

Valeriy L in Lisp Forever
Alex Peresmeshnik
быстее кожуры определенно :)
это тоже думаю
источник

B

Brenoritvrezorkre in Lisp Forever
Alex Peresmeshnik
А если CL - то как пример реально работающего трубопровода, актуального и необходимого в современном мире глянь py4cl. После подобных фишек нербходимость в выборе лиспов между всяких кложур и прочих пародий резко сокращается ;)
Зачем мне питон?))
источник

AP

Alex Peresmeshnik in Lisp Forever
Brenoritvrezorkre
Зачем мне питон?))
Тут не столько питон, сколько доступ к любой питонолибе. Например легким движением руки в CL залетает знаменитый тензорфлоу. Это как раз к вопросу практических решений чтобы создавать что-нибудь полезное, а не ковыряться в мнимых возможностях языков :)
источник

B

Brenoritvrezorkre in Lisp Forever
Ох уж этот тензорфлоу!
источник

B

Brenoritvrezorkre in Lisp Forever
(он и на плюсах есть)
источник

AP

Alex Peresmeshnik in Lisp Forever
Brenoritvrezorkre
Ох уж этот тензорфлоу!
Бгг, ну свои перлы с нвидиа конечно есть, но куда ж без них :)
источник

AP

Alex Peresmeshnik in Lisp Forever
В таком же духе у CL есть еще биндинг к R (правда на практике я этот биндинг пока не успел потыкать). Вобщем это реально существующие плюшки для тех кому ехать а не в шашеки ;)
источник

B

Brenoritvrezorkre in Lisp Forever
Я вот думаю, джулия имеет побольше нативно, чем R
источник

AP

Alex Peresmeshnik in Lisp Forever
Brenoritvrezorkre
Я вот думаю, джулия имеет побольше нативно, чем R
В Р уже коронавирус исследовали и либы выпустили, как дела у жулии? :)
источник

B

Brenoritvrezorkre in Lisp Forever
Ну это не нативно!
источник

AP

Alex Peresmeshnik in Lisp Forever
А, ну тут я не советчик, мне результат подавай а не ковыряшки :)
источник

AP

Alex Peresmeshnik in Lisp Forever
Хотя краем уха слышал, говорят в жулии распределенные вычисления из коробки, типа без всякого гемора толстый массив данных по нодам разнести для обсчета. Подобное может быть заманчиво. Но синтаксис у нее хуже кложуры :)
источник