Мне кажется, я уже несколько раз присылал.

Прогресс есть, это радует

Мне кажется, я уже несколько раз присылал.

Пропустил наверное)

Прогресс есть, это радует

Пока не особо. Мы всё ещё ждём, пока из Core Team нам запилят поддержку чего-то. (и непонятно, чего именно)

Я смотрел наверное только в мае-июне

Пока не особо. Мы всё ещё ждём, пока из Core Team нам запилят поддержку чего-то. (и непонятно, чего именно)

А Core Team то хоть знают, что им запилить нужно?)

Пока не особо. Мы всё ещё ждём, пока из Core Team нам запилят поддержку чего-то. (и непонятно, чего именно)

Понятно чего. > What about Type Providers and .NET Core? In theory, Erasing Type Providers will work on .NET Core 2.0 without any changes. @dsyme and @KevinRansom will be looking at this once the bits for .NET Core 2.0 and F# are stable enough. Generative Type Providers are cut for .NET Core right now. They take a dependency on System.Reflection.Emit, which has been cut for .NET Core 2.0 and .NET Standard 2.0. It's a high priority for the team who owns that library to make it available, though, and we help motivate that work. They will not begin until after .NET Core 2.0 ships, though.

System.Reflection.Emit есть на коре в отдельном пакете. Значит, чего-то внутри него не хватает.

System.Reflection.Emit есть на коре в отдельном пакете. Значит, чего-то внутри него не хватает.

А он такой же по API как и старый?

В общем, это бессмысленное обсуждение.

TP нет, и все.

Да как нет-то? Надо сделать чтобы было!

Понятно чего. > What about Type Providers and .NET Core? In theory, Erasing Type Providers will work on .NET Core 2.0 without any changes. @dsyme and @KevinRansom will be looking at this once the bits for .NET Core 2.0 and F# are stable enough. Generative Type Providers are cut for .NET Core right now. They take a dependency on System.Reflection.Emit, which has been cut for .NET Core 2.0 and .NET Standard 2.0. It's a high priority for the team who owns that library to make it available, though, and we help motivate that work. They will not begin until after .NET Core 2.0 ships, though.

Ну конкретно не написано, чего?

Ну конкретно не написано, чего?

Написано. Проблема System.Reflection.Emit.

Да как нет-то? Надо сделать чтобы было!

Согласен :) Нам дали тайп провайдеры, использовать их мы конечно не будем

Я не уверен, что они там и сами знают, чего не хватает.

Надо смотреть.

Я не уверен, что они там и сами знают, чего не хватает.

Я уверен, что Сайм знает.

Но вы можете посмотреть, конечно.

Написано. Проблема System.Reflection.Emit.

Понятно, что есть System.Reflection.Emit под .Net Core, и понятно, что она не полная, но не понятно, чего конкретного им не хватает

Понятно, что есть System.Reflection.Emit под .Net Core, и понятно, что она не полная, но не понятно, чего конкретного им не хватает

Спросите.

Здесь вам на это не ответят, к сожалению.

Надо смотреть.

Для начала поиграйся с предложенным workaround.

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

А потом попробуй собрать, например, FSharp.Data для .Net Standard 2.0

Для части практических задач воркэраунда нам хватит, но мы тут про развитие языка говорим.

Я не понимаю, о чем вы говорите, если честно.

Ну, первая проблема воркэраунда в том, что нужен Mono.

Менеджить одновременно Mono и .NET Core на каком-нибудь Travis CI — это уже геморно.

Ну, первая проблема воркэраунда в том, что нужен Mono.

Я же сказал, поиграться.

А потом попробуй собрать, например, FSharp.Data для .Net Standard 2.0

А кто-нибудь понимает вообще, в чём проблема? Сами тайппровайдеры не получается побрать под Core?

Если так, то, да, надо пробовать и смотреть.

А кто-нибудь понимает вообще, в чём проблема? Сами тайппровайдеры не получается побрать под Core?

Ты же сам написал.

Я не уверен, что они там и сами знают, чего не хватает.

Я написал, что не понимаю, и не вижу никого, кто понимает.

Но, может, это я неправ, а всем всё понятно.

Здесь никто не понимает.

Возьми, да проверь, ну.

Я вам пишу только то, что люди пишут в анонсах и ишуях.

@fvnever https://github.com/fsharp/FSharp.Data/issues/943

Вот, пожалуйста.

> However I believe that could go away by publishing the right FSharp.Data.dll for .NET Standard 2.0, which we can do in due course.

Вот, опять же, я ничего не понял. Предупреждение уйдёт или надобность в воркэраунде?

Я понял, что надобность в воркэраунде.

Интересно.

@fvnever https://github.com/dotnet/corefx/issues/4491

Короче, всё очень плохо!

Короче, всё очень плохо!

Я спросил в головном issue по текущее состояние.

Но это касается только generative TP.

