Ох.

дона че-то вообще не видно в последие месяцы :(

дона че-то вообще не видно в последие месяцы :(

Ну, он активно Elmish.XamarinForms пилит.

отож

хотя этим мог, скажем, Уилл занятся, а Дон - чем-то похардкорнее

а, то, что я предлагал? типа бета ченнэла? по-моему заглохло всё, как обычно

Не знаешь, насколько сложно своими силами собрать FCT?

Ну, при условии, что удалось без проблем обновить PR с фичами и смержить их.

Не знаешь, насколько сложно своими силами собрать FCT?

Похоже на то, как когла свой GC добавляют, т.е. вопрос ещё в доступности API

Похоже на то, как когла свой GC добавляют, т.е. вопрос ещё в доступности API

Я про сборку и запаковку F# компилятора. По идее все необходимое должно быть в visualfsharp.

Я про сборку и запаковку F# компилятора. По идее все необходимое должно быть в visualfsharp.

Про Fsharp.Compiler.Tools?

Да.

Да.

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

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

Что не опенсорц? :)

Что не опенсорц? :)

Пакет нугета. Там в папке Tools.Nuget только dll и xml

Пакет нугета. Там в папке Tools.Nuget только dll и xml

Я же говорю, все нужное должно быть тут, это опенсорц. https://github.com/Microsoft/visualfsharp/

Я же говорю, все нужное должно быть тут, это опенсорц. https://github.com/Microsoft/visualfsharp/

А где почитать разницу между версиями языка?

?

Наверное, на википедии.

Наверное, на википедии.

Ну, например, под Android можно только на 4.0.0.1 писать.

Свежие изменения проходят через репозиторий: https://github.com/fsharp/fslang-design

Ну, и в репозитории visualfsharp есть чейнджлоги.

Я так и не понял, что означают цифры целевой среды выполнения F# ниже версии языка

Ну, и в репозитории visualfsharp есть чейнджлоги.

Ошибся, в fsharp/fsharp. https://github.com/fsharp/fsharp/blob/master/CHANGELOG-fsharp.md

Vasily Я правильно понимаю, что свежий FCS так доставлять не получится?

как доставлять?

fcs можно собрать из VFT

build fcs

@чувак-без-имени-и-аватаром-че-гивары ты бы запостил багу с проблемами компиляции после обновления до 15.7, кто знает, может это катастрофический баг

https://github.com/Microsoft/visualfsharp/issues/4856

уже есть

как доставлять?

В редакторы. :)

Vasily Меня больше вопрос с FCT интересует. :) Про FCS, я имел в виду, что даже имея на руках компилятор с новыми фичами, редакторы не будут их понимать.

Не знаешь, насколько сложно своими силами собрать FCT?

Каждый редактор таскает свою версию FCS, так?

@чувак-без-имени-и-аватаром-че-гивары ты бы запостил багу с проблемами компиляции после обновления до 15.7, кто знает, может это катастрофический баг

Ник есть, и лицо моё.

@gsomix да, но это не такая уж большая проблема. Мы вот юзали seesharp 7 в vs 2015 - ну, кое-что красное, да и фиг с ним

http://platform.uno замл в браузере ?

Можно ли сделать на F# аналог out var? https://github.com/dotnet/csharplang/blob/master/proposals/csharp-7.3/expression-variables-in-initializers.md

Возвращаясь к теме, можно ли чем-то добавлять к типу let mutable поле из, например, цитаты в методе?

Возвращаясь к теме, можно ли чем-то добавлять к типу let mutable поле из, например, цитаты в методе?

Разверни, пока непонятно.

@yerumaku Но я сразу отмечу, что квазицитаты умеют только переводить выражения (не все) в AST.

Разверни, пока непонятно.

Я далеко от ПК. Есть тип А с методом, в нём вызывается билдер с выражением, где задаваемый параметр out (то есть [<out>] b:B refby), и нужно добавить к типу А ссылку — let b : B ref со значением из вызова out, возможно это выглядело бы в билдере как view { out <@ let otherviewref : B ref = null |> ref @>.reference }

Ну или приращение какое сделать к классу А

Нет, боюсь, что так нельзя.

В принципе чтобы не плодить ссылки на вьюшки их можно хранить массивом... Со всеми вытекающими, но это не тот велосипед, который интересен

Нет, боюсь, что так нельзя.

А вообще можно сгенерировать класс наследник через цитату или что-то другое? Чтобы во время выполнения программа работала с этим объектом как с наследником?

Нельзя

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

Нельзя

Интерактив, некоторые языки могут себя собирать в рантайме, тот же СиШ

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

Это уже не на счет аутов

Интерактив, некоторые языки могут себя собирать в рантайме, тот же СиШ

Могут,но вопрос в том , как ты в дальнейшем работаешь со сгенерированными типами

Вполне возможно, что, написав более абстрактную структуру данных, наследники не понадобятся

