понял

С меню там повеселее, конечно

Короче

На самом деле

Змейка

Это сложная структура

Состоящая из следующих параметров

1. Координаты головы

2. Последовательность сегментов с направлением

Тогда она на такте каждом прекрасно фолдится

ща, в начале надо настроить актор систему :D

Хуячь так

кажется, разобрался - дело было не в кабине

хотя нет - слева всё равно импорты неймспейсов/модулей красные

Чет Ayrat затих :)

кодирую)

а Красиво будет хранить змейку как очередь ячеек :D

Каждый сегмент актор, чё уж там

Лучше два

Следующую статью от @Kleidemos зарядили в Майкрософт. Ждём когда опубликуют

Участники сообщества могут прочитать сейчас если интересно :)

С нетерпением жду комментариев

Кто-нибудь слышал, а если планы разрешить вызывать методы C# классов через <ClassName>.<MethodName> <instance> <args1> <args2> ... Это бы сильно помогло тайп-инференсу при интеропе (ну и более функционально) Типа String.ToUpper "hello"

Кто-нибудь слышал, а если планы разрешить вызывать методы C# классов через <ClassName>.<MethodName> <instance> <args1> <args2> ... Это бы сильно помогло тайп-инференсу при интеропе (ну и более функционально) Типа String.ToUpper "hello"

Ауч, но зачем?

За тем что если сейчас сделать let foo a = a.ToUpper () то это не скомпилируется (пока явно тип не укажишь)

А так можно было бы написать let foo a = String.ToUpper a или let foo = String.ToUpper ну и там композить их как обычные функции, передавать их как параметр и тп

В Java/Kotlin (вроде даже в C#) есть method-reference, думаю здесь тоже можно было бы их использовать. Вот пример вызова (здесь и дальше Kotlin) fun <T> foo(f: (T) -> Int, x: T) = f(x) fun main(args: Array<String>) { // простой вызов метода из лямбды foo({ x -> x.length }, "") // method-reference, ВМЕСТО лямбды foo(String::length, "") }

Вот ее можно даже сохранить в переменную (даже при том, что это метод экземпляра класса) val f: (String) -> Int = String::length

Кто-нибудь слышал, а если планы разрешить вызывать методы C# классов через <ClassName>.<MethodName> <instance> <args1> <args2> ... Это бы сильно помогло тайп-инференсу при интеропе (ну и более функционально) Типа String.ToUpper "hello"

Не нашел похожего предложения. Напишешь?

Кто-нибудь слышал, а если планы разрешить вызывать методы C# классов через <ClassName>.<MethodName> <instance> <args1> <args2> ... Это бы сильно помогло тайп-инференсу при интеропе (ну и более функционально) Типа String.ToUpper "hello"

Просто если для c# имхо это нетипичный синтаксис прям совсем. Если ты про f# то ок

ПРИВЕТ!

В Java/Kotlin (вроде даже в C#) есть method-reference, думаю здесь тоже можно было бы их использовать. Вот пример вызова (здесь и дальше Kotlin) fun <T> foo(f: (T) -> Int, x: T) = f(x) fun main(args: Array<String>) { // простой вызов метода из лямбды foo({ x -> x.length }, "") // method-reference, ВМЕСТО лямбды foo(String::length, "") }

В C# ссылки на методы не такие классные, как в JVM, так что напрямую данная фича на них не ложится.

а кто на опыте может книгу на русском посоветовать по F# для человека который имеет опыт программирования на c# (ну всмысле не для прям новичков)?

Кто-нибудь слышал, а если планы разрешить вызывать методы C# классов через <ClassName>.<MethodName> <instance> <args1> <args2> ... Это бы сильно помогло тайп-инференсу при интеропе (ну и более функционально) Типа String.ToUpper "hello"

был бы отличный пропозал

Uniform function call syntax наоборот. :)

а кто на опыте может книгу на русском посоветовать по F# для человека который имеет опыт программирования на c# (ну всмысле не для прям новичков)?

>на русском На русском по понятным причинам материалов не много. А вообще стоит начать с этого https://m.habr.com/company/microsoft/blog/335560/ далее fsharpforfunandprofit и railway-oriented programming ну и в завершение замечательную книгу Скотта Влашина "Domain Modeling Made Functional"

О как раз, я c# разраб, спасибо

лол, уже удалился

Привет!!

Привет из ирцы. :)

Привет!!

Привет!

Свежая пресса https://sergeytihon.com/2018/07/21/f-weekly-29-2018-magic-of-saturn-code-prediction-with-nn-and-happy-birthday-to-sforkmann-and-trikace/

Свежая пресса https://sergeytihon.com/2018/07/21/f-weekly-29-2018-magic-of-saturn-code-prediction-with-nn-and-happy-birthday-to-sforkmann-and-trikace/

Еее

