@haskellru

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

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

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

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

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

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

Евгений
03.09.2017
20:17:11
т.к. чаще возникает лень - грусть, а про то что это хорошо, только в дискуссиях вроде "какого черта это работает за O(1) по памяти, хотя причин не видно"
Хм, а есть где-нибудь сборник стандартных факапов с граф-редукцией? Можно попробовать поискать систему типов для защиты от подобных проблем

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

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

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

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

Alex
03.09.2017
20:18:50
а что возникнет в идрисе?
вот такое помню было https://groups.google.com/forum/#!topic/idris-lang/39pYwYt0F4k

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

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
чтобы инлайнить её или нет

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
ну, ладно тогда

Страница 385 из 1551