Зигохистоморфный
Дебилизм а не изоморфизм Рича Хикки, только типами едины мы
A64m
у него же перезказ речи этого их Хики
он там расказывает, что он химик и закачивает в людей антинаучные вещи
A64m
вроде Хики не закачивает
Anonymous
только типами едины мы~
A64m
"модель вообще не математическая, ближе к химическим моделям"
Anatolii
@A64m_qb0 я вот на 5 минуте этого видео и уже закрыть хочется :(
A64m
да я не призываю это смотреть
Anatolii
ну мне уже интересно стало
A64m
весь жир там в первые 5 минут и есть, дальше только повторяется и используется для обоснования использования хешмапов (потому что в крови Адама течет JSON)
Anatolii
мне вот инетерсно взглянуть на проект на Clojure
Anonymous
ну взгляни
Anatolii
ну это сначала надо язык подучить
Anatolii
просто сколько времени уйдет чтобы в него въехать
Anatolii
мне просто кажется что там не лучше чем в JS
Anatolii
о, он про чистые функции сказал
Anatolii
а как он будет о чистоте судить?
Anatolii
комент напишет сверху наверное
Anatolii
ПОПЫТКА НАТЯНУТЬ МАТЕМАТИКУ
Denis
Надежные источники говорят что та же динамическая дрисня. А как еще то?
john
кложу за неделю поднять можно
Anatolii
а я вот не знаю, просто эти кложуристы какие-то сектанты
Anatolii
хотя я вру, я когда прочитал статью как чувак написал кложу на хаскеле - понял что кложа это тот же жс
john
ты что, родные браться функциональщици
Anatolii
"вы написали п-му и она работает - вы молодцы"
но там же у них написал и надеешся что она работает
Anatolii
аа
Anatolii
"СТЕПЕНЬ КОРРЕКТНОСТИ"
Anatolii
что-то много выпало на эту неделю
Anatolii
backendsecret, теперь этот чувак
Viacheslav
Надежные источники говорят что та же динамическая дрисня. А как еще то?
Ну есть core spec
Viacheslav
Там какая-то попытка сделать что-то вроде квикчека
Anatolii
а что он генерит?
Anatolii
хэшмапы рандомные?
Anatolii
с рандомными типами*
Anatolii
?
Viacheslav
Ну я только слышал, сам на кложе не пишу. Но идея такая же, описываешь генератор и он проверяет на случайные примеры функцию
Viacheslav
Пытаясь сгенерировать контрпример
Viacheslav
Можно послушать David Nolan, он один из главных пропагандистов
Viacheslav
Ну есть core.typed
Viacheslav
Но как-то я так понял он не взлетел по стандартным причинам всех систем с gradual typing
Viacheslav
Отсутствие нормальных тайпингов для сторонних либ
Anatolii
так, он сказал что жс близок к кложуре, @catamorphism информация подтвердилась
Anatolii
сейчас за 5 научит в кложу
Viacheslav
Вот кажется, тут людей хлебом не корми, дай побомбить на js
Anonymous
(print (str (+ 1 2 (- 4 3)))) за 0.1
Anatolii
я просто на нем писал 2 месяца - поэтому сравнил
Anatolii
никакх набросов
Aliester
(insert-my-nice-parens :everywhere)
Anatolii
так - "мерджим хэшмапы", а если там поля пересекаются, эксепшен вылетит какой-то? или узнаем через месяц?
Anonymous
скорее всего последний аргумент перезапишет первый
Viacheslav
Звучит как нормальное поведение почти во всех языках
Anonymous
Вот кажется, тут людей хлебом не корми, дай побомбить на js
есть 2 типа чатов:
1) пишут на жс или пхп
2) обсуждают жс или пхп
Viacheslav
Те кто копают и те у кого заряжен револьвер
Anatolii
он как-то это рассказывает... он думает что его не понимают наверное
Anatolii
или мне так кажется
Taras 🦀
есть 2 типа чатов:
1) пишут на жс или пхп
2) обсуждают жс или пхп
пишу на js (не на сервере),
уже не пишу на php
(все, раскаялся)
Nikita
ты прощен
Taras 🦀
потому что я ленивец
Viacheslav
Пишу на JS и на PHP
Anonymous
Клуб анонимных жспхпшников
Anonymous
"Я не пишун на жс уже 3 недели..."
Viacheslav
Такто вроде пурскрипт как раз ленивый
Taras 🦀
Всмысле за ленивые вычисления и против энергичных?
всмысле мне лень изучать какой-то еще скрипт
доня.
пурскрипт пилят с расчётом на как можно более прозрачную транспиляцию в жс
доня.
т.е. чтобы сгенерированный код был как можно более читабельным
A64m
вся суть его доклада, когда он говорит, что так на любом языке можно писать, но, почему-то не пишут
доня.
пурскрипт пилят с расчётом на как можно более прозрачную транспиляцию в жс
поэтому он не ленивый, поэтому инстансы тайпклассов именованные, поэтому у операторов всегда есть буквенные синонимы
Viacheslav
Ну тогда все понятно
Зигохистоморфный
вернанский?
Зигохистоморфный
кто это такой?
Зигохистоморфный
Вернадского знаю
Зигохистоморфный
что тот тип в докладе про кложуру несет?
Зигохистоморфный
такc... зачем я это посмотрел
Кабачок
Потому что не смог присутствовать лично?
Leonid 🦇
А вы знали что Rational быстрее Scientific?
https://github.com/haskell-perf/numbers/blob/master/README.md