https://sharplab.io/#v2:DYLgZgzgNALiCGEC2AfA2gHgMowE4FcBjGAPgF0BYAKBgE8AHAUwAIBhAe3wDs9bmBeas2HMUzAKpcA1l3YB3LkJFiAglwAm7XLnhLhYyQEsYjdSp0AjAKJJDOkxD2jmKsAHMAFvC6GIMb06qPIZu+PBq6gBC8LgW+Oq6VCLOaqGGwMCJyarAFt6GWcouuEiMPoX6zAByjDAejLiZGhBqMOnAjI5JRansmYHFbmVtXBUppbiGhN5Y8EjsY6r4fpOLLst48MAFA+b4ebtN6gCSEEdd2S4AXg15hgBWAd2VkewQ5REAEg03buwAboZRgNorF4JoLkVolw3Jl1J0PCDGMA3IZ8EgQfhcFIgfAAGKIdiYlExHbPZzRDw6IGYggaQxInyKcliWZAmCgurIxhIWhIkrxNaROmMQwAERiywgWzmIL6hkBQp0V3SIPgXiQiBBHnw/mZl1e+H+tVORzlMAgcm8QuRkshL2RhhuA1Y1oSLvYhDepu86ntzg4MKJLLYwx0wFck2mXAASox6PttoQPUHhfArld4ICMowBlg5MYbo1fQNjv8tLQOIgYB72FIfc0XR50rmQ66Jux2Pqiqxm8C2312EgLGTLp8u24ANIToA

Забавно

https://sharplab.io/#v2:DYLgZgzgNALiCGEC2AfA2gHgMowE4FcBjGAPgF0BYAKBgE8AHAUwAIBhAe3wDs9bmBeas2HMUzAKpcA1l3YB3LkJFiAglwAm7XLnhLhYyQEsYjdSp0AjAKJJDOkxD2jmKsAHMAFvC6GIMb06qPIZu+PBq6gBC8LgW+Oq6VCLOaqGGwMCJyarAFt6GWcouuEiMPoX6zAByjDAejLiZGhBqMOnAjI5JRansmYHFbmVtXBUppbiGhN5Y8EjsY6r4fpOLLst48MAFA+b4ebtN6gCSEEdd2S4AXg15hgBWAd2VkewQ5REAEg03buwAboZRgNorF4JoLkVolw3Jl1J0PCDGMA3IZ8EgQfhcFIgfAAGKIdiYlExHbPZzRDw6IGYggaQxInyKcliWZAmCgurIxhIWhIkrxNaROmMQwAERiywgWzmIL6hkBQp0V3SIPgXiQiBBHnw/mZl1e+H+tVORzlMAgcm8QuRkshL2RhhuA1Y1oSLvYhDepu86ntzg4MKJLLYwx0wFck2mXAASox6PttoQPUHhfArld4ICMowBlg5MYbo1fQNjv8tLQOIgYB72FIfc0XR50rmQ66Jux2Pqiqxm8C2312EgLGTLp8u24ANIToA

Я думал опять китаец зашёл

Странно. В других группах такого не видел.

https://sharplab.io/#v2:DYLgZgzgNALiCGEC2AfA2gHgMowE4FcBjGAPgF0BYAKBgE8AHAUwAIBhAe3wDs9bmBeas2HMUzAKpcA1l3YB3LkJFiAglwAm7XLnhLhYyQEsYjdSp0AjAKJJDOkxD2jmKsAHMAFvC6GIMb06qPIZu+PBq6gBC8LgW+Oq6VCLOaqGGwMCJyarAFt6GWcouuEiMPoX6zAByjDAejLiZGhBqMOnAjI5JRansmYHFbmVtXBUppbiGhN5Y8EjsY6r4fpOLLst48MAFA+b4ebtN6gCSEEdd2S4AXg15hgBWAd2VkewQ5REAEg03buwAboZRgNorF4JoLkVolw3Jl1J0PCDGMA3IZ8EgQfhcFIgfAAGKIdiYlExHbPZzRDw6IGYggaQxInyKcliWZAmCgurIxhIWhIkrxNaROmMQwAERiywgWzmIL6hkBQp0V3SIPgXiQiBBHnw/mZl1e+H+tVORzlMAgcm8QuRkshL2RhhuA1Y1oSLvYhDepu86ntzg4MKJLLYwx0wFck2mXAASox6PttoQPUHhfArld4ICMowBlg5MYbo1fQNjv8tLQOIgYB72FIfc0XR50rmQ66Jux2Pqiqxm8C2312EgLGTLp8u24ANIToA

Жалко, что у телеги нет своего укоротителя ссылок.

https://sharplab.io/#v2:DYLgZgzgNALiCGEC2AfA2gHgMowE4FcBjGAPgF0BYAKBgE8AHAUwAIBhAe3wDs9bmBeas2HMUzAKpcA1l3YB3LkJFiAglwAm7XLnhLhYyQEsYjdSp0AjAKJJDOkxD2jmKsAHMAFvC6GIMb06qPIZu+PBq6gBC8LgW+Oq6VCLOaqGGwMCJyarAFt6GWcouuEiMPoX6zAByjDAejLiZGhBqMOnAjI5JRansmYHFbmVtXBUppbiGhN5Y8EjsY6r4fpOLLst48MAFA+b4ebtN6gCSEEdd2S4AXg15hgBWAd2VkewQ5REAEg03buwAboZRgNorF4JoLkVolw3Jl1J0PCDGMA3IZ8EgQfhcFIgfAAGKIdiYlExHbPZzRDw6IGYggaQxInyKcliWZAmCgurIxhIWhIkrxNaROmMQwAERiywgWzmIL6hkBQp0V3SIPgXiQiBBHnw/mZl1e+H+tVORzlMAgcm8QuRkshL2RhhuA1Y1oSLvYhDepu86ntzg4MKJLLYwx0wFck2mXAASox6PttoQPUHhfArld4ICMowBlg5MYbo1fQNjv8tLQOIgYB72FIfc0XR50rmQ66Jux2Pqiqxm8C2312EgLGTLp8u24ANIToA

