в жс классы

Может ты с метаобъектами путаешь?

class Foo { constructor() { console.log("wow! classes in js"); } }

Ну и extends тоже есть и это уже не просто сахар над прототайп

Ну и extends тоже есть и это уже не просто сахар над прототайп

Сахар, но это ни на что не влияет

Существует лишь крайне узкий ряд кейсов в которых можно отличить сущность созданную через прототипы от сущности созданной через классы. И те можно убрать через Proxy или другие приёмы Просто это долго и неудобно, так как к прототипному наследованию относятся все проблемы наследования обычного

Как нету IDE-срача, так тишина. Так что сделаю вброс не менее классический, но похитрее. Вопрос промышленным хаскель-программистам: @qnikst, @voidlizard, @weonn, вы вообще видете продакшон профит от call-by-need? Или вы юзаете хаскель из-за разросшейся инфраструктуры, являющейся побочным эффектом ленивых вычислений: развитой системы типов, тайп-классов монад-трансформеров и прочего; а лень вызывает у вас только грусть, ощущение пустоты и постоянную борьбу с граф-редукцией?

а профита от call-by-need не видно пока он под капотом, но об этом обычно не думаешь, чтобы его увидеть можно взять идрис и начать пытаться писать в привычном стиле

т.к. чаще возникает лень - грусть, а про то что это хорошо, только в дискуссиях вроде "какого черта это работает за O(1) по памяти, хотя причин не видно"

а что возникнет в идрисе?

ну то есть где проявление привычного стиля?

Емнип, он активный

кстати интересно стало можно ли там сделать какой-нибудь 2связный или кольцевой список так же через let где ссылки друг на друга ссылаются

энергичный, да

Ну вот тут То есть без вызовов по надобности

@vlastachu взаимнорекурсивные зависимости и бесконечное вычисление, O(N^2) вмето O(N) часто

но в идрисе пофиг на нём же для интереса только писать

во всех более современных и адекватных языках движутся к интерфейсам и отсутствию иерархий

А что такой интерфейс, пардон конечно

interface в терминах java это набор методов (публичных до следующей версии java), которые класс реализующий интерфейс должен реализовать

т.о. можно безопасно реализовывать аналог множества родительских объектов

ну и вообще нету многих проблем связанных с логичностью иерархий классов

т.к. чаще возникает лень - грусть, а про то что это хорошо, только в дискуссиях вроде "какого черта это работает за O(1) по памяти, хотя причин не видно"

Хм, а есть где-нибудь сборник стандартных факапов с граф-редукцией? Можно попробовать поискать систему типов для защиты от подобных проблем

чем-то напоминают class в haskell

Тоже так показалось.

Хм, а есть где-нибудь сборник стандартных факапов с граф-редукцией? Можно попробовать поискать систему типов для защиты от подобных проблем

Что-то есть в книге Антона холомьева, в соответствующей главе

Где про strict

@elemir90 не видел сборника, нарывался когда аппликатив для парсера писал и т.п. (но мои познания идриса примерно на курсе Брагилевского)

я немного сомневаюсь, что там будет исчерпывающий сборник

а что возникнет в идрисе?

вот такое помню было https://groups.google.com/forum/#!topic/idris-lang/39pYwYt0F4k

но мало ли

ну и в том же курсе было видно много мест, где ассимптотика ломается

ещё я читал статью от ibm про все виды фолдов, тоже понравилось

Но там скорее для новичков

вот такое помню было https://groups.google.com/forum/#!topic/idris-lang/39pYwYt0F4k

чёт уже на заголовке смешно

?

ну тип контекст был про промшленный хаскель (хотя ушло уже) и тут ссылка про проблемы с recursion schemes

А какие в них проблемы? Иногда они быстрее обычной рекурсии + можно фьюзить алгебры

https://codisec.com/binary-data-visualization/

возвращаясь к вопросу о ленивости в продакшене - ленивость это не более чем данность языка. в отличие от вещей, которые являются однозначными изъянами в прочих языках - отсутствие какой-либо защиты, типизации или модулей в Си, тяжелая VM в некоем другом языке - ленивость не только вредна, но и полезна. непреодолеваемых проблем она не создаёт

Если хочестя энергичности, можно взять Окамл или другой из МЛ-семейства, хотя Фшарп потащит за собой НЕТ. Но там будут свои недостатки даже по сравнению с сабжем.

Если хочестя энергичности, можно взять Окамл или другой из МЛ-семейства, хотя Фшарп потащит за собой НЕТ. Но там будут свои недостатки даже по сравнению с сабжем.

тайпклассы

(n-1) битная арифметика, отсутствие SMP, странноватый синтаксис и местами семантика, сомнительная живость ждут вас

Ну началось... Я же сказал, что есть недостатки. А какой еще энергичный ФП-язык можно посоветовать на замену сабжу? Я то конечно Схему и прочие Лиспы могу назвать, но вы же совсем заклюете за динамику :)

я слышал что rust энергичный

никакой, в том-то и дело

хаскелл с расставленными аннотациями

rust энергичный, но фунциональный ли он?

Раст имхо немного про другое, хотя в качестве варианта пойдет

Тут еще Swift был, кстати

@voidlizard нет

не знаю, насколько жив, но вроде кто-то на нем что-то где-то делает

не очень функциональный, хотя какое-то приближение к человеческому миру есть

еще интересно, как дела у F#

ну ребят, давайте если перечислять языки то с НКТ

еще интересно, как дела у F#

Хорошо, у нас даже чатик есть (см bio). Сейчас ради прикола делаю приложение на F# + ReactNative (он же еще в js компилируется) - пока заходит.

ok, а то всякие слухи доносились

сейчас посмотрел вроде и в миранде не было тайпклассов

PureScript же энергичный "как Хаскель". Если таргетиться в JS не хочется, то можно в Си :)

я вот думал написать для пурскрипта бэкенд куда-нибудь, но меня остановило отсутствие 1) спецификации 2) понимания перспектив языка

ну т.е куда-нибудь - это на всё тот же мипс

@astynax а там есть сишный таргет?

Пурскрипт на бэке используют и вполне успешно.

ссылок можно каких-нибудь?

Синшный таргет есть и уже давно. Он конечно не основной, но вроде работает. Другое дело, что PureScript, это hosted язык, паразитирующий на чужой ВМ

https://github.com/andyarvanitis/purescript-native

А JS-бэк на вот этом всём делают: https://github.com/purescript-node

ну почему сиплюсплюс в качестве бэкенда... ааа

Потому что авторы его знают :)

Чтоб без libffi

Возможно.

Чтобы хоть какие-то либы поюзать

Пурсе остро не хватате оптимизаций

для ФЯ оптимизации должны быть

иначе непрактично

Тупо инлайнить $ не умеет

Но движуха идет

Расчитывают на JIT в целевой виртуалке :)

И не безосновательно

виртуалка - это V8 что ли?

Браузер