А вообще можно сгенерировать класс наследник через цитату или что-то другое? Чтобы во время выполнения программа работала с этим объектом как с наследником?

В F# есть способ генерировать типы в compile-time — провайдеры типов. Но эта тема довольно непростая.

В F# есть способ генерировать типы в compile-time — провайдеры типов. Но эта тема довольно непростая.

Ну есть ещё динамические операторы, конечно

Но это не про генерацию типов

Интерактив, некоторые языки могут себя собирать в рантайме, тот же СиШ

А как бы ты сделал это в C#? Через рефлексию?

Тут действительно возникает проблема, как потом к свойствам этих типов обращаться

И как потом вызывать методы

А как бы ты сделал это в C#? Через рефлексию?

Что именно? Выражения записываются как строка и понимаются языком как код.

Так что я бы лучше посмотрел в сторону составных типов

Что именно? Выражения записываются как строка и понимаются языком как код.

Генерацию типов.

В смысле типов, которые описывают общее поведение

Впрочем, пока непонятно,чего @yerumaku в итоге хочет получить

Я похожий подход (со стороны контролов) один раз проходил, потом все переписывать пришлось

Я похожий подход (со стороны контролов) один раз проходил, потом все переписывать пришлось

Это какой?

В целом, как я понимаю, у @yerumaku все в итоге сводится к функции вида 'a->'b list->unit

Где 'a - вьюха, в которой делаем изменения, 'b-> список вьюх, к которым применимы изменения

@yerumaku Покажи пример использования out var в C#, я из того пропозала не очень понял.

@yerumaku Покажи пример использования out var в C#, я из того пропозала не очень понял.

Есть метод, имеет out параметр. Чтобы не объявлять переменную для передачи в метод с out, делают out. Var нужен, чтобы, например, работать со структурками и симпл типами. Вот прямо МС пример: string numberAsString = "1640"; if (Int32.TryParse(numberAsString, out var number)) Console.WriteLine($"Converted '{numberAsString}' to {number}"); else Console.WriteLine($"Unable to convert '{numberAsString}'"); // The example displays the following output: // Converted '1640' to 1640

Есть метод, имеет out параметр. Чтобы не объявлять переменную для передачи в метод с out, делают out. Var нужен, чтобы, например, работать со структурками и симпл типами. Вот прямо МС пример: string numberAsString = "1640"; if (Int32.TryParse(numberAsString, out var number)) Console.WriteLine($"Converted '{numberAsString}' to {number}"); else Console.WriteLine($"Unable to convert '{numberAsString}'"); // The example displays the following output: // Converted '1640' to 1640

Ну, такой метод в F# просто возвращает кортеж.

match System.Int32.TryParse(str) with | (true,int) -> Some(int) | _ -> None

В C#, насколько я понял, out var нужен для автоматического объявления переменных во внутренеем скоупе. По сути — сахар.

В C#, насколько я понял, out var нужен для автоматического объявления переменных во внутренеем скоупе. По сути — сахар.

Именно он, минус 1 строка или часть строки

Как когда они сделали объявление имени после is Type

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

В C#, насколько я понял, out var нужен для автоматического объявления переменных во внутренеем скоупе. По сути — сахар.

Ну ток не «во внутреннем скоупе», а просто объявление переменных, в текущем скоупе.

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

Там где мне нужен out я и без того работаю с билдерами в билдерах и out должна быть видна на разных уровнях внутри метода

Есть метод, имеет out параметр. Чтобы не объявлять переменную для передачи в метод с out, делают out. Var нужен, чтобы, например, работать со структурками и симпл типами. Вот прямо МС пример: string numberAsString = "1640"; if (Int32.TryParse(numberAsString, out var number)) Console.WriteLine($"Converted '{numberAsString}' to {number}"); else Console.WriteLine($"Unable to convert '{numberAsString}'"); // The example displays the following output: // Converted '1640' to 1640

↑ в упомянутом примере, в частности, можно использовать number за пределами блока if.

Понял, спасибо.

Там где мне нужен out я и без того работаю с билдерами в билдерах и out должна быть видна на разных уровнях внутри метода

Ну вообще неясна все же концепция того, что хочешь получить в итоге

Не на уровне конструкций языка

А на уровне предметной области скорее

Круто, я делал как-то такое)

А это вообще откуда?

А это вообще откуда?

Оно сейчас уже без добавления контекстов, это под Android

А, я понял в чем проблема

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

Но решается она по-другому

В впф, например, есть понятие имени контрола

А не ссылки на него

https://github.com/Dolfik1/AvaloniaDSL/blob/master/Application.fs

Во

В впф, например, есть понятие имени контрола

Допустим есть его Id

Допустим есть его Id

Билдер сворачивается в дерево, в котором делаешь поиск по ид

context this выглядит как бойлерплейт

Билдер сворачивается в дерево, в котором делаешь поиск по ид

М?

Ну смотри

Хранишь дерево контролов

context this выглядит как бойлерплейт

В смысле?