goo.gl

Хм, слышал что его закрыли

Коллеги, смотрите какой юз кейс. Пусть у меня есть DU type A = | B of int | C of string. И некая функция: let (f : 'a - Option<'b>) (a:'a) - можно ли как то передать туда без оверхиада, что этот f = math x with | B i - Some i | _ -> None ? Что типа f (B _)

Option.bind не подойдёт?

Ещё можно op_explicit сделать для типа

Вась, идея сделать из DU CASE сделать функцию 'du -> option 'v - то есть как то вытащить то, что делает компилер при матче. С минимальным оверхиадом

Ну напиши op_ explicit руками

Или заюзай либу с типами

Тцапалиса

Не помню, как называется, к сожалению

Typeshape?

Угу

https://sharplab.io/#v2:DYLgZgzgNALiCGEC2AfA2gHgMowE4FcBjGAPgF0BYAKBgE8AHAUwAIBhAe3wDs9bmBeas2HMUzAKpcA1l3YB3LkJFiAglwAm7XLnhLhYyQEsYjdSp0AjAKJJDOkxD2jmKsAHMAFvC6GIMb06qPIZu+PBq6gBC8LgW+Oq6VCLOaqGGwMCJyarAFt6GWcouuEiMPoX6zAByjDAejLiZGhBqMOnAjI5JRansmYHFbmVtXBUppbiGhN5Y8EjsY6r4fpOLLst48MAFA+b4ebtN6gCSEEdd2S4AXg15hgBWAd2VkewQ5REAEg03buwAboZRgNorF4JoLkVolw3Jl1J0PCDGMA3IZ8EgQfhcFIgfAAGKIdiYlExHbPZzRDw6IGYggaQxInyKcliWZAmCgurIxhIWhIkrxNaROmMQwAERiywgWzmIL6hkBQp0V3SIPgXiQiBBHnw/mZl1e+H+tVORzlMAgcm8QuRkshL2RhhuA1Y1oSLvYhDepu86ntzg4MKJLLYwx0wFck2mXAASox6PttoQPUHhfArld4ICMowBlg5MYbo1fQNjv8tLQOIgYB72FIfc0XR50rmQ66Jux2Pqiqxm8C2312EgLGTLp8u24ANIToA

Эм, это что, это как?

Хммм ...походу, у DU есть ограничение на количество веток

Хммм ...походу, у DU есть ограничение на количество веток

так вот ишью был недавно создан https://github.com/Microsoft/visualfsharp/issues/5342

Typeshape?

Плохо объяснил. Попробую по другому. Active pattern имеет сигнатуру 't -> Option<'t1> , можно ли получить из записи паттерна функцию. (| Eror e -> ) в фукцию (fun a -> match a with |Error e -> Some e | _ -> None)

Ничо не понял

Любой деструктурирующий паттерн - это функция с сигнатурой 't -> Option<'d> - это ведь так?

Мне кажется, не совсем

Можно в шарплабе глянуть, во что развернется

Судя по active pattern - именно так.

Любой деструктурирующий паттерн - это функция с сигнатурой 't -> Option<'d> - это ведь так?

* частичный шаблон

Вот и хотелось бы из паттерна матча с кейзом DU получить соотсетствующую функцию

В общем то я понял что нельзя. Но хотелось бы. Что то типа: type DU = | A of int | B of string let exec f b v = match f v with | Some x -> b x |> Some | _ -> None И вызов: exec |A| (-) (A 2) результат Some(-2)

В общем то я понял что нельзя. Но хотелось бы. Что то типа: type DU = | A of int | B of string let exec f b v = match f v with | Some x -> b x |> Some | _ -> None И вызов: exec |A| (-) (A 2) результат Some(-2)

Вроде через квотейшены/рефлексию можно нагенерить. Или это не считается?

Это не считается ?

Хотелось бы прямого синтаксиса,, превращющего паттерн в фунцию

Напиши пропозал

Мол, хочу набор функций из актив паттерна

Актив паттерн и так функция ?. Я из любого паттерна функцию хочу :-)

Пропозал, ну или сам в компилятор запили

Quotations можно как-нибудь в строковый код преобразовать?

Quotations можно как-нибудь в строковый код преобразовать?

Это как?

Ну наконструровал я на Expr какое-нибудь выражение, сказал ему toCode myExpr и он выдал мне нечто вроде "let q = 42".

Нет, это нетривиально.