Ага

ааааа ? Спасибо! Ещё пара итераций и я прошарюсь, честно ?

Попробую себя в роли редактора теперь ?

Попробую себя в роли редактора теперь ?

?

я что-то не понимаю или странности: ошибка The types ''a' and 'seq<'a>' cannot be unified, вроде бы, понятная, но какого фига она тут — ен совсем понятно let splitBy predicates seq = let rec loop res curr predIdx s = if predIdx = (List.length predicates) then Seq.append res curr else match s |> Seq.tryHead with | None -> Seq.append res curr | Some head when not (predicates.[predIdx] head) -> let res = Seq.append res [curr] let x = Seq.singleton head s |> Seq.tail |> loop res x (predIdx + 1) | Some x -> //^------ The types ''a' and 'seq<'a>' cannot be unified let c = Seq.append curr [x] s |> Seq.tail |> loop res c predIdx loop Seq.empty Seq.empty 0 seq

тип x — seq<'a>, что полностью соответствует сигнатуре loop, да и в следующем кейсе на ровно этом же месте стоит c, тип которой точно так же seq<'a>

возможно, на пэйстбине будет проще смотреть: https://pastebin.com/iuAP6ydg

уменьшить, чтобы ошибка осталась, к сожалению, у меня не вышло =(

Привет!

привет

я что-то не понимаю или странности: ошибка The types ''a' and 'seq<'a>' cannot be unified, вроде бы, понятная, но какого фига она тут — ен совсем понятно let splitBy predicates seq = let rec loop res curr predIdx s = if predIdx = (List.length predicates) then Seq.append res curr else match s |> Seq.tryHead with | None -> Seq.append res curr | Some head when not (predicates.[predIdx] head) -> let res = Seq.append res [curr] let x = Seq.singleton head s |> Seq.tail |> loop res x (predIdx + 1) | Some x -> //^------ The types ''a' and 'seq<'a>' cannot be unified let c = Seq.append curr [x] s |> Seq.tail |> loop res c predIdx loop Seq.empty Seq.empty 0 seq

Меня смущает [curr]. Какой тип?

seq<'a>

res — seq<seq<'a>>

[curr] — seq<'a> list

просто для аппенда нужны два seq

Что-то не сходится.

Seq.append res curr

Например.

Видимо, нужно везде [curr].

ну тут получается, что res — seq<seq<'a>>, а curr — seq<'a>, но [curr] — seq<'a> list, что приводится к seq<seq<'a>>

ну тут получается, что res — seq<seq<'a>>, а curr — seq<'a>, но [curr] — seq<'a> list, что приводится к seq<seq<'a>>

Я понял. Поправь все Seq.append тогда. :)

да, на четвёртой строчке ошибка была (которую никто не подсвечивал о,О)

лол, ты прав, спасибо огромное! :)

две такие ошибки были, проглядел %)

да, на четвёртой строчке ошибка была (которую никто не подсвечивал о,О)

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

немного странно, потому что intellisense всё правильно показывал

?

А вот это странно, да.

@shishkinpavel Можно завести ишшуй, я думаю.

оок, в течении нескольких дней сделаю маленький примерчик

кстати, этот код ужасен: он много раз вычисляет входную последовательность по частям

нет ли какого-то аналога lazy-seq из clojure?

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

кстати, этот код ужасен: он много раз вычисляет входную последовательность по частям

Можно попробовать Seq.cache и тогда она будет один раз вычислена

интересно, спасибо!

Можно попробовать Seq.cache и тогда она будет один раз вычислена

Но как только будет seq передана в Seq.cache, то она сразу будет вычислена

я быстренько проверил в репле, вроде бы, нет

let a = seq { for i in 10 .. -1 .. 0 do printf "%A" i; yield i };; let b = a |> Seq.cache;; b |> Seq.head;; //prints "10" b |> Seq.head;; //no "10"

Но как только будет seq передана в Seq.cache, то она сразу будет вычислена

емнип кеш не вычисляет весь seq, в этом не было бы смысла, а записывает в List элемент, как только он вычисляется и при повторном проходе по seq только отдает готовые

емнип кеш не вычисляет весь seq, в этом не было бы смысла, а записывает в List элемент, как только он вычисляется и при повторном проходе по seq только отдает готовые

Ок, я не изучал, спасибо за пояснения

let a = seq { for i in 10 .. -1 .. 0 do printf "%A" i; yield i };; let b = a |> Seq.cache;; b |> Seq.head;; //prints "10" b |> Seq.head;; //no "10"

Спасибо

Хотел написать вопрос, пока писал нашел решение

Хотел написать вопрос, пока писал нашел решение

очень часто такое. Какая-то разновидность Rubber-Duck-Development

очень часто такое. Какая-то разновидность Rubber-Duck-Development

Ага, что-то типо)

Я что-то нашел. https://github.com/TheAngryByrd/MiniScaffold

