Делается изи: стримится на твиче, сохраняется клип, заливается на ютуб.

ещё компиляторы обсуждают где угодно, но не в компиляторном чате. А что делать... можно я тоже побухтю?

Все потому, что в компиляторном чате слишком много серьезных и шарящих, а в основном F# наоборот. :)

Ну, меня просто забавляет, насколько живучая тема.

ты последнее время стал больше бухтеть по-моему

А @gsomix стареет, да

Ну, да вас с Ivan мне далековато. :)

Ну, меня просто забавляет, насколько живучая тема.

А что удивительного? Проблема как раз в том, что не хватает как раз важных для современного ФП стиля вещей.

Нужно принять, что F# — это ООП язык (в стиле C# и Java) с элементами ФП (в стиле Caml Light).

Соответственно тем техники, которые являются идиоматичными для Scala или Haskell (современный ФП), сюда плохо подходят и выглядят как натягивание совы на глобус.

Лол, Scala — это тоже ООП.

Соответственно тем техники, которые являются идиоматичными для Scala или Haskell (современный ФП), сюда плохо подходят и выглядят как натягивание совы на глобус.

Ну натянуть вполне прилично их можно, на самом деле. Просто никто не заморачивался. Можно тот же трюк из статьи lightweight higher kinded types применить, как сделали авторы arrow-kt в котлине. Будет вполне себе (хоть и костыльно немного) достаточно, чтобы абстракции нужной мощности можно было выразить.

Кто-нибудь всерьез пишет c использованием arrow-kt? :)

А мы любим сов!

Ну небольшой proof-of-concept c arrow-kt у меня норм вышел. Глаза не вытекли. (Хотя с трансформерами там беда, да)

И получить нужные абстракции бесплатно.

И сильно потерять в экосистеме, увы.

Почему бы просто не писать на скале?

Я и пишу всё для своего использования на скале и так. Просто стало в какой-то момент любопытно, что происходит с экосистемой F# в этом плане.

А давайте сделаем F# без .NET? Чтобы куда угодно можно было прилепить.

Так и речь не про тебя. :)

Я бы, наверное, наоборот некоторые даже существующие F# фичи выпилил бы.

пусть @AnutaU чото там на llvm напишет

пусть @AnutaU чото там на llvm напишет

вроде функциональненькие штуки плохо на llvm реализуются

И тайппровайдеров. :)

Ну и получится C# с выводом типов и каррингом.

А давайте сделаем F# без .NET? Чтобы куда угодно можно было прилепить.

то что они не кусок апи компилятора, а самостоятельное нечто?

@gsomix Явно не в духе сегодня

то что они не кусок апи компилятора, а самостоятельное нечто?

Да!

Но вообще-то какой LLVM если я собираюсь всё бросить и в продавщицы

Таксистом бомбить.

Но вообще-то какой LLVM если я собираюсь всё бросить и в продавщицы

Уже сделали, называется OCaml. Получилось так себе.

В сексшоп вмё таки?