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

@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 что ли?

Браузер

jit в js движке, это который длину функции по количеству строк опрделеляет?

V8, какой браузер, ну)

чтобы инлайнить её или нет

jit в js движке, это который длину функции по количеству строк опрделеляет?

Смишно

но ведь правда?

или это только в V8?

А теперь предлагаю прочитать про turbofan

> The turbofan or fanjet is a type of airbreathing jet engine that is widely used in aircraft propulsion. The word "turbofan" is a portmanteau of "turbine" and "fan":

Прикидываться валенком — не самая эффективная манера ведения дискуссии

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

емнип, там не количество строк, а количество символов используется

короче, в ФЯ есть куча специфичнных оптимизаций, которые в императивных языках обычно не делаются

тем более когда 1 страница d-d-g не содержит ни одной ссылки по теме

+

так что проблема tabs vs spaces для js решается сама собой

в js все равно мимимифаеры

если уж серьёзно говорить, и это не особо актуально

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

Я с телефона и предполагаю что собеседник умеет гуглить примитивные запросы. Приношу свои извинения, больше так заблуждаться не буду

в js все равно мимимифаеры

Какая разница?

ты написал столько буков, что мог написать ссылку уже 15 раз :/

Это не имеет отношения к обсуждаемой теме

ты написал столько буков, что мог написать ссылку уже 15 раз :/

А ты — не прикидываться валенком

а какая тема-то? что purs паразитирует на v8 ?

могли бы приделать паразитирование на llvm кстати

что логично полагаться на jit

для фронта это не так проблематично

я понимаю

@ZeroBias пожалуйста, давай без валенков, а ты напишешь кейворды

могли бы приделать паразитирование на llvm кстати

Оно как бы и так есть

ну, ладно тогда