[04:21:42] <vlad2> Херня конечно. В плюсах правильно сделали, что сначала лукапится идентификатор, а потом уже всякие private и прочие перегрузки смотрятся.
[05:30:29] <Kemet> valexey, Ну я на него смотрел нк предмет изучения, даже немного почитал, но пока не пошло - функциональщина явно не моё, хотя окамл и более человечный чем всякие хацкели
[07:34:17] <geniepro> Kemet> geniepro, Чето у меня гитхаб не дает обновить репы, это только у меня или глобпроблем
я им вапще не пользуюсь
[07:38:43] <geniepro> Kemet> окамл и более человечный чем всякие хацкели
окамль -- один из худших ФЯ, да он и не вполне ФЯ, он вполне себе императивный и ООП-нутый, хотя и с ФП-возможностями...
[08:06:15] <Kemet> geniepro: поэтому он и человечный, да )
[08:10:15] <geniepro> он не более человечный, чем оберон, например
[08:10:50] <geniepro> хотя, отсутствие ФП-возможностей у оберона делает его менее человечным, чем окамль (
[08:13:30] <Kemet> ха, связанные с типом процедуры в активном обероне, круть, хотя о2 синтаксис там выглядит чужеродно
[12:44:33] <_valexey_> Kemet: а что там?
[12:56:31] <valexey> geniepro: если камло один из худших, то кто остальные? :-)
[13:02:01] <geniepro> те кто получше? ну хаскель, был ещё клин когда-то, не знаю жив ли он щас, эрланг тот же, ну и всякие другие ML типа SML
[13:02:33] <geniepro> вапще их же полно раньше было -- миранда, хоуп, не говорю уже о всяких схемах
[13:07:03] <valexey> https://twitter.com/glorphindale/status/793464972638621696
[13:07:29] <valexey> geniepro: ерланг это вообще чистая императивщина, ты чо?
[13:07:41] <valexey> там ни типов нормальных, нихрена.
[13:07:53] <geniepro> ну он чище в плане ФП чем окамль
[13:08:01] <valexey> в каком месте оно чище?
[13:08:14] <geniepro> что-то типа типов там таки есть, но убого, да
[13:08:29] <geniepro> там же нет такой жосткой императивщины, как в окамле
[13:08:43] <valexey> в ерланге, поскольку локальные переменные изменять нельзя, принято срать в глобальные переменные :-)
[13:09:07] <geniepro> там принято посылать сообщения иммутабельные, зачем срать-то?
[13:09:11] <valexey> а где в окамле жесткая императивщина то? ты про наличие циклов шоле?
[13:09:31] <geniepro> не только, там ваще от ФЯ одно название
[13:09:41] <valexey> это только слова :-)
[13:09:43] <geniepro> да даже в названии нет слова агтсешщтфд
[13:09:53] <geniepro> functional
[13:09:57] <valexey> в ерланге принято всё состояние держать в глобальных переменных. по возможности.
[13:10:37] <valexey> ну типа есть функции-воркеры чистые и непорочные, а есть глобальный сейт, назовём его встроенной базой данных, а то не функциональненько :-)
[13:10:57] <valexey> вообще то есть слово function ключевое в окамле :-)
[13:11:12] <valexey> кстати, в хаскеле тоже нема ничего такого.
[13:11:31] <valexey> ну а схемы всякие тоже полная ересь - динамическая типизация. а у лиспа ещё и мутабельность всего подряд.
[13:12:33] <geniepro> первая лямбда была бестиповой!!!
[13:12:54] <geniepro> да у тебя на форуме комбинатор на бестиповой лямбде!!!
[13:12:55] <valexey> нинужна
[13:13:00] <geniepro> в подписи
[13:13:05] <valexey> я знаю
[13:13:43] <valexey> но по факту это к современному ФП особо отношения не имеет. это всё равно что все императивные ЯП свести к goto
[13:13:53] <valexey> типо goto - вот квинтесенция оберона!
[13:46:27] <Kemet> valexey: ну в Ао теперь есть связанные с типом процедуры для записей в стиле Оберона-2
[13:46:49] <valexey> а раньше методов не было шоле?
[13:46:53] <valexey> а, оно было только для объектов?
[13:46:59] <valexey> для простых записей не было?
[13:47:00] <Kemet> угу
[13:47:08] <valexey> ыыы
[13:47:17] <valexey> но у записей ведь нет наследования в АО?
[13:47:39] <Kemet> есть, это ж классик оберон расширенный ооп и многопоточкой
[13:48:18] <valexey> оммм...
[13:48:27] <valexey> то есть теперь там есть два типа ООП? :-)
[13:49:02] <Kemet> ну оно экспериментально, может синтаксис таки приведук в ао, просто феликс оказывается поклонник о-2
[13:49:40] <valexey> а зачем там объекты есть есть расширяемые записи с методами?
[13:49:47] <Kemet> и ему тоже нужны валуетипы с методами
[13:51:16] <valexey> но рекорды могут быть и в куче
[13:51:22] <valexey> то есть зачем там объекты тогда?
[13:51:40] <Kemet> сейчас методв можно определить только для записей, но не для указателей на записи, ну то есть валуетип, а объекты внутри это указатели на запись, вобщем там чтобы сделать методы у записей всего строк 20 понадобилось
[13:52:01] <Kemet> только объекты могут имет активность
[13:52:41] <valexey> дык а что мешает указатель на запись разименовать и таки вызвать метод? не вижу проблемы
[13:52:57] <valexey> то есть объекты там теперь нужны только для многопоточки
[13:53:55] <Kemet> раньше на заре АО слова OBJECT не было и активный объект выл в виде указателя на запись , там только указатель на запись мог иметь активность по понятным причинам - если у нас валуе тип и он на стеке и у него активность, а стек схлопнется, то будет буум
[13:55:44] <valexey> ну, не больший бум, нежели использования замыканий в том же Го :-)
[13:55:50] <valexey> то есть это можно сделать было.
[13:56:58] <Kemet> эээ, пока существует активность - суще твует объект, даже если все ссылки померли, а если он на стеке, то активность придется прибивать если стек схлопнется
[13:58:50] <Kemet> ну наверное отцы-основатели решили что обжект это мейнстрим - там же модуль и объект имеют схожую структуру - может очередной эксперимент на тему как расширить язык оо и не поменять практически ничего
[13:59:07] <valexey> хз
[13:59:26] <valexey> экспериментаторы :-)
[14:00:17] <valexey> причем похоже у них нет цели сделать язык популярным или как-то его стабилизировать. им и так хорошо. дела делаются, язык ковыряется, эксперименты ставятся, папиры пишутся.
[14:00:49] <Kemet> но в целом отдельная синтаксическая и семантическая сучность для активного объекта это гут тк если это был бы указатель на запись, нужно включать в мозгах шаблонизатор - в запись активность низя, а в указатель на запись мона, так что норм
[14:01:28] <valexey> ну возможно стоило бы активность сделать ну совсем другой уже сущностью
[14:02:19] <Kemet> так сделали в зонноне, там активность отдельная сучность - асинхронная процедура
[14:02:31] <valexey> и в Аде
[14:02:52] <Kemet> и в шарпе
[14:03:25] <valexey> в шарпе не помню что там и как
[14:05:12] <Kemet> да какойто модификатор async вроде
[14:05:51] <valexey> ну, там это немного другое.
[14:10:46] <Kemet> вот ка ка записи выглядели в первом ао http://www.ethoberon.ethz.ch/native/compiler/active.record.html
[14:12:40] <Kemet> им там кстати были не только монопольные области, но и разделяемые
[14:13:04] <Kemet> пооом разделяемые выпилили ибо их можно через монопольные сделать
[14:17:53] <Kemet> TYPE
   Agent = POINTER TO AgentDesc;
   AgentDesc = RECORD
     VAR i: INTEGER; x: Node;
   BEGIN { PARALLEL, TIMESLICED} i := 0;
     REPEAT
       NEW(x); x.key := Randoms.UniRand(); root.Insert(x); INC(i)
     UNTIL i = 2000;
     log.Int(Kernel.GetTimer()); log.Ln
   END AgentDesc;
[14:35:52] <geniepro> читаю о том, как установить Rust -- что за гемор какой-то? о_О
[15:01:52] <Kemet> geniepro: ну у него название подозрительное
[15:02:20] <geniepro> в смысле -- раст-раст-педераст?
[15:06:49] <Kemet> угу
[15:58:00] <geniepro> http://rustprog.blogspot.ru/2015/07/rust-ide-sublime-text-3-windows.html

чота нихера не работает автокомплит
[16:21:15] <TRUE> http://bash.im/quote/440934
Про сон внутри сна:
xxx: Мне перед защитой снилось, что я прихожу на защиту,а преподы встают и уходят, типа фу на твою работу
xxx: Просыпаюсь, думаю, слава Богу, просто сон, встаю, иду на защиту, а преподы встают и уходят!!!
xxx: И вот тогда я просыпаюсь наконец по-настоящему...
[17:33:18] <valexey> geniepro: просто у тебя операционка нетрадиционной ориентации
[17:33:26] <valexey> используй стандартные оси - там все легко и просто
[22:10:09] <valexey> https://www.facebook.com/ruslan.karimov.71/posts/10206680977012335