ну если он сам не можете сообразить какой тип юзать)))

Благодаря пайплайнам и выводу типов в F# принято использовать анемичные модели. Так что в большинстве своем, если ты указываешь тип в сигнатуре, то либо ты делаешь что-то не так, либо ты используешь C#-ориентированные типы. А вообще для таких случаев есть Seq.length.

Не готов рекомендовать Seq.length, покуда не погляжу реализацию.

Не готов рекомендовать Seq.length, покуда не погляжу реализацию.

А в чем проблема?

Померяй длину бесконечной последовательности

А в чем проблема?

https://github.com/fsharp/fsharp/blob/master/src/fsharp/FSharp.Core/seq.fs#L709-L720

Есть «специализация» для массивов, списков и ICollection<'T>.

Не уверен, что такой вот непрямой вызов всегда гарантированно так же заинлайнится JIT, как прямое обращение к Array.Length; скорее всего на SSE можно будет уже не надеяться.

Специальная функция *всегда* лучше, чем обобщённая, если тип тебе заранее известен.

(в плане быстродействия)

Попахивает преждевременной оптимизацией.

Всегда использовать Seq.length в F# или Enumerable.Count в C# — это всегда преждевременная деоптимизация.

Если ты можешь или написать быстрый код, или медленный, и разницы для тебя никакой нету (ну, написать Seq или Array), то выбирай быстрый :)

Тем более здесь говорится о функции работающей с list и array, так что тип уже не очень известен.

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

слушайте я тут про списки читаю, до ФП еще не дошел, а правда чтоли что к спискам нельзя обращаться по индексу? нафига же они нужны тогда? О_о

там вроде только две операции: добавление в конец :: и объединение @

слушайте я тут про списки читаю, до ФП еще не дошел, а правда чтоли что к спискам нельзя обращаться по индексу? нафига же они нужны тогда? О_о

Списки нужны за счёт своей персистентности: их удобно дополнять в начале, не изменяя. С точки зрения быстродействия ФП-списки — это полная херня, и массивы (или персистентные векторы, скажем) их всегда разделывают под орех.

Списки нужны за счёт своей персистентности: их удобно дополнять в начале, не изменяя. С точки зрения быстродействия ФП-списки — это полная херня, и массивы (или персистентные векторы, скажем) их всегда разделывают под орех.

да я даже не об изменении говорю, а просто - взять элемент по индексу

а то какая-то херня выходит - сгенерировать можно, а пользоваться нельзя

да я даже не об изменении говорю, а просто - взять элемент по индексу

Ну ты ж понимаешь, какой у него memory layout? Да, по индексу просто так взять нельзя.

слушайте я тут про списки читаю, до ФП еще не дошел, а правда чтоли что к спискам нельзя обращаться по индексу? нафига же они нужны тогда? О_о

Лучше дочитай до конца. Там все объяснят. Надеюсь. Если не поймешь, возвращайся. А то мы тут реально продублируем пару следующих глав.

Ну ты ж понимаешь, какой у него memory layout? Да, по индексу просто так взять нельзя.

Аа погоди... Тут списки это связные списки чтоли? Т.е. типа LinkedList в C#?

слушайте я тут про списки читаю, до ФП еще не дошел, а правда чтоли что к спискам нельзя обращаться по индексу? нафига же они нужны тогда? О_о

Боже...

Я думал они как в C# фактически динамические массивы

Да, наподобие его. Правда, в C# он двусвязный, а у нас односвязный.

Аа погоди... Тут списки это связные списки чтоли? Т.е. типа LinkedList в C#?

Нет. Это односвязный список.

Я думал они как в C# фактически динамические массивы

ResizeArray

@winged_pegasus Кыш. Сейчас ему все объяснят, и он будет шарить.

:)

кстати исключений тут нет?

А нужны?

или они не используются по крайней мере так широко как в C#

А нужны?

не знаю, но подозреваю что для ФП наверное не нужны

Вообще чтобы впитать в себя списки надо SICP почитать.

Вообще чтобы впитать в себя списки надо SICP почитать.

чего почитать? О_о

не знаю, но подозреваю что для ФП наверное не нужны

А что по твоему ФП?

А что по твоему ФП?

я еще не понял ?

не дошел до этой главы)

или они не используются по крайней мере так широко как в C#

В C# они тоже не так широко используются, как в Java :)

https://ru.m.wikipedia.org/wiki/%D0%A1%D1%82%D1%80%D1%83%D0%BA%D1%82%D1%83%D1%80%D0%B0_%D0%B8_%D0%B8%D0%BD%D1%82%D0%B5%D1%80%D0%BF%D1%80%D0%B5%D1%82%D0%B0%D1%86%D0%B8%D1%8F_%D0%BA%D0%BE%D0%BC%D0%BF%D1%8C%D1%8E%D1%82%D0%B5%D1%80%D0%BD%D1%8B%D1%85_%D0%BF%D1%80%D0%BE%D0%B3%D1%80%D0%B0%D0%BC%D0%BC

На самом деле исключения есть, и есть даже дофига удобная функция, чтобы их генерить: failwith

В C# они тоже не так широко используются, как в Java :)

ты серьезно? я не знаю насколько они широко в java юзаются, но в C# - исключения наше все

