@fvnever кстати, а что по поводу игры? Как оно вообще пишется то ? А то я не малейшего представление - как с этим работать =)

Ну, я пилю там потихоньку. Сам понятия не имею, как оно пишется. Придумываем архитектуру на ходу.

игры?

https://github.com/ForNeVeR/1969/

игры на F#

MonoGame я делал хелловорлды на ней)

Но не обольщайтесь, там вообще ничо нету. Я пока только начал.

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

А то я пока что только понял, как цвет бекграунда менять :D

Но это единственное, что там есть!

Ты познал 100% кода :)

Дык это, сходим куда переговорить вечером по поводу этого дела?

Если чо, я щас пилю там рудиментарную рендерилку и некую модель миссии: https://github.com/ForNeVeR/1969/pull/13

И, может ещё кто с нами пойдёт.

Дык это, сходим куда переговорить вечером по поводу этого дела?

Я не знаю, о чём там можно говорить. Пилить надо! Для того, чтоб ещё кому-то было направление для пиления, надо чтоб кто-то (я) подготовил основной скелет.

Я этим и занимаюсь.

Но я не имею не малейшего понятия, как пилить это. Не разу игры не пилил.

Тю, я тоже :D

Я когда -то пытался описать предметную область Settlers of Catan, но чет застрял на гексах

https://github.com/ForNeVeR/1969/

Пилите Шура, пилите :)

Правильное дело делаете

А что если в F# функция не помечена как «rec» но код её вызывает сам себя. Или компилятор этого не позволит ?

А что если в F# функция не помечена как «rec» но код её вызывает сам себя. Или компилятор этого не позволит ?

Не позволит.

Ага, ясно. А я то смотрю сейчас товарища @shwars и вижу у него функция fact помечена как rec

и задумался "Эм, а просто так низя что ли рекурсию вызывать? 0_o"

Рекурсивные функции специально помечаются явным образом, чтоб нельзя было наворотить случайно.

удобно

Не представляешь, сколько я таких косяков выловил в C#-продакшене :)

я так один раз писал экстеншен и вызвал его же в себе.

даже не спрашивай, чем я думал.

У меня студия упала нафиг :D ( когда вызвал код)

Смысл rec отчасти исторический и берет начало от ранних ML-языков. Идея в том, что let и let-rec - это разные конструкции с точки зрения трансляции в лямбда-исчисление.

Хм, и правда. Об этом я не задумывался.

Ого, вот оно как. И что мы имеем в лямбда-исчислении, когда пишем let-rec ? Можно ли какой-нибудь мини пример для наглядности разницы let и let-rec на уровне лямбда-исчисления ? (если такое вообще возможно)

letrec через Y-комбинатор, очевидно.

https://github.com/morganey-lang/Morganey/blob/master/std/src/main/resources/std/functions.mgn#L13 — вот он.

я про этот Y-комбинатор уже раз 20 слышал. Но так и не знаю, что это такое.

Я лучше в привате расскажу :)

А то тут народ иногда ругается на такие вот пересказы основ для начинающих.

Я бы тоже послушал

Про Y комбинаторы

Надо тогда создать канал: "FSharp для самых маленьких"

Короче, Y-комбинатор это один из т.н. "комбинаторов неподвижной точки".

Угу, я бы там был главным флудером.

И про fparsec ещё интересно

Короче, Y-комбинатор это один из т.н. "комбинаторов неподвижной точки".

А теперь для людей, которые не могут в матан)

А теперь для людей, которые не могут в матан)

+1

Я щас поясню, спокойно. Надо ж термины сначала ввести

