Телеграмм чат группы clojure_ru страница 5186

parrot.ru

Рейтинг популярных групп и каналов

В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Clojure — русскоговорящее сообщество

570 membersпожаловаться на группу

2020 March 06

AV

Abyr Valg in Clojure — русскоговорящее сообщество

Если честно, не интересовался что там с типами, но знаю что идеи функционального программирования пошли от Чёрча и его лямбда-исчесления. Которое, в свою очередь позволяло фигачить функции прям в том месте где они были нужны и тут же получать результат и заворачивать в другую функцию и пошло-поехало.

Вот эту кстати вложенность очень прикольно видно если в хацкеле do-нотацию развернуть)

А мне вот интересно, можно ли сделать алгоритм, который по лямбде скажет ее результат без эвальюации?

источник

17:26пожаловаться #1

TP

Tim Plotnikov in Clojure — русскоговорящее сообщество

read { number1 ->
read { number2 ->
write(number1 + number2)
}
}

Вот вам и аналог лямбда-исчесления, без хранения состояния вообще, только лишь функции одни)

источник

17:27пожаловаться #2

T

Timmy B in Clojure — русскоговорящее сообщество

А мне вот интересно, можно ли сделать алгоритм, который по лямбде скажет ее результат без эвальюации?

ты сам понял что сказал?

источник

17:28пожаловаться #3

AV

Abyr Valg in Clojure — русскоговорящее сообщество

ты сам понял что сказал?

Нет )

источник

17:29пожаловаться #4

TP

Tim Plotnikov in Clojure — русскоговорящее сообщество

А мне вот интересно, можно ли сделать алгоритм, который по лямбде скажет ее результат без эвальюации?

Поясните. Если вы проанализировали код и смогли узнать результат, который продьюсит этот код, то вы его «выполнили»

источник

17:29пожаловаться #5

VM

Vyacheslav Mikushev in Clojure — русскоговорящее сообщество

Vyacheslav Mikushev

Потому что типы в лямбда исчисление приехали позднее.

По крайней мере, я так предполагаю.:)

источник

17:29пожаловаться #6

AV

Abyr Valg in Clojure — русскоговорящее сообщество

Поясните. Если вы проанализировали код и смогли узнать результат, который продьюсит этот код, то вы его «выполнили»

А можно без исполнения?

источник

17:29пожаловаться #7

λ

λoλmouse in Clojure — русскоговорящее сообщество

Sergey Trofimov

есть типы в кложе
строгая динамическая типизация

в компайл-тайм нет типов, об этом речь

источник

17:29пожаловаться #8

TP

Tim Plotnikov in Clojure — русскоговорящее сообщество

А можно без исполнения?

нет. Даже если вы посмотрите на выражение «2 + 2» и скажете что оно вернет 4, то вы всё равно выполнили этот код. И не важно что проделали в своей голове)

источник

17:30пожаловаться #9

VM

Vyacheslav Mikushev in Clojure — русскоговорящее сообщество

Sergey Trofimov

есть типы в кложе
строгая динамическая типизация

Строгая ли?:)

источник

17:30пожаловаться #10

ST

Sergey Trofimov in Clojure — русскоговорящее сообщество

https://en.wikipedia.org/wiki/Comparison_of_functional_programming_languages

Clojure
- not pure
- dynamic typing
etc.

Comparison of functional programming languages

Wikimedia list article

источник

17:30пожаловаться #11

AV

Abyr Valg in Clojure — русскоговорящее сообщество

нет. Даже если вы посмотрите на выражение «2 + 2» и скажете что оно вернет 4, то вы всё равно выполнили этот код. И не важно что проделали в своей голове)

А можно хотя бы написать алгоритм, определяющий, что программа завершится успешно?

источник

17:31пожаловаться #12

TP

Tim Plotnikov in Clojure — русскоговорящее сообщество

в компайл-тайм нет типов, об этом речь

Типы есть всегда))
динамическая типизация лишь говорит о том, что в разный момент времени тип может быть разный))

Думаю вы хотели сказать что тип не известен во время компиляции))
Он есть всегда, просто чтобы его узнать, надо туда посмотреть))

источник

17:32пожаловаться #13

λ

λoλmouse in Clojure — русскоговорящее сообщество

Типы есть всегда))
динамическая типизация лишь говорит о том, что в разный момент времени тип может быть разный))

Думаю вы хотели сказать что тип не известен во время компиляции))
Он есть всегда, просто чтобы его узнать, надо туда посмотреть))

то есть узнать тип можно только в рантайме?

источник

17:33пожаловаться #14

λ

λoλmouse in Clojure — русскоговорящее сообщество

это же ненадежно

источник

17:33пожаловаться #15

AV

Abyr Valg in Clojure — русскоговорящее сообщество

Типы есть всегда))
динамическая типизация лишь говорит о том, что в разный момент времени тип может быть разный))

Думаю вы хотели сказать что тип не известен во время компиляции))
Он есть всегда, просто чтобы его узнать, надо туда посмотреть))

вот надо бы написать алгоритм, узнающий тип S-expression без его оценки

источник

17:33пожаловаться #16

AV

Abyr Valg in Clojure — русскоговорящее сообщество

Тогда будет хорошо и удобно

источник

17:33пожаловаться #17

TP

Tim Plotnikov in Clojure — русскоговорящее сообщество

вот надо бы написать алгоритм, узнающий тип S-expression без его оценки

Только толку от этого?
Ну вот узнали мы тип на этапе компиляции, а в рантайме он возьми да и поменяйся. Толку от этих знаний?)

источник

17:34пожаловаться #18

VM

Vyacheslav Mikushev in Clojure — русскоговорящее сообщество

Типы есть всегда))
динамическая типизация лишь говорит о том, что в разный момент времени тип может быть разный))

Думаю вы хотели сказать что тип не известен во время компиляции))
Он есть всегда, просто чтобы его узнать, надо туда посмотреть))

По-моему, не всегда. Если, конечно, не считать целое число типизацией.:) Например, в ассемблере и форте есть только один тип.

источник

17:34пожаловаться #19

AV

Abyr Valg in Clojure — русскоговорящее сообщество

Только толку от этого?
Ну вот узнали мы тип на этапе компиляции, а в рантайме он возьми да и поменяйся. Толку от этих знаний?)

правильно, типы нафиг не нужны

источник

17:34пожаловаться #20