погоди, а ionide тут причем? У меня ж сам dotnet build не срабатывает - на open <namespace> ругается

погоди, а ionide тут причем? У меня ж сам dotnet build не срабатывает - на open <namespace> ругается

А. У меня такая проблема с Ionide была, я репортил. :)

а у кого-нить вообще получается на .net core на убунте сделать референс с F# проекта на F# проект? Возможно, я делаю тупую ошибку, а возможно там нихера не работает

а у кого-нить вообще получается на .net core на убунте сделать референс с F# проекта на F# проект? Возможно, я делаю тупую ошибку, а возможно там нихера не работает

А скинь проект.

а у кого-нить вообще получается на .net core на убунте сделать референс с F# проекта на F# проект? Возможно, я делаю тупую ошибку, а возможно там нихера не работает

Там был вроде косяк с путями к проекту

https://github.com/Dolfik1/Natty/commit/80013a31873a1ff7a39d6a30ac2f52df9b60840d

Там был вроде косяк с путями к проекту

о, это помогло. Спасибо большое

А скинь проект.

я пытаюсь) Пока втыкаю, как завести гитхаб на вс код

https://blogs.msdn.microsoft.com/dotnet/2017/09/26/build-a-web-service-with-f-and-net-core-2-0/

Кандидат на перевод.

Попробую заняться в свободное время. Статья хорошая, практическая.

А у Giraffe логотип прикольный.

https://i.imgur.com/yQ4Zh5w.png

Ок, разрешение на перевод есть.

@Dolfik Я снова в игре!

@Dolfik Я снова в игре!

?

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

Статья неплохая, кстати, про жирафа, да.

Даже с базой данных.

Решения немного странные. > I’ll actually use two different approaches: getLunches will use the NPoco ORM, and addLunch will use Microsoft.Data.Sqlite directly.

Даже с базой данных.

А с БД там как?

Почему не Dapper?

А с БД там как?

Ну, не Natty.

Я тебе звездочку поставил.

?

Я тебе звездочку поставил.

Лучше бы доки написал

Лучше бы доки написал

У тебя даже ишшуй есть на это. Удивительно!

https://twitter.com/tomaspetricek/status/912751176185208835

#light off ?

Попробую сегодня установить OCaml for Windows.

Попробую сегодня установить OCaml for Windows.

Мсье знает толк в извращениях

Мсье знает толк в извращениях

Да, там есть немного cygwin. Мне самому не очень нравится.

OCaml немного архаичным ощущается, в отличие, например, от Rust. :)

Попробую сегодня установить OCaml for Windows.

Расскажи потом как ночь провёл с OCaml

Расскажи потом как ночь провёл с OCaml

Конечно.

Расскажи потом как ночь провёл с OCaml

джентльменам не пристало хвастаться победами

джентльменам не пристало хвастаться победами

Ещё не известно одержит ли джентльмен победу

Если что, вот ссылка. https://fdopen.github.io/opam-repository-mingw/

Надо бы, конечно, про это в @reasonml_ru писать. ?

OCAML насколько я помню однопоточен ?

OCAML насколько я помню однопоточен ?

Работы над Multicore OCaml вовсю идут. У них там довольно интересный подход с алгебраическими эффектами.

Да , уже лет 5 вроде. IMHO вся современная функционалка вызвана хайлоадом

А там сплошной мультитреад.

https://twitter.com/tomaspetricek/status/912751176185208835

http://www.ioccc.org/2013/misaka/misaka.c

вот как это делается)

Не могу понять, как заставить ionide Solution/Project explorer трекать проект. Один раз он подцепил первый созданный мною, остальные не видит, и я не могу найти ни настройки, ни какой-нибудь способ заставить его трекать конкретный проект/солюшн. Есть идеи у кого-нить?

Не могу понять, как заставить ionide Solution/Project explorer трекать проект. Один раз он подцепил первый созданный мною, остальные не видит, и я не могу найти ни настройки, ни какой-нибудь способ заставить его трекать конкретный проект/солюшн. Есть идеи у кого-нить?