Срамновато чуток: .paket/*.exe опять рекомендуют в репу заливать. Вроде же с этим в итоге справились?

Срамновато чуток: .paket/*.exe опять рекомендуют в репу заливать. Вроде же с этим в итоге справились?

Как справились?

Как справились?

Ну, бинарники из нугета скачиваются, а сам пакет с помощью msbuild-магии привязывался к шагу dotnet restore.

Я точно помню, что что-то такое было

Ну, бинарники из нугета скачиваются, а сам пакет с помощью msbuild-магии привязывался к шагу dotnet restore.

Второе — да.

По поводу первого — не помню такого.

А бинарники так и надо в гит заливать? Блин, да что ж такое.

Надо это починить! Доколе!

Надо это починить! Доколе!

А как это должно работать?

А бинарники так и надо в гит заливать? Блин, да что ж такое.

В gradle же заливают gradle-wrapper.jar в сорцы и норм

В gradle же заливают gradle-wrapper.jar в сорцы и норм

Ну и это тоже дребедень, господа.

Я не должен доверять артефактам, которые автор залил в репу

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

А то мало ли чего он там под видом paket.exe назаливает

Кулибиным запросто может прийти в голову светлая мысль скрафтить себе кастомный paket.exe с телеметрией или чёрт знает чем.

Ну то есть вы не подумайте, я не против пакета, а даже наоборот. Но с наколеночной дистрибьюцией надо что-то решать.

@fvnever Можно нугетом скачать что-нибудь и просто положить в нужную папку?

@fvnever Можно нугетом скачать что-нибудь и просто положить в нужную папку?

Да, можно.

А через dotnet?

Вопрос в том, можно ли дотнетом :)

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

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

Чтобы он выкачивал paket, а потом не выкачивал?

Чтобы он выкачивал paket, а потом не выкачивал?

Ну, типа того.

Это вы про pseq?

Это вы про pseq?

Да про все проекты с Paket.

а есть какой нибудь аналог IEnumerable<T>.Join? в std f#?

а есть какой нибудь аналог IEnumerable<T>.Join? в std f#?

Seq.zip ?

Seq.zip ?

zip но тут одинаковый сайз нужен

да походу проще подтащить LINQ

точнее мне нужно ('a option[] * 'b option[]) -> ('a option * 'b option)[] наверно просто функцию написать

А есть разница, если в коде ниже заменить return! на do! let rec loop () = async { let! cmd = inbox.Receive () do! .. return! loop () } Оно скомпилируется, но боюсь что останется ссылка на переход и это может вызывать memory-leak

https://twitter.com/tamizhvendan/status/960888482406154242

оо, то что надо)

от меня первая звездочка на гитхабе)

а как Seq.cache работает? это как лист приведенный к ienumerable и обратно?

и ещё вопрос про последовательности: Seq.append и Seq.concat зачем-то в момент вызова вычисляют все последовательности, переданные им, можно ли этого избежать? (для настоящего ленивого вычисления)

и ещё вопрос про последовательности: Seq.append и Seq.concat зачем-то в момент вызова вычисляют все последовательности, переданные им, можно ли этого избежать? (для настоящего ленивого вычисления)

append вроде не вычисляет https://repl.it/repls/DarkUrbanAndalusianhorse

а как Seq.cache работает? это как лист приведенный к ienumerable и обратно?

https://github.com/Microsoft/visualfsharp/blob/master/src/fsharp/FSharp.Core/seq.fs#L969-L1022 не совсем, но коменты не плохи

и ещё вопрос про последовательности: Seq.append и Seq.concat зачем-то в момент вызова вычисляют все последовательности, переданные им, можно ли этого избежать? (для настоящего ленивого вычисления)

Ни concat, ни append не вычисляют последовательности при передачи. Как бы исключение: в REPL можно напороться на вычисление n-ного количества первых членов последовательности для визуализации.

https://github.com/Microsoft/visualfsharp/blob/master/src/fsharp/FSharp.Core/seq.fs#L969-L1022 не совсем, но коменты не плохи

Спасибо

Ни concat, ни append не вычисляют последовательности при передачи. Как бы исключение: в REPL можно напороться на вычисление n-ного количества первых членов последовательности для визуализации.

да, спасибо, опять же не заметил..

Афигеть!

A new experiment: Browser-based web apps with .NET and Blazor | .NET Web Development and Tools Blog https://blogs.msdn.microsoft.com/webdev/2018/02/06/blazor-experimental-project/

https://twitter.com/k_cieslak/status/960859530434367488

https://twitter.com/k_cieslak/status/960859530434367488

а код-то где?

A new experiment: Browser-based web apps with .NET and Blazor | .NET Web Development and Tools Blog https://blogs.msdn.microsoft.com/webdev/2018/02/06/blazor-experimental-project/

> Browser + Razor = Blazor Откуда "l" взялась?)

Видимо, не выдержали когда придумывали название)

а код-то где?

если показать код, то может оказаться всё не таким смешным

> Browser + Razor = Blazor Откуда "l" взялась?)

Просто Brazor звучит как-то не очень)

Лысый из Brazor

> Browser + Razor = Blazor Откуда "l" взялась?)

возможно отсюда https://www.urbandictionary.com/define.php?term=420%20Blaze%20It

FSharp + Babel = Fable Ну такое. :)