Задача комбинаторов неподвижной точки состоит в том, чтобы получить, собственно, неподвижную точку функции. Это такая точка, в которой значение функции перестаёт меняться при её дальнейшем применении (т.е. f(x) = x). Например, функция factorial(x) = x == 1 ? 1 : x * factorial(x - 1) перестаёт меняться при x = 1. Эти комбинаторы используются при изучении всякого рода низкоуровневого функционального программирования (в частности, в лямбда-счислении). Комнибатор отличается тем, что вызывает функцию "рекурсивно", применяя её к её собственным результатам прошлой итерации. При этом комбинатор необязательно сам должен использовать рекурсию (скажем, на каком-нибудь C# вы можете представить себе реализацию комбинатора циклом). Ссылку на то, как можно представить Y-комбинатор в лямбда-счислении, я уже дал выше: https://github.com/morganey-lang/Morganey/blob/00056ad1750b5aa3944a8d7fd936df7156612c6d/std/src/main/resources/std/functions.mgn#L13 Если долго на него смотреть и думать, то можно понять, как он работает. Я уже несколько раз понимал, но всё время опять забываю :)

Задача комбинаторов неподвижной точки состоит в том, чтобы получить, собственно, неподвижную точку функции. Это такая точка, в которой значение функции перестаёт меняться при её дальнейшем применении (т.е. f(x) = x). Например, функция factorial(x) = x == 1 ? 1 : x * factorial(x - 1) перестаёт меняться при x = 1. Эти комбинаторы используются при изучении всякого рода низкоуровневого функционального программирования (в частности, в лямбда-счислении). Комнибатор отличается тем, что вызывает функцию "рекурсивно", применяя её к её собственным результатам прошлой итерации. При этом комбинатор необязательно сам должен использовать рекурсию (скажем, на каком-нибудь C# вы можете представить себе реализацию комбинатора циклом). Ссылку на то, как можно представить Y-комбинатор в лямбда-счислении, я уже дал выше: https://github.com/morganey-lang/Morganey/blob/00056ad1750b5aa3944a8d7fd936df7156612c6d/std/src/main/resources/std/functions.mgn#L13 Если долго на него смотреть и думать, то можно понять, как он работает. Я уже несколько раз понимал, но всё время опять забываю :)

А на F# нет такого?)

Задача комбинаторов неподвижной точки состоит в том, чтобы получить, собственно, неподвижную точку функции. Это такая точка, в которой значение функции перестаёт меняться при её дальнейшем применении (т.е. f(x) = x). Например, функция factorial(x) = x == 1 ? 1 : x * factorial(x - 1) перестаёт меняться при x = 1. Эти комбинаторы используются при изучении всякого рода низкоуровневого функционального программирования (в частности, в лямбда-счислении). Комнибатор отличается тем, что вызывает функцию "рекурсивно", применяя её к её собственным результатам прошлой итерации. При этом комбинатор необязательно сам должен использовать рекурсию (скажем, на каком-нибудь C# вы можете представить себе реализацию комбинатора циклом). Ссылку на то, как можно представить Y-комбинатор в лямбда-счислении, я уже дал выше: https://github.com/morganey-lang/Morganey/blob/00056ad1750b5aa3944a8d7fd936df7156612c6d/std/src/main/resources/std/functions.mgn#L13 Если долго на него смотреть и думать, то можно понять, как он работает. Я уже несколько раз понимал, но всё время опять забываю :)

https://www.wikiwand.com/ru/Комбинаторная_логика + https://www.wikiwand.com/ru/Комбинатор_неподвижной_точки

А на F# нет такого?)

Комбинатор можно написать везде, где вообще есть функции высшего порядка.

А на F# нет такого?)

комбинатор это аппликатив, т.е. по сути ф-ция

Комбинатор можно написать везде, где вообще есть функции высшего порядка.

Я про готовую функцию

Готовой нету. Есть явная хвостовая рекурсия; смысла в такого рода комбинаторах нету :)

Меня прям разрывает, так хочется всё изучить

https://www.wikiwand.com/ru/Комбинаторная_логика + https://www.wikiwand.com/ru/Комбинатор_неподвижной_точки

https://ru.wikibooks.org/wiki/Комбинаторы_—_это_просто!

https://ru.wikibooks.org/wiki/Комбинаторы_—_это_просто!

Прекрасное введение.

Ну и вообще хорошая статья, да. Дельная.

Прекрасное введение.

У Душкина очень много всего прекрасного)

На F#: let rec y f x = f (y f) x

при этом факторал запишется так без рекурсии: let fact = y (fun f n -> if n=0 then 1 else n*f(n-1))

а если ввести ещё несколько вспомогательных определений: let s f g x = f x (g x) let k x y = x let c f a b = f b a let cond p f g x = if p x then f x else g x

то факториал будет выглядеть так: let fact = y(cond((=)1)(k 1)»((s(*))«(c(«)(c(-)1))))

при этом факторал запишется так без рекурсии: let fact = y (fun f n -> if n=0 then 1 else n*f(n-1))

А у вас есть/будет/планируется курс по такого рода вещам?

Такое ощущение, что Дмитрий это всё прям вот щас на мобиле быстренько набросал!

Такое ощущение, что Дмитрий это всё прям вот щас на мобиле быстренько набросал!

но я это уже видел на каком-то ДевКоне живьём где-то в подмосковной базе отдыха ;)

