Вобщем, странно всё это. Хочу let in на уровне модулей 😊

тебе в окамл

(тред не читал)

я там был и мне понравилось

type family Foo k (a :: k) :: * where
    Foo * a = a

короче GHC поехал кукухой

я пришел к выводу, что GHC пытается быть умным и не выводить кайнд k, потому что мало ли, вдруг там TYPE 'UnliftedRep или еще какая дичь. Вот только почему тогда standalone kind signature работает... Бред в общем какой-то

@Elvecent так, а где я это отрицал? Я лишь написал, что основные постулаты ООП (и привел их) - в мире ФП имеют иной оттенок/требования. Я, как бы, ничего и не написал про разницу "сокрытия" и "инкапслуляции". Разве это не так? К примеру, приведу: https://www.schoolofhaskell.com/user/fumieval/encoding-objects

In Haskell, object-oriented programming is hardly adopted. In my humble opinion, this is because:
- A lot of patterns used in other OOP languages can be replaced by other features of Haskell: polymorphism, first-class functions, ExistentialQuantification, etc.
- Scarce use cases: few projects need to encapsulate states while handling various operations.
- Potential disgust for OOP.

И подобное я видел на многих сайтах, когда начинают спрашивать про "применение техник" из мира ОО - в мире ФП.

Почему Вы думаете, что я с Вами спорю

@Elvecent не знаю :) может, потому что читая текст - сложно понять порой интонацию собеседника. Сорри, если что, не будем оффтопить.

нет, все то же самое, или:
- студент просто запросит работу и не сможет защитить
- студент запросит работу за деньги, и попросит ее объяснить, чтобы он смог защитить

да почему нет, это проблемы студента. Он заказчик, дает задачу, платит деньги, получает то за что заплатил. Защитит или нет, хватит ли у него знаний чтобы понять проект - проблемы студента

Он может как потратить кучу времени чтобы понять, так и заплатить еще и за объяснение у исполнителя

все остальное это какой-то пуризм из разряда "в идеальном мире все должно быть правильно и коммунистично"

если ты про то что они постят свои заказы тут, а не в cv, то их тут успешно перенаправляют куда нужно

<аналогия про гитлера^W CP/органы/убийства>

А где жертва

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

Образование - жертва

И другие участники

У образования нет прав