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

Было бы очень круто

Fapper - a SQL generator for F# - fsharp https://www.reddit.com/r/fsharp/comments/7u3yb3/fapper_a_sql_generator_for_f/?utm_source=reddit-android

смешное название

мм выглядит неплохо

смешное название

Про это даже есть FAQ: https://github.com/vivainio/Fapper#whats-up-with-the-name ?

всразу встает вопрос, может ли он в разные диалекты

в mssql top 1, в оракл fetch first 1 row only

https://github.com/vivainio/Fapper/blob/master/Fapper/SqlGen.fs

не может

Хммм... у меня таки почти завелась наркоманская тема http builder на фри монадах

Осталось понять, как кастомные операции прикрутить, чтобы не было всяких do! header "1" "2"

Есть ли красивый способ превратить функцию SomeType -> ‘a в Unit -> ‘a если у меня есть экземпляр SomeType Что-то типа “частичного применения”, но не совсем.

есть в ionide фишка чтобы я мог нюгет пакет "добавить" в fsx?

есть в ionide фишка чтобы я мог нюгет пакет "добавить" в fsx?

всмысле загрузить на использование?

Ага

вроде только через #r

Ну это понятно просто было бы круто типа какой то командой скачать нюгет и через #r добавить в открытый скрипт

возможно paket так может

чтобы сейчас это проверить нету vs code под рукой

Есть ли красивый способ превратить функцию SomeType -> ‘a в Unit -> ‘a если у меня есть экземпляр SomeType Что-то типа “частичного применения”, но не совсем.

let magic f x () = f x ?

есть в ionide фишка чтобы я мог нюгет пакет "добавить" в fsx?

Хотят запилить: https://github.com/fsharp/fslang-suggestions/issues/542

Ну это понятно просто было бы круто типа какой то командой скачать нюгет и через #r добавить в открытый скрипт

1. paket install 2. paket generate-load-scripts 3. #load generated_script.fsx

можно ещё generate_load_scripts: true в paket.dependencies прописать и второй шаг станет не нужен)

1. paket install 2. paket generate-load-scripts 3. #load generated_script.fsx

Крутяк, 3 надо всегда руками прописывать?

а есть в нем какой-нибудь packet repl - чтоб сразу окно репла в который все загружено получить?

Крутяк, 3 надо всегда руками прописывать?

да, но это не так больно по сравнению с ручной загрузкой dll'ок

да, но это не так больно по сравнению с ручной загрузкой dll'ок

да, это боль =)

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

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

ну это когда есть проект)

У меня основной юзкейс - папка со скриптами, в которой до кучи лежит paket.dependencies

Люди, а кому интересно купить https://pragprog.com/book/swdddf/domain-modeling-made-functional ? Там вроде как-то можно сэкономить 40%

https://twitter.com/PragmaticAndy/status/958730928087552000

Люди, а кому интересно купить https://pragprog.com/book/swdddf/domain-modeling-made-functional ? Там вроде как-то можно сэкономить 40%

если кому-то надо я тож могу инвайт кинуть, только мне пишет 30% =) и это наверно на любую покупку у них

если кому-то надо я тож могу инвайт кинуть, только мне пишет 30% =) и это наверно на любую покупку у них

поздно, я уже (

Привет.

Привет.

Привет как дела

Во все чаты разом ворвался

Все откуда

Я паруски учился

????

Привет как дела

Ровно. Сам как? Программируешь на F#?

Ровно. Сам как? Программируешь на F#?

Норм как ета программы

Что программа нужно ?

Ровно. Сам как? Программируешь на F#?

что-то мне кажется, это нейронка (и внутри у ней неонка)

что-то мне кажется, это нейронка (и внутри у ней неонка)

таки забрёл настоящий бот?

таки забрёл настоящий бот?

ну у меня в соседнем чате есть бот Фридрих - он примерно так общается

таки забрёл настоящий бот?

Приветик красотка ??

ну у меня в соседнем чате есть бот Фридрих - он примерно так общается

@fvnever ?!

Я знал!

@fvnever ?!

Наш Фридрих общается как-то не так :)

Я знал!

LOL, не, @friedrich_bot - можете попробовать если не боитесь

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

Приветик красотка ??

Ладно, дружище, у нас тут чат по программирование. Ты ошибся немного. ;)

Ладно, дружище, у нас тут чат по программирование. Ты ошибся немного. ;)

Ok

?

?

?

Привет.

