Самую предсказуемую деаллокацию даёт munmap

Подсчёт ссылок это рантайм, в отличие от регионов

Это да. Но регионами всё не сделаешь

Чёт так себе наброс. Вот если бы эта штука аллоцировала для себя какой-то кусок памяти и потом там нормально собирала мусор(не Arc), вот тогда было бы норм, а так чот не.

А что не так с Arc?

А что не так с Arc?

он медленный

Чёт так себе наброс. Вот если бы эта штука аллоцировала для себя какой-то кусок памяти и потом там нормально собирала мусор(не Arc), вот тогда было бы норм, а так чот не.

И да, теоретически можно и переделать таким образом, есть же crossbeam-epoch

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

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

Повторю свой тезис

Повторю свой тезис

Эм, рекурсивные типы это Cons Cons Cons Cons Cons ... a?

Или простой односвязный список?

data List a = Cons a List | Nil

тогда хватает боксинга

а это уже malloc

но не GC же

тогда хватает боксинга

Деструктор переделывать надо. Если наивно реализовать — будет вылетать с переполнением стека

тогда хватает боксинга

Ну, человек это тьюринговский оракул. По крайней мере пока он работает так и нет причин полагать обратное

я х.з. когда растаманы поймут что серебрянной пули нет

я х.з. когда растаманы поймут что серебрянной пули нет

*серебрянной

я х.з. когда растаманы поймут что серебрянной пули нет

а так-же что раст не нужен в 90% програм

Нельзя написать алгоритм, который расставляет маллоки за тебя

*серебрянной

да. я сегодня без кофе.

а так-же что раст не нужен в 90% програм

Haskell не нужен в 90% программ

Нельзя написать алгоритм, который расставляет маллоки за тебя

И free, free не забудь!

Haskell не нужен в 90% программ

В 10%

Haskell не нужен в 90% программ

хаскелем комфортно писать 90% программ. Растом нет.

В 10%

Аргументируйте, пожалуйста

В тех самых, в которых нужен раст :)

Вообще развели тут блах

да.

я х.з. когда растаманы поймут что серебрянной пули нет

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

ой да ладно, там у людей травма от си и плюсов

на расте эти 90% программ, где он не нужен могут быть удобнее, чем плюсы

но раст не настолько лучше плюсов

мне он проще, я плюсы не осилил, например

айда в blah

+

на расте эти 90% программ, где он не нужен могут быть удобнее, чем плюсы

У меня травма больше от динамически типизированных языков

И от TypeScript

И от Go ещё

У меня травма больше от динамически типизированных языков

в @haskell_blah пожалуйста

сообщения я туда форварднул

я думал blah это для обсуждения троцкизма, а тут уже и ЯП обсуждать нельзя? вот это поворот

раст всегда был онтопом, как и плюсы

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

А снойман комитетчик?

нет

да тут началось странное

рулевой комитет это * Chris Allen (@bitemyapp) * Joachim Breitner (@nomeata) * Manuel M T Chakravarty (@mchakravarty) * Iavor Diatchki (@yav) * Atze Dijkstra (@atzedijkstra) (через месяц заменили на Романа Лещинского) * Richard Eisenberg (@goldfirere) * Ben Gamari (@bgamari) * Simon Marlow (@simonmar) * Ryan Newton (@rrnewton) (сейчас ищут замену для него) * Simon Peyton-Jones (@simonpj)

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

сложно...

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

избегай успеха и вот это вот все

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

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

спасибо

есть и другие комитеты, один из них тот, с которым снойман воюет все время

но к фичам языка они и вовсе уже никакого отношения не имеют

ого сколько бюрократов

библиотечный комитет это Edward Kmett (chair) Eric Mertens (Term ending June 2017) Dan Doel Michael Snoyman Luite Stegeman (Term ending June 2017) Joachim Breitner Neil Mitchell Ryan Scott не знаю, кого на кого там заменили и заменили ли

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

но к фичам языка они и вовсе уже никакого отношения не имеют

Я думал где-то в недрах кабалистов разрабатывают нормальные модули

Это разве не фича языка?

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

Я думал где-то в недрах кабалистов разрабатывают нормальные модули

Какие там фичи у модулей будут?

Какие там фичи у модулей будут?

Почему будут, давно есть же http://blog.ezyang.com/2016/10/try-backpack-ghc-backpack/

(но не в стаке)

Какие там фичи у модулей будут?

да там вроде ничего нового не планируется пока, основная часть для 8.2 и для 8.4 всякие фиксы и минифича

а можно как-то в stack.yaml прописать чтобы для определенного пакета собирался haddock?

а можно как-то в stack.yaml прописать чтобы для определенного пакета собирался haddock?

можно просто запустить stack haddock. не уверен насчёт модуля, но компонентом ограничить можно

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

О, хорошо

Как раз 64 воткнул

Будет, на чем хелловорлд собрать

Попробуй telegram api с помощью 8.2 собрать

The highlights, since the 8.4.1 release, are: Many, many bug fixes.

я так понимаю в 8.4 и 8.6 ничего интересного касательно самого языка

в 8.4 ничего, в 8.6 есть

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

да и вообще может оно никак не сработает, ведь версии одинаковые

а, да, ну и конечно фича 8.6 в которой самое загадочное - почему это не фича 5.00 Prelude> :doc map 'map' @f xs@ is the list obtained by applying @f@ to each element of @xs@, i.e., > map f [x1, x2, ..., xn] == [f x1, f x2, ..., f xn] > map f [x1, x2, ...] == [f x1, f x2, ...]

ох нашёл. супер

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

если указан репозиторий, то он всегда оверрайдит снапшотовый пакет. Даже версия не учитывается по сути, т.к. ревизия явно указывается

можно просто запустить stack haddock. не уверен насчёт модуля, но компонентом ограничить можно

Ну а когда я запущу build без haddock, он мне доки не снесёт?

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

поверить стэку. или проверить наличие именно той фичи, ради которой ты подключил именно эту версию

Ну а когда я запущу build без haddock, он мне доки не снесёт?

не должен. лучше проверь