Жавошники любят бросать исключения даже не в исключительных ситуациях. Поэтому в Java IDE даже обычно нету галочки "ловить все брошенные исключения", потому что отлаживать в этом режиме код просто невозможно.

И есть дофига удобный синтаксис для объявления исключений

На самом деле исключения есть, и есть даже дофига удобная функция, чтобы их генерить: failwith

ага я уже столкнулся с ней, но я так понимаю она генерит нетипизированные исключения? они типа все Exception

В C# же обычно исключения всё-таки используют по назначению за редкими исключениями.

ага я уже столкнулся с ней, но я так понимаю она генерит нетипизированные исключения? они типа все Exception

Exception

ага я уже столкнулся с ней, но я так понимаю она генерит нетипизированные исключения? они типа все Exception

Да, везде Exception. Если хочешь генерить типизированные — кажется, функция называется raise.

raise (MyExn()) для любых

Но в целом мне кажется, что в F# исключения в среднем реже используются в архитектуре приложений. Из методов, которые могут завершиться с ошибкой, чаще возвращают результаты типа Option или Choice, а не выбрасывают исключение.

Но в целом мне кажется, что в F# исключения в среднем реже используются в архитектуре приложений. Из методов, которые могут завершиться с ошибкой, чаще возвращают результаты типа Option или Choice, а не выбрасывают исключение.

ага вот я про это и подумал - монады вместо исключений

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

У Царьпалиса есть хорошая статья про исключения в F#.

https://eiriktsarpalis.wordpress.com/2017/02/19/youre-better-off-using-exceptions/

Но она не для новичков, пожалуй.

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

...а потом ты начинаешь фигачить везде всякие <| |>, и оказывается, что скобки-то иногда лучше :)

Баланс!

Ilja Привет!

да я даже не об изменении говорю, а просто - взять элемент по индексу

Да это не особо нужная штука, даже в C#

Я довольно редко в C# обращаюсь к элементам списка по индексу

Если конечно это не .Net Framework 2.0 и не Array

А к Seq и List, .[idx] не применимо что-ли?

А к Seq и List, .[idx] не применимо что-ли?

К list применимо. Для Seq есть функция Seq.nth по моему так называлась

...а потом ты начинаешь фигачить везде всякие <| |>, и оказывается, что скобки-то иногда лучше :)

ой, всё с палочками и стрелочками всё оч наглядно и понятно!

@fvnever Для тех, кому не нравятся отступы, есть verbose syntax. %)

К list применимо. Для Seq есть функция Seq.nth по моему так называлась

nth уже obsolete, так что сейчас это Seq.item.

ERROR: S client not available

@fvnever Для тех, кому не нравятся отступы, есть verbose syntax. %)

Это ты так C# назвал?

@fvnever Нет, это я про #light off

Это ещё не задепрекейтили? Я ни разу не видел такого кода :)

Ну, так никто не пишет, конечно.

Мне кажется, ты не совсем правильно вообще запускаешь свой экзешник. Обычно на линуксе это делают через mono file.exe, тогда chmod не нужен.

Каждый день узнаю что-то новое

Знаменитый ML-ный lack of ad-hoc polymorphism

т.е. если на входе массив то юзать Array.length, а если список то List.length

Это немного печально

слушайте я тут про списки читаю, до ФП еще не дошел, а правда чтоли что к спискам нельзя обращаться по индексу? нафига же они нужны тогда? О_о

Можно, но сложность такого обращения O(n)

Все хорошо в Java с исключениями, но говнокодеры в любом сообществе есть. Исключения и типы-суммы по сути дублирующиеся конструкции.

Все хорошо в Java с исключениями, но говнокодеры в любом сообществе есть. Исключения и типы-суммы по сути дублирующиеся конструкции.

Я пробовал дебажить веб-приложение на Java, включил ловилку всех исключений, и их там хренова гора.

При этом то же самое с каким-нибудь ASP.NET прокатывает. Там только для редиректов исключения проскакивают в легаси-коде.

В общем, скорее всего, мой камень летит в огород авторов GlassFish или JEE какого-нибудь :)

В пользовательском Java-коде я и правда не замечал, чтобы кто-то злоупотреблял, это правда.

Хммм...теперь f# weekly из первых рук :)

вот https://sergeytihon.com/2017/05/14/f-weekly-20-2017-join-fableconf-in-bordeaux/ с сылочкой на этот чат =)

еееееееееее

В чем разница между объявлением списка элементами разделенными запятой и точкой с запятой? [ 1, 2, 3 ] [ 1; 2; 3 ]

В первом случае ты определяешь список туплов из трёх интов

Во втором - лист интов

о как...

В чем разница между объявлением списка элементами разделенными запятой и точкой с запятой? [ 1, 2, 3 ] [ 1; 2; 3 ]

таки решил фп? ;)

Первая строчка - краткая версия [ (1, 2, 3) ]

а я думал для туплов обязательны скобки ()

таки решил фп? ;)

ага))

в F# нет встроенного стринг формата как в C#? $"{a} + {b}"

Это называется строковая интерполяция

Это называется строковая интерполяция

ну да хз, я не знал конкретно это слово))

так она есть или нет?

Нет

жаль(

let s = sprintf s"Hello, %s" "World"

let s = sprintf s"Hello, %s" "World"

S перед кавычкой не нужна же