если ничо не путаю

:) курс на курсере будет, но скорее к сентябрю

:) курс на курсере будет, но скорее к сентябрю

круто!

:) курс на курсере будет, но скорее к сентябрю

Будем рады, если вы анонс курса нам сюда занесёте. Я бы с интересом прослушал такой курс.

let rec y f x = f (y f) x А может кто-нибудь эту конструкцию расписать подробнее? Хотя-бы с типами, что-то я не понимаю

let rec y f x = f (y f) x А может кто-нибудь эту конструкцию расписать подробнее? Хотя-бы с типами, что-то я не понимаю

val y : f:(('a -> 'b) -> 'a -> 'b) -> x:'a -> 'b

Сейчас хороший курс есть на MVA: http://aka.ms/fsharp

Сейчас хороший курс есть на MVA: http://aka.ms/fsharp

Занесу в наш список курсов. Спасибо

Народ, у вас работает шорткат “send selected to fsi” в VSCode (особенно интересно на macOS)?

val y : f:(('a -> 'b) -> 'a -> 'b) -> x:'a -> 'b

Как-то понятнее не стало :) Ладно, попробую позже разобраться

Народ, у вас работает шорткат “send selected to fsi” в VSCode (особенно интересно на macOS)?

У меня не работало, а потом вроде заработало, сейчас хз как

У меня не работало, а потом вроде заработало, сейчас хз как

У меня не работают и я даже поставить др не могу. Права у меня еще key-binding от IDEA - не понятно это кофликт или просто плагин тупит.

У меня не работают и я даже поставить др не могу. Права у меня еще key-binding от IDEA - не понятно это кофликт или просто плагин тупит.

А что пишет

У меня не работают и я даже поставить др не могу. Права у меня еще key-binding от IDEA - не понятно это кофликт или просто плагин тупит.

есть список кейвордов, там можешь поискать "alt+enter"

А что пишет

Ничего, просто я добавляю свою комбинацию, а он не сохраняется. дефолтная просто не срабатывает..

Ничего, просто я добавляю свою комбинацию, а он не сохраняется. дефолтная просто не срабатывает..

Попробуй нажать F1 и ввести FSI

Или у тебя проблема только с шорткатом?

есть список кейвордов, там можешь поискать "alt+enter"

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

Или у тебя проблема только с шорткатом?

Похоже что это тоже самое что и shift-cmd-p, с этим проблем нет, но не удобно какждый раз вводить команду.

Все разрешилось, после перезапуска показались конфликты - удалил и вроде теперь работает.

Кстати, что-нибудь слышно по FSI на coreclr?

@shwars спасибо за примеры.

@shwars А как посоветуете сделать чтобы все привязки let в модуле были вычислены автоматически? Наиболее идиоматичным для F# способом

do?

Или про другое?

do не поможет если имя из привязки явно не вызывается

в F# все вычисления начинаются в [<EntryPoint>]. Мне нужно вычислить все привязки в порядке объявления. Сейчас я это делаю явным вызовом и это просто бесит, наверное самое печальное что есть в F#

при чём это поведение зависит от __DEBUG__

А если либа, то где начинаются?

там, где она вызывается естественно

И я кейса не понял, где нужно вычислить все привязки

Из реальной жизни

Для решения какой проблемы нужны подобные вычисления? Я понимаю, что сейчас задаю очень тупой вопрос