Столкнулся тут с проблемой - вот сделал я проект на F#. В IDE у меня есть код ленс, вывод типов и т.д. Но в веб-интерфейсе репозитория всего этого нет, в итоге человек, который делает ревью обречён на страдания. Отсюда вопрос, что тут можно сделать? Идея вручную аннотировать всё что можно - ну такое. Мне пришло в голову только написать тулзу, которая добавляет сигнатуру функции в комментарий к ней, но то же не очень. Как быть?

Столкнулся тут с проблемой - вот сделал я проект на F#. В IDE у меня есть код ленс, вывод типов и т.д. Но в веб-интерфейсе репозитория всего этого нет, в итоге человек, который делает ревью обречён на страдания. Отсюда вопрос, что тут можно сделать? Идея вручную аннотировать всё что можно - ну такое. Мне пришло в голову только написать тулзу, которая добавляет сигнатуру функции в комментарий к ней, но то же не очень. Как быть?

Экстеншен для браузера?)

Не делать ревью в браузере)

надо, что бы любой чувак, который зашёл в репо видел, как всё устроено, не только тот, у которого есть экстеншн

надо, что бы любой чувак, который зашёл в репо видел, как всё устроено, не только тот, у которого есть экстеншн

Как насчет хаскельного правила "в экспортируемых функциях типы пишем явно"?

Как насчет хаскельного правила "в экспортируемых функциях типы пишем явно"?

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

Не делать ревью в браузере)

насколько я знаю, большинство предпочитает делать его в браузере

Внутренний код и без имен типов нормально читается

Внутренний код и без имен типов нормально читается

Утверждение очень и очень спорное.

насколько я знаю, большинство предпочитает делать его в браузере

У большинства просто нет инструментов делать ревью в студии

Утверждение очень и очень спорное.

Проверено на личном опыте - в C# использую var везде, при чтении кода проблем не имею. Вывод типов тем и хорош, что позволяет сосредоточиться на главном, опустив второстепенное

насколько я знаю, большинство предпочитает делать его в браузере

ну значит им и не нужно знать типы, главное смысл понимать что сделано

т.е. я выдумал проблему?

думаю да)

let rec lifeCycle log stopped processGolem applyActionToState updateGolemState syncStates tact pulse state = let golemStates, _= state log state tact() match stopped() with | true -> 0 | false -> List.map ((updateGolemState state) >> (processGolem >> applyActionToState)) golemStates |> List.reduce syncStates |> pulse |> lifeCycle log stopped processGolem applyActionToState updateGolemState syncStates tact pulse ревью пожалуйста

т.е. я выдумал проблему?

Не обязательно, но проблемы может и не быть, прецеденты есть :)

let rec lifeCycle log stopped processGolem applyActionToState updateGolemState syncStates tact pulse state = let golemStates, _= state log state tact() match stopped() with | true -> 0 | false -> List.map ((updateGolemState state) >> (processGolem >> applyActionToState)) golemStates |> List.reduce syncStates |> pulse |> lifeCycle log stopped processGolem applyActionToState updateGolemState syncStates tact pulse ревью пожалуйста

Уменьшить число аргументов

Короче, если я правильно понял, мне стоит аннотирровать то, что нельзя понять без аннотаций

Экспортируемое надо аннотировать - это контракт, там нужна совместимость

А внутри надо писать код так, чтобы аннотации не были нужны - там нужна выразительность и гибкость

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

Хм, а ведь сделано же как-то вот тут http://fsharp.github.io/FSharp.Data/library/HtmlProvider.html

правда, типы, экспортированые из провайдера выводятся в obj :)

let rec lifeCycle log stopped processGolem applyActionToState updateGolemState syncStates tact pulse state = let golemStates, _= state log state tact() match stopped() with | true -> 0 | false -> List.map ((updateGolemState state) >> (processGolem >> applyActionToState)) golemStates |> List.reduce syncStates |> pulse |> lifeCycle log stopped processGolem applyActionToState updateGolemState syncStates tact pulse ревью пожалуйста

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

@Bonart правильно ли я понял твой посыл: если код не понятен без вывода типов, это плохой код ?

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

это был пример кода, который не понятен буз вывода типов

Именно так.

это был пример кода, который не понятен буз вывода типов

Почему не понятен? Там рекурсия с кучей аргументов лишних, а типы там нафиг не сдались

Окей, я понял

Обычно рекомендуется избавляться от явной рекурсии

?

Почему не понятен? Там рекурсия с кучей аргументов лишних, а типы там нафиг не сдались

согласен