
Валерий
03.09.2017
19:52:52
Ну вот тут
То есть без вызовов по надобности

Alexander
03.09.2017
19:59:28
@vlastachu взаимнорекурсивные зависимости и бесконечное вычисление, O(N^2) вмето O(N) часто
но в идрисе пофиг на нём же для интереса только писать

Kit
03.09.2017
20:15:10

Google

Alexander
03.09.2017
20:16:12
interface в терминах java это набор методов (публичных до следующей версии java), которые класс реализующий интерфейс должен реализовать
т.о. можно безопасно реализовывать аналог множества родительских объектов
ну и вообще нету многих проблем связанных с логичностью иерархий классов

Евгений
03.09.2017
20:17:11

Alexander
03.09.2017
20:17:15
чем-то напоминают class в haskell

Kit
03.09.2017
20:17:47
Тоже так показалось.

Ilya
03.09.2017
20:18:04
Где про strict

Alexander
03.09.2017
20:18:17
@elemir90 не видел сборника, нарывался когда аппликатив для парсера писал и т.п. (но мои познания идриса примерно на курсе Брагилевского)
я немного сомневаюсь, что там будет исчерпывающий сборник

Alex
03.09.2017
20:18:50

Alexander
03.09.2017
20:18:54
но мало ли
ну и в том же курсе было видно много мест, где ассимптотика ломается

Google

Ilya
03.09.2017
20:20:00
ещё я читал статью от ibm про все виды фолдов, тоже понравилось
Но там скорее для новичков

? animufag ?
03.09.2017
20:20:28

Alex
03.09.2017
20:21:25
?

? animufag ?
03.09.2017
20:27:54
ну тип контекст был про промшленный хаскель (хотя ушло уже) и тут ссылка про проблемы с recursion schemes

Denis
03.09.2017
20:42:32
А какие в них проблемы? Иногда они быстрее обычной рекурсии + можно фьюзить алгебры
https://codisec.com/binary-data-visualization/

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

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

? animufag ?
04.09.2017
11:15:16

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

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

Alexander
04.09.2017
11:17:52
я слышал что rust энергичный

Dmitry
04.09.2017
11:17:55
никакой, в том-то и дело
хаскелл с расставленными аннотациями
rust энергичный, но фунциональный ли он?

Андрей
04.09.2017
11:18:46
Раст имхо немного про другое, хотя в качестве варианта пойдет

Dmitry
04.09.2017
11:19:38
Тут еще Swift был, кстати

Alexander
04.09.2017
11:19:38
@voidlizard нет

Dmitry
04.09.2017
11:19:52
не знаю, насколько жив, но вроде кто-то на нем что-то где-то делает

Google

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

Dmitry
04.09.2017
11:19:59
еще интересно, как дела у F#

? animufag ?
04.09.2017
11:21:08
ну ребят, давайте если перечислять языки то с НКТ

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

Dmitry
04.09.2017
11:23:52
ok, а то всякие слухи доносились

? animufag ?
04.09.2017
11:24:49
сейчас посмотрел вроде и в миранде не было тайпклассов

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

Dmitry
04.09.2017
12:14:40
я вот думал написать для пурскрипта бэкенд куда-нибудь, но меня остановило отсутствие 1) спецификации 2) понимания перспектив языка
ну т.е куда-нибудь - это на всё тот же мипс
@astynax а там есть сишный таргет?

Aleksey
04.09.2017
12:16:27
Пурскрипт на бэке используют и вполне успешно.

Dmitry
04.09.2017
12:17:11
ссылок можно каких-нибудь?

Aleksey
04.09.2017
12:17:22
Синшный таргет есть и уже давно. Он конечно не основной, но вроде работает. Другое дело, что PureScript, это hosted язык, паразитирующий на чужой ВМ
https://github.com/andyarvanitis/purescript-native
А JS-бэк на вот этом всём делают: https://github.com/purescript-node

Dmitry
04.09.2017
12:21:57
ну почему сиплюсплюс в качестве бэкенда... ааа

Aleksey
04.09.2017
12:22:36
Потому что авторы его знают :)

Leonid
04.09.2017
12:22:40
Чтоб без libffi

Aleksey
04.09.2017
12:22:52
Возможно.
Чтобы хоть какие-то либы поюзать

Google

Leonid
04.09.2017
12:23:04
Пурсе остро не хватате оптимизаций

Dmitry
04.09.2017
12:23:15
для ФЯ оптимизации должны быть
иначе непрактично

Leonid
04.09.2017
12:23:46
Тупо инлайнить $ не умеет
Но движуха идет

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

Дмитрий
04.09.2017
12:25:08
И не безосновательно

Dmitry
04.09.2017
12:25:43
виртуалка - это V8 что ли?

Aleksey
04.09.2017
12:25:52
Браузер

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

Дмитрий
04.09.2017
12:26:14
V8, какой браузер, ну)

Alexander
04.09.2017
12:26:17
чтобы инлайнить её или нет

Дмитрий
04.09.2017
12:26:27

Alexander
04.09.2017
12:26:37
но ведь правда?
или это только в V8?

Дмитрий
04.09.2017
12:26:53
А теперь предлагаю прочитать про turbofan

Alexander
04.09.2017
12:27:31
> 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":

Дмитрий
04.09.2017
12:28:12
Прикидываться валенком — не самая эффективная манера ведения дискуссии

Alexander
04.09.2017
12:28:30
не давать ссылку, а предлагать прочитать, не менее идиотская

Vasiliy
04.09.2017
12:28:33
емнип, там не количество строк, а количество символов используется

Google

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

Alexander
04.09.2017
12:28:43
тем более когда 1 страница d-d-g не содержит ни одной ссылки по теме
+

Vasiliy
04.09.2017
12:29:00
так что проблема tabs vs spaces для js решается сама собой

Alexander
04.09.2017
12:29:13
в js все равно мимимифаеры
если уж серьёзно говорить, и это не особо актуально

Дмитрий
04.09.2017
12:30:42

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

Дмитрий
04.09.2017
12:31:46
Это не имеет отношения к обсуждаемой теме

Dmitry
04.09.2017
12:32:12
а какая тема-то? что purs паразитирует на v8 ?
могли бы приделать паразитирование на llvm кстати

Alexander
04.09.2017
12:32:31
что логично полагаться на jit

Dmitry
04.09.2017
12:32:32
для фронта это не так проблематично

Alexander
04.09.2017
12:32:33
я понимаю
@ZeroBias пожалуйста, давай без валенков, а ты напишешь кейворды

Дмитрий
04.09.2017
12:33:06

Dmitry
04.09.2017
12:33:18
ну, ладно тогда