а йоптыть

set -> set это не стрелка из категории множеств в категорию множеств, а функция над множеством?

Просто чтобы обсуждать хкт, надо пример. Какой дали, такой и обсуждали

Это диспетчеризация по типу контейнера

Нет, вы там обсуждали имплиситы и хкт, всё остальное это вообще непонятно что. Какие-то нанофичи

но хкт это не про диспетчеризацию

Сейчас вы скажете про ad hoc полиморфизм, угадал?

И при этом использует стримы на малых колекциях массивах

Без этих "нанофичей" оно работать не будет, а их в котлине тоже нет.

это про возможность выразить что-то подобное
interface Functor<F> {
 fn map<A, B>(A -> B, F<A>) -> F<B>
}

Во

Нет, смквенс просто отдает итератор

Читай хотя бы на пять сообщений вперёд, прежде чем отвечать, договорились?)

в дотнете без hkt в принципе контейнерную библиотеку нормально не сделать

вернее нормально с точки зрения более позднего фп подхода.

пока фп претензий не было, не-хкт иерархией интерфейсов вполне можно было пользоваться меняя что-то на месте. т.е. мы через интерфейс ICollection или IList что-то теребим в коллекции, а ссылка -то вот она, того же типа осталась.
потом начались линкострадания и сишарп сразу уперся в ограничения дженериков, потому что теперь то надо результат возвращать. а линковые функции в основном возвращают IEnumerable, стирая статическую информацию о типе коллекции.

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

т.е. досвидания статика, привет динамический глюкодром

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

т.е. любая контейнераная библиотека с иерархией контейнерных интерфейсов будет костыльной, можно нормально сделать только контейнерную библиотеку с конкретным типом итератора/списка, либо сверточную, типоа пакета foldl или явовых стримов, но это довольно ограниченные, маломощные и устаревшие подходы

Почитайте ещё раз наше с Егором обсуждение и скажите, откуда берется конструктор F

F это параметр типа. Конкретный инстанс этого интерфейса уже будет фиксированного типа с фиксированным контейнером.

Тут это уже было. Мне кажется довольно много спорных утверждений. Я в дот нет не работал. Но жава так же работает.

Я про то, как оно должно быть по логике, а не как сейчас. Iterable тоже отдаёт итератор, да ещё и без ограничений по количеству.

Да нет там спорных утверждений, ровно это у людей в чате и болит.

Я не тупой, чтобы тутошние жители не считали. Как создать инстанс?