// Automatically modifies fsproj on file add/remove "FSharp.automaticProjectModification": false,

Есть такая настройка.

Спасибо, попробую

LineLens в Ionide очень классно выглядят.

https://twitter.com/k_cieslak/status/912788191102595072

Ionide Enterprise. ?

что-то какой-то мракобесный шрифт

подозрительно напоминает терминал

Ionide Enterprise. ?

Он вроде в твите не пишет, что это enterprise. И даже на ionide.io нет никакой инфы о разработке enterprise версии. Я лишь в одном месте видел опрос Кристофа - мол заплатили ли бы вы за ionide, стоит ли пилить платную версию? Где он продает платную версию и почем? :) Ощущение, что он пока это не выпустил и это пока какая-то закулисная вешь

Отладка из коробки - фича, которой очень не хватает (

Он вроде в твите не пишет, что это enterprise. И даже на ionide.io нет никакой инфы о разработке enterprise версии. Я лишь в одном месте видел опрос Кристофа - мол заплатили ли бы вы за ionide, стоит ли пилить платную версию? Где он продает платную версию и почем? :) Ощущение, что он пока это не выпустил и это пока какая-то закулисная вешь

А, блин. Это просто локальный мем. Употребляется, когда Кшиштоф добавляет какую-нибудь фичу из VS. Вроде поддержи sln, или вот кнопок для дебага.

что-то какой-то мракобесный шрифт

https://be5invis.github.io/Iosevka/

Там и лигатуры есть!

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

let add x y = x + y add 1 2 add 1.0 2 Можно как-то заставить компилятор корректно вывести типы?

let add x y = x + y add 1 2 add 1.0 2 Можно как-то заставить компилятор корректно вывести типы?

inline

Пробовал

let inline add x y = x + y

Не прокатило

Не прокатило

Нельзя складывать целые и с плавающей запятой.

Если ты не в хаскеле :)

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

Сложный вопрос. Про нечеткую логику я ничего не знаю. А вот курс по HOL без особых требований по математике...

@IskanderRaimbayev Я думаю, можно попробовать поискать туториалы к какой-нибудь системе доказательства теорем в рамках HOL.

Через конкретные примеры и задачи должно проще быть.

Если ты не в хаскеле :)

В хаскеле нельзя.

https://ideone.com/axbv4A

Если ты не в хаскеле :)

Нельзя. http://rextester.com/PDPU67655

https://ideone.com/axbv4A

У тебя два примера: сложение интов и сложение флоатов. Сложения инта с флоатом нету.

Можешь проверить через :t

У тебя два примера: сложение интов и сложение флоатов. Сложения инта с флоатом нету.

add 1.0 2?

Где здесь float?

1.0 и 2 — флоаты.

Посмотри типы, ну!

У меня просто ghci нету под рукой, а то б я уже показал.

У тебя add применяется к аргументам одинакового типа.

Как там в хаскеле явно типы указать для аргументов? Как в F#?

Всегда.

Как там в хаскеле явно типы указать для аргументов? Как в F#?

Глянь мой пример.

Всегда отдельной сигнатурой. Например, add :: Num n => n -> n -> n — и тут становится понятно, что типы первого и второго аргумента всегда совпадают.

Nikolay Посоветовать литературу по Haskell?

Nikolay Посоветовать литературу по Haskell?

Посоветуй

Всегда отдельной сигнатурой. Например, add :: Num n => n -> n -> n — и тут становится понятно, что типы первого и второго аргумента всегда совпадают.

А Num это что?

add 1.0 2?

Ты просто предположил, что 2 — это всегда Int, но в Haskell это неверно. Литералы там весьма полиморфны. Например, 2 :: Num t => t 2.0 :: Fractional t => t Заметь, никто из них не имеет конкретного типа вообще — тип будет выбран при подстановке литерала в выражение.

Вот

Понял

2 может являться и Int, и Float, и вообще любым Fractional.

Он вывел тип Fractional

А не int или float

И сложил Fractional

Ага.

Ну в F# такого нет ?

Посоветуй

http://bit.ly/2ys6KfI