@fsharp_flood - страница 1204

Hog

77 лет - говорит :)

Ayrat

Да, похоже на то. Это где-то пенсионный возраст уже вот-вот!

Hog

на "исходнике", кстати, накинул мне годков

Hog

наверное надо поберечь себя :)))))

Doge

привет Y

Вопрос сколько из этих невыразимых вещей актуальны на практике

Doge

короче, он в плохом смысле ебанутый

Ему просто надо семинары продавать. Во и приходится вбрасывать, чтобы популярность держать. То говорит, что в скале ОО не нужно, а потом пишет ЗИО с диким использованием сабтайпинга в ОО стиле внутри

Aleksandr

Конкретно про Y не знаю что и сказать

Aleksandr

Слабо представляю себе язык, где есть higher order functions, но нет рекурсии

Ayrat

Ему просто надо семинары продавать. Во и приходится вбрасывать, чтобы популярность держать. То говорит, что в скале ОО не нужно, а потом пишет ЗИО с диким использованием сабтайпинга в ОО стиле внутри

Я понимаю что он евангелист своего бизнеса, но звучит слишком супримативно

Doge

Я понимаю что он евангелист своего бизнеса, но звучит слишком супримативно

Ну его метания подобного толка иначе сложно объяснить

Ayrat

Слабо представляю себе язык, где есть higher order functions, но нет рекурсии

Y как раз и постулирует что рекурсия возможна везде, где есть место для лямбд (обычных)

Aleksandr

Верно, но речь зашла о применимости на практике

Doge

Слабо представляю себе язык, где есть higher order functions, но нет рекурсии

Тут вопрос, что слабо представляется современный практичный язык, в котором есть на практике нужда в Y и подобных комбинаторах

Doge

Если кто такой знает, то говорите, было бы интересно взглянуть

Диёр

у меня дочь вот этот вот sjw. капец как им в школе промыли

Всего одну sjw знаю ирл. Любила всем всякую хуйню загонять насчёт толерантности и потом жаловаться что у неё друзей нет. ССЗБ в действии.

Ayrat

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

Aleksandr

Всего одну sjw знаю ирл. Любила всем всякую хуйню загонять насчёт толерантности и потом жаловаться что у неё друзей нет. ССЗБ в действии.

Хуйня - нетолерантное шовинистическое слово. Другое дело "пиздец".

Hog

Пошёл погулять в обед. А тут шарп сломали

Hog

Ilya

Точно не F#?

Ilya

https://www.jellybtn.com/board-kings/

О, прикольно. Я в ней играю иногда. Запросов действительно дофига должно быть. Каждый ход -- это бросок кубика, ход занимает пару секунд.

Shub

А вы знаете еще какие-нибудь языки с такой вот защитой от неоднородной табуляции?

M-x untabify

Dr. Friedrich

Ту Лонг Донт Вотч вершн: Нужно выкинуть ООП из скалы, там ничего хорошего не написано, только ФП спасет мир, Одерски зря поддерживает ООП

Ну только всё наоборот :)

Dr. Friedrich

ООП в Scala очень классно сделано. А вот добрая половина функциональных фишечек внедряется через боль

Dr. Friedrich

for { _ <- f1 _ <- f2 _ <- f3 }

Ilya

До сих пор не понимаю, что это означает. Я счастливый человек.

Dr. Friedrich

Ну то есть вдумайтесь, родную функциональную монаду там люди используют, описывая эмуляцию императивного цикла for.

Dr. Friedrich

Там ещё какой-нибудь yield в конец надо воткнуть

Anonymous

дело в том что семантика языков слишком сложна

Anonymous

когда начинал изучать фш был озадачен что for с разной скоростью работал

Anonymous

это было около года назад,

Dr. Friedrich

когда начинал изучать фш был озадачен что for с разной скоростью работал

С разной скоростью между чем?

Anonymous

for to и for in

Anonymous

так кажется

Dr. Friedrich

У нас есть for to? %)

Dr. Friedrich

Надо же, и правда есть.

Anonymous

ну тот который в обычный цикл комплится, а второй for использует yeild

Dr. Friedrich

Один это for, а второй foreach :)

Dr. Friedrich

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

Anonymous

Так вот в nemerle изучая стал делать через for, а мне на rsdn говорят используй foreach

Anonymous

ну т.е. на вид конструкция похожая но в немерле по возможности в простой цикл компилится

Anonymous

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

давай проверим? может да

Dr. Friedrich

ну т.е. на вид конструкция похожая но в немерле по возможности в простой цикл компилится

И в каких случаях невмерле видит такую возможность?

Dr. Friedrich

В сишарпе, как мы на днях выяснили, foreach по массиву компилируется в for.

Dr. Friedrich

По всему остальному — нет.

Anonymous

Real: 00:00:00.046, ЦП: 00:00:00.046, GC gen0: 0, gen1: 0, gen2: 0 - for i to arr.length -1 do sum() Real: 00:00:00.073, ЦП: 00:00:00.062, GC gen0: 0, gen1: 0, gen2: 0 - for i in arr do sum() на 1000_000 int[]

Anonymous

померял немерл foreach(вызывается вторым) стабильно на 1-5 мс быстрее for мерял stopwatch, в фш мерял #time-ом (запуск Microsoft (R) F# Interactive, версия 4.1)

Anonymous

Nemerle foreach vs for

Anonymous

F# for to vs for in

Андрей

A value class … … must have only a primary constructor with exactly one public, val parameter whose type is not a user-defined value class. (From Scala 2.11.0, the parameter may be non-public.)

Тут всё сложно. Настоящих Value на JVM нету, как и настоящих генериков. Обещают в одной из новых джав. А пока (уже давно) это просто хинт компайлеру, чтобы он, если у него есть настроение, «вырезал» боксинги. Это даже работает, но не всегда и без контроля программиста

Dr. Friedrich

померял немерл foreach(вызывается вторым) стабильно на 1-5 мс быстрее for мерял stopwatch, в фш мерял #time-ом (запуск Microsoft (R) F# Interactive, версия 4.1)

Как-то ты убого замеряешь

Dr. Friedrich

А виртуальную машину кто будет прогревать?

Dr. Friedrich

Тем более вообще в fsx %)

Dr. Friedrich

Я не принимаю такие бенчмарки, короче.

Dr. Friedrich

(другой разговор, что ты можешь и не задаваться задачей чтобы мне их сдавать)

Anonymous