@fvnever @gsomix Кстати говоря, как записатсья в нашу комьюнити на гитхабе?

Решили вопрос?

Решили вопрос?

Да, спасибо.

угусь

@fvnever > 7sharp9_exhumed I heard someone say erased should work in theory, which basically means it wont work at all and no one has even tried it. I would just take it as TP's dont exist in dnc for now

Ну, если 7sharp9 не знает, то никто не знает!

И про System.Reflection.Emit. > I was working on porting providedtypes.fs to an alternative API but just never got round to finishing it.

Я думаю, надо просто смириться, что TP не очень скоро будут.

Тем более, что это не критическая часть инфраструктуры.

Я спросил в головном issue по текущее состояние.

А который ишуй головной?

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

Кажется, вот этот.

а есть какие-нибудь советы-мануалы по дебагу неткора в vs code?

или всё аналогично шарпу?

а есть какие-нибудь советы-мануалы по дебагу неткора в vs code?

Что-то конкретно не получается?

Аналогично C# всё

а есть какие-нибудь советы-мануалы по дебагу неткора в vs code?

https://github.com/ionide/DebugSample

Есть ньюансы, их нужно учитывать. Например Null это None

понятно, спасибо. пока только решил настроить, поэтому нюансов ещё нету

Тем более, что это не критическая часть инфраструктуры.

По моему это огромнейший и важнейший плюс f#

Тем более, что это не критическая часть инфраструктуры.

это критическая часть языка

на самом деле

Привет!

хола)вписался в чат по f# для мотивации)а то у меня из функциональщины только пройденный курс по хаскеллу

хола)вписался в чат по f# для мотивации)а то у меня из функциональщины только пройденный курс по хаскеллу

А я пол главы из F# for fun and profit прочитал

Давно тут сижу

Все ок

хм. уткнулся в ошибку "Run 'Debug: Download .NET Core Debugger' in the Command Palette or open a .NET project directory to download the .NET Core Debugger", хотя всё установлено и через консоль собирается. После VS сложно воспринять, что у тебя проблемы не с кодом, а с тулами

хм. уткнулся в ошибку "Run 'Debug: Download .NET Core Debugger' in the Command Palette or open a .NET project directory to download the .NET Core Debugger", хотя всё установлено и через консоль собирается. После VS сложно воспринять, что у тебя проблемы не с кодом, а с тулами

Ну, а дебаггер-то установился?

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

хм. уткнулся в ошибку "Run 'Debug: Download .NET Core Debugger' in the Command Palette or open a .NET project directory to download the .NET Core Debugger", хотя всё установлено и через консоль собирается. После VS сложно воспринять, что у тебя проблемы не с кодом, а с тулами

Нажми F1, затем напиши Debug: Download .NET Core Debugger

нот фаунд

хотя в консоли аутпут какой-то идёт

А что там пишет?

Downloading?

да

Жди пока загрузится

всё, теперь работает. спасибо

Я правильно понимаю, что это у меня получился стек типа functional persistant data structure? type StackType = | Root | Stack of string * StackType let push stack item = Stack(item, stack) let peek stack = match stack with | Root -> None | Stack (data, stack) -> Some data let pop stack = match stack with | Root -> None | Stack (data, stack) -> Some (data, stack)

Похоже, кстати можно подсократить до: let peek = function | Root -> None | Stack (data, stack) -> Some data let pop stack = function | Root -> None | Stack (data, stack) -> Some (data, stack)

Я правильно понимаю, что это у меня получился стек типа functional persistant data structure? type StackType = | Root | Stack of string * StackType let push stack item = Stack(item, stack) let peek stack = match stack with | Root -> None | Stack (data, stack) -> Some data let pop stack = match stack with | Root -> None | Stack (data, stack) -> Some (data, stack)

Только не persistent.

https://neerc.ifmo.ru/wiki/index.php?title=Персистентные_структуры_данных

@akhanteev Спасибо за замечания! Буду исправлять все. .__.

@gsomix Незачто, тебе спасибо :)

Только не persistent.

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

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

Хороший вопрос!

Возможно, здесь есть терминологические тонкости. Я всегда считал, что персистентными называют структуры данных, которые сохраняют доступ к предыдущим состояниям. Например, persistent vector из Clojure.

Данная реализация стека персистентна по операциям push и peek, но не pop.

Так здесь точно также. Даже если глянуть на реализацию стека на той же вики https://neerc.ifmo.ru/wiki/index.php?title=%D0%9F%D0%B5%D1%80%D1%81%D0%B8%D1%81%D1%82%D0%B5%D0%BD%D1%82%D0%BD%D1%8B%D0%B9_%D1%81%D1%82%D0%B5%D0%BA#.D0.A0.D0.B5.D0.B0.D0.BB.D0.B8.D0.B7.D0.B0.D1.86.D0.B8.D1.8F_.D0.BD.D0.B0_.D1.81.D0.BF.D0.B8.D1.81.D0.BA.D0.B5