codingteam@conference.jabber.ru

codingteam

31.01.2013< ^ >

[01:08:38] generatorglukoff зашёл в конференцию
[01:08:38] Сволота зашёл в конференцию
[01:08:38] uıʃɐɟ∀ зашёл в конференцию
[01:08:38] moonhawk зашёл в конференцию
[01:08:38] Spo1ler зашёл в конференцию
[01:08:38] swagman зашёл в конференцию
[01:08:38] OKTAVIUS зашёл в конференцию
[01:08:38] пкщгяут[slacktop] зашёл в конференцию
[01:08:38] ForNeVeR зашёл в конференцию
[01:08:38] ktt9 зашёл в конференцию
[01:08:38] O01eg зашёл в конференцию
[01:08:38] 0xd34df00d зашёл в конференцию
[01:08:38] любитель криппи языков зашёл в конференцию
[01:08:38] magog зашёл в конференцию
[01:08:38] DeadBot зашёл в конференцию

Тема: C/С++, Haskell, Ruby, Python, Perl, Lisp, Erlang, OCaml, JavaScript, Scala, Nemerle, F#.
Код выкладывать на http://dumpz.org
Вопросы задавать в чат, а не в личку.
Логи: http://tinyurl.com/ctcjr-logs
Упоминания о Flash, Java, .NET, PHP, Pascal/Delphi/Borland, 1С караются съеданием поциента.
Личкрафты: http://leechcraft.org и git://github.com/0xd34df00d/leechcraft.git
Horta Hell: https://github.com/ForNeVeR/horta-hell
Проблем решено: 0x13
Говорящих демонов: 0x1

Слава бинарным пингам!

[01:09:07] magog вышел из конференции
[01:09:56] rejjin зашёл в конференцию
[01:12:27] magog зашёл в конференцию
[01:16:51] Spo1ler вышел из конференции: Replaced by new connection
[01:16:52] Spo1ler зашёл в конференцию
[01:38:39] rejjin вышел из конференции
[02:05:44] Bit0reZ зашёл в конференцию
[02:47:46] magog вышел из конференции
[02:53:12] 0xd34df00d вышел из конференции
[02:53:35] 0xd34df00d зашёл в конференцию
[02:56:54] Spo1ler вышел из конференции: Компьютер вошёл в спящий режим
[03:10:00] moonhawk вышел из конференции
[05:25:32] generatorglukoff вышел из конференции
[05:26:52] generatorglukoff зашёл в конференцию
[06:41:20] rexim зашёл в конференцию
[06:48:59] PhoSor зашёл в конференцию
[06:58:26] rexim вышел из конференции
[07:01:54] Ryuuji зашёл в конференцию
[07:10:18] Славный капитан зашёл в конференцию
[07:14:21] rejjin зашёл в конференцию
[07:19:11] rejjin вышел из конференции
[08:00:56] generatorglukoff вышел из конференции: This participant is kicked from the room because he sent an error presence: remote-server-not-found
[08:09:20] generatorglukoff зашёл в конференцию
[08:24:27] magog зашёл в конференцию
[08:41:21] generatorglukoff вышел из конференции
[08:43:17] generatorglukoff зашёл в конференцию
[08:49:20] magog вышел из конференции
[08:59:10] <ForNeVeR> O01eg: врут.
[09:02:21] <Славный капитан> ForNeVeR: у тебя есть терабайт данных, которые нужно прожевать?
[09:02:33] <ForNeVeR> Славный капитан: а что, нужно?
[09:02:41] <ForNeVeR> Столько нету.
[09:02:44] <Славный капитан> дык
[09:02:45] <ForNeVeR> Но можно легко нагенерить
[09:02:51] <Славный капитан> иначе смысла ни разу
[09:03:04] <ForNeVeR> Например, электромагнитное поле небольшого объёма вакуума с планковской точностью.
[09:03:23] <Славный капитан> а практическое применение?
[09:03:43] <ForNeVeR> Зависит от положения этого объёма вакуума.
[09:04:09] <Славный капитан> но ябпопилил
[09:04:17] <ForNeVeR> Если, например, в магнитном зазоре между ротором и статором его рассчитать - это может дать какие-нибудь конструктивные идеи по изготовлению электродвигателей, например ащемта.
[09:04:29] Bit0reZ вышел из конференции
[09:04:29] <Славный капитан> хм
[09:04:31] <Славный капитан> и то верно
[09:04:52] <ForNeVeR> А можно понизить точность, и в терабайт впихнуть уже небольшое помещение.
[09:05:12] <ForNeVeR> А подобные расчёты имеют смысл в соответствии с СанПиН, например.
[09:05:29] PhoSor вышел из конференции
[09:05:29] <ForNeVeR> И можно драть деньги с работодателя за их проведение. Или непроведение.
[09:06:07] <ForNeVeR> Алгоритмы полевых расчётов, между прочим, нормально лягут на мапредьюсь.
[09:06:40] <ForNeVeR> Состояние каждой ячейки зависит только от состояния соседних ячеек.
[09:06:57] <ForNeVeR> В предыдущий момент времени, разумеется.
[09:07:15] Spo1ler зашёл в конференцию
[09:12:56] generatorglukoff вышел из конференции
[09:13:00] <Славный капитан> а можно марковку всего уеба построить
[09:13:23] <Славный капитан> или, допустим, всего арксива
[09:13:40] <Славный капитан> и троллить корчевателями
[09:14:47] generatorglukoff зашёл в конференцию
[09:15:27] O01eg вышел из конференции
[09:53:38] magog зашёл в конференцию
[09:56:36] Spo1ler вышел из конференции: Компьютер вошёл в спящий режим
[10:03:14] sss|zombie зашёл в конференцию
[10:17:35] Karmacoma зашёл в конференцию
[10:29:32] psiclient зашёл в конференцию
[10:30:46] <psiclient> Вопрос про php можно? =))
[10:31:03] <Славный капитан> можно
[10:31:07] <uıʃɐɟ∀> Можно, но только один раз. Пока кто-либо не забанит.
[10:31:14] * Славный капитан пододвинул поближе банхаммер.
[10:31:31] <uıʃɐɟ∀> – Эти ягоды есть можно?
– Можно… Только отравишься.
[10:33:12] <psiclient> http://dumpz.org/421445/ вложенный цикл не помещается в тег <li>, т.е все идет в один столбец.
[10:33:53] <Славный капитан> ну логично
[10:34:15] <Славный капитан> ты ж этот тег закрываешь до того, как у тебя цикл начинается
[10:34:22] zxc зашёл в конференцию
[10:35:11] <psiclient> Т.е нужно поместить цикл в оператор printf? Думаю что так не получится, он мне просто кусок кода выведет.
[10:36:28] <Славный капитан> ты идиот?
[10:36:59] <Славный капитан> сначала пишешь printf("<ul ...>,...);
[10:37:04] <Славный капитан> потом цикл
[10:37:19] <Славный капитан> потом printf("</ul>")
[10:37:43] <uıʃɐɟ∀> .z
[10:37:43] zxc выгнали из конференции: You underestimate uıʃɐɟ∀'s power!
[10:37:44] <DeadBot> uıʃɐɟ∀: ok
[10:52:12] PhoSor зашёл в конференцию
[10:56:07] swagman вышел из конференции: Я использую Miranda IM (http://miranda-im.org/.)
[11:05:19] <ForNeVeR> Посаны!
[11:06:16] <PhoSor> чо
[11:07:13] <ForNeVeR> Я придумал.
[11:07:38] <PhoSor> излагай
[11:07:50] <ForNeVeR> Вместо интерпретатора брейнфака нам нужен интерпретатор нетипизированного лямбда-исчисления!
[11:08:05] <ForNeVeR> Потому что это Ъ и заебись.
[11:08:29] v_oron зашёл в конференцию
[11:19:41] rexim зашёл в конференцию
[11:20:11] <rexim> ForNeVeR: мне нравится эта идея.
[11:20:24] <rexim> Интерпретатор брейнфака уже всех порядком подзаебал.
[11:29:23] PhoSor вышел из конференции
[11:31:26] swagman зашёл в конференцию
[11:45:52] <psiclient> Славный капитан, спасибо.
[12:03:47] <Karmacoma> psiclient: почему ты просто не построишь DOM ?
[12:04:37] <Karmacoma> а... это ... это пых, что ли? Разве его в России не запретили использовать?
[12:05:40] <uıʃɐɟ∀> В России не принято запрещать нездоровую хуиту. Её принято разводить и культивировать.
[12:06:39] <psiclient> Одуреваю, но потихоньку получается. =\
[12:06:56] <uıʃɐɟ∀> Так пользовался бы чем нормальным.
[12:07:02] <uıʃɐɟ∀> Зачем тебе похопэ?
[12:07:10] <psiclient> Например?
[12:07:10] <Karmacoma> psiclient: смотри, мозги вытекут - обратно не вольёшь
[12:07:37] <psiclient> Получить данные из бд должным образом.
[12:07:54] <uıʃɐɟ∀> Данные из бд везде можно получать.
[12:08:06] <psiclient> пытаюсь еще javascript туда прикрутить, вообще запутался =)
[12:08:36] <uıʃɐɟ∀> У нас, например, луа во все поля. Но некоторые личности предлагают переписать всю серверную часть вебоговен на жабоскрипт.
[12:09:17] <Karmacoma> они нод.жс предлагают?
[12:09:35] <uıʃɐɟ∀> Наверно.
[12:09:40] <Karmacoma> ужасно
[12:09:47] <uıʃɐɟ∀> Я плохо названия сортов говна запоминаю.
[12:10:34] <uıʃɐɟ∀> С другой стороны, никто этого делать не будет, томущо все биндинги перепиливать - охуеть можно.
[12:11:01] <uıʃɐɟ∀> И пользовательские скрипты и хуки сейчас на луа всё равно, и отпиливать их вряд ли можно.
[12:11:51] <Karmacoma> ТС-у, в рамках данной конфы, могу предложить JEE (J2EE) ... Java + JSP. Но можно запилить и сервис на плюсах. А веб морду разрешаю написать на чём угодно. Хотя я против веб-говна, в принципе
[12:12:34] <uıʃɐɟ∀> Фпизду эту вашу жабку.
[12:12:42] <uıʃɐɟ∀> Да и веб туда же целиком.
[12:12:53] <Karmacoma> Кстати, есть неплохой вариант. http://happstack.com/clck/view-page-slug/1/home
[12:13:48] <Karmacoma> Как я могу предлагать пёрлец? )))
[12:14:14] <rexim> Не стоит выкидывать веб. Иначе какой-нибудь придурок его переизобретет в более ужасной форме.
[12:14:33] <uıʃɐɟ∀> Так никто ж не предлагает его выкидывать.
[12:14:43] <rexim> Просто фпизду?
[12:14:43] <uıʃɐɟ∀> Просто засунуть поглубже, чтоб глаз не мозолил.
[12:17:53] <psiclient> Подскажите пожалуйста, мозг уже не варит http://codepad.org/rNlZWuPB. Результат http://visualbooster.com/share/20130131151702934.png
[12:18:22] <Karmacoma> psiclient: а ты топик вообще читал?
[12:18:33] <psiclient> Читал, прошу прощения =)
[12:18:40] <Karmacoma> я бы побоялся второй раз писать)
[12:18:52] <psiclient> Сил уже нет)
[12:19:10] <Karmacoma> есть специализированная конфа осиливших для этого
[12:19:43] <uıʃɐɟ∀> Мда, и названия полей транслитом… Помогите развидеть.
[12:20:34] <Karmacoma> http://happstack.com/clck/view-page-slug/9/happstack-lite-tutorial тут тоже сервер-сайд генерение странички, хм =/
[12:20:41] <psiclient> Ладно, пойду бродить по просторам))
[12:22:09] Славный капитан вышел из конференции
[12:22:22] <Karmacoma> кстати, а почему студенты подвязываются на всякую хуйню за смешные деньги, вместо того, чтобы пойти работать в "душегубку"?
[12:22:46] <ktt9> Что такое "душегубка"?
[12:23:20] <Karmacoma> ну это почти любая софтостроительная компания
[12:23:30] <Karmacoma> кроме Valve, наверное
[12:23:47] <ktt9> Потому что все хотят на полный день. А на неполный день предлагают писать магазин на пхп.
[12:23:58] <ktt9> То есть на 40 часов в неделю.
[12:24:04] <uıʃɐɟ∀> Щто.
[12:24:19] <uıʃɐɟ∀> На неполный рабочий день и нормальные конторы берут.
[12:24:25] <uıʃɐɟ∀> Пусть не все.
[12:24:35] <Karmacoma> "нормальные" из "душегубок" =)
[12:24:41] <Karmacoma> ну как макдональдс типа
[12:24:48] <Karmacoma> только для погромистов\
[12:25:12] <uıʃɐɟ∀> Вот у нас вроде бы есть отдельные студенты, которые походу неполный рабочий день работают.
[12:25:29] <Karmacoma> это же так здорово кодить в клетушке 0.6 х 1
[12:25:33] <uıʃɐɟ∀> В вирлабе таких вроде ещё больше.
[12:25:38] <uıʃɐɟ∀> Щто.
[12:25:47] <uıʃɐɟ∀> Что за клетушки? Ты про что?
[12:25:48] <Karmacoma> ну я такую видел
[12:25:50] <Karmacoma> реальне
[12:25:57] <Karmacoma> была такая конторка МВ
[12:26:08] <Karmacoma> орацл + непотребщина
[12:26:14] <uıʃɐɟ∀> У меня стол больше…
[12:26:26] <ktt9> Есть конечно, но надо поискать. И еще чтобы находилось не в соседнем городе ._.
[12:26:44] <uıʃɐɟ∀> Подумаешь, в соседнем городе.
[12:26:56] * uıʃɐɟ∀ учился и работал в соседнем городе.
[12:41:08] PhoSor зашёл в конференцию
[12:48:03] <ForNeVeR> Karmacoma: алсо, я юзал happstack.
[12:48:10] <ForNeVeR> Получается весьма краткий код.
[12:58:51] sss|zombie вышел из конференции
[13:01:01] Славный капитан зашёл в конференцию
[13:11:19] Graf зашёл в конференцию
[13:11:26] Graf вышел из конференции
[13:19:23] Ryuuji вышел из конференции
[13:27:14] psiclient вышел из конференции
[13:43:17] rexim вышел из конференции
[13:49:17] <Karmacoma> это хорошо, я ж не спорю.
[13:49:50] <Karmacoma> http://pastebin.com/BJyPiBv4 интересная упорота
[13:51:35] rexim зашёл в конференцию
[14:19:25] rejjin зашёл в конференцию
[14:34:42] O01eg зашёл в конференцию
[14:45:52] rejjin вышел из конференции: Replaced by new connection
[14:45:54] rejjin зашёл в конференцию
[14:45:56] rejjin вышел из конференции
[14:46:02] rejjin зашёл в конференцию
[14:47:39] rejjin вышел из конференции: Replaced by new connection
[14:47:41] rejjin зашёл в конференцию
[14:50:20] rejjin вышел из конференции: Replaced by new connection
[14:50:22] rejjin зашёл в конференцию
[14:55:02] Сволота вышел из конференции: Replaced by new connection
[14:55:04] Сволота зашёл в конференцию
[14:57:01] generatorglukoff вышел из конференции
[15:16:16] Славный капитан вышел из конференции
[15:19:07] moonhawk зашёл в конференцию
[15:21:29] rejjin вышел из конференции: Replaced by new connection
[15:21:31] rejjin зашёл в конференцию
[15:28:32] sss|zombie зашёл в конференцию
[15:38:15] SolarRay зашёл в конференцию
[15:46:58] SolarRay вышел из конференции: Replaced by new connection
[15:47:00] SolarRay зашёл в конференцию
[15:48:50] <rexim> \asd
[15:49:00] <rexim> scala> TopLevel.eval(raw"((\x.(\y.(x y))) (\z.z))")
res1: String = (\y.((\z.z) y))
[15:49:04] <rexim> Хм...
[15:49:15] <rexim> ForNeVeR: А как ты собирался выводить текст на нетипизированном лямбда-счислении? Представлять коды символов числами Чёрча?
[16:02:16] rejjin вышел из конференции: Replaced by new connection
[16:02:18] rejjin зашёл в конференцию
[16:03:01] rejjin вышел из конференции: Replaced by new connection
[16:08:31] generatorglukoff зашёл в конференцию
[16:24:01] <O01eg> Что такое log(C)-way independent?
[16:41:05] rejjin зашёл в конференцию
[16:48:06] <magog> тимота
[16:48:19] <magog> есть у кого-то пример работы с IO::Poll на perl?
[16:50:13] rejjin вышел из конференции: Replaced by new connection
[16:50:14] rejjin зашёл в конференцию
[17:01:53] rexim вышел из конференции
[17:20:57] zxc зашёл в конференцию
[17:21:03] <uıʃɐɟ∀> .z
[17:21:03] zxc выгнали из конференции: You underestimate uıʃɐɟ∀'s power!
[17:21:04] <DeadBot> uıʃɐɟ∀: ok
[17:35:58] Сволота вышел из конференции
[17:40:26] Сволота зашёл в конференцию
[17:49:23] <ForNeVeR> rexim: а ты что, уже запилил интерпретатор?
[17:49:32] <ForNeVeR> Я думал набор функций сделать.
[17:49:54] <ForNeVeR> Или же выводить результат обработки цепочки вызовов.
[17:51:30] любитель криппи языков вышел из конференции
[18:10:30] Сволота вышел из конференции
[18:10:47] v_oron вышел из конференции
[18:13:27] SolarRay вышел из конференции
[18:16:16] sss|zombie вышел из конференции
[18:30:56] ktt9 вышел из конференции: Этого участника выгнали из комнаты за то, что он послал присутствие с ошибкой: remote-server-not-found
[18:46:20] swagman вышел из конференции: Я использую Miranda IM (http://miranda-im.org/.)
[18:51:05] rexim зашёл в конференцию
[18:52:21] <rexim> ForNeVeR: да, я немного набросал интерпретатор. Но, скорее всего, он работает неправильно, так как я не разбираюсь в этих лямбда-исчислениях.
[18:52:36] <ForNeVeR> Ты так говоришь, как будто я разбираюсь.
[18:52:39] <ForNeVeR> Я просто читаю TaPL.
[18:52:43] <ForNeVeR> И что там вижу - про то и пою.
[18:54:01] <Karmacoma> лямбда родила лямбду, а та лямбда родила другую лямбду ... аргументы? Кому нужны эти аргументы?
[18:54:05] <ForNeVeR> Однако, если дополнить это лямбда-счисление полезными функциями (т.е. теми, которые действительно что-то делают) - очень быстро получится лиспец.
[18:54:29] <O01eg> значит надо из не добавлять
[18:54:32] <O01eg> *их
[18:54:35] <rexim> Вот, что я набросал. http://ideone.com/C6pImg
[18:54:42] <ForNeVeR> O01eg: почому же?
[18:54:55] <O01eg> чтобы лиспец не получался
[18:55:07] <ForNeVeR> rexim: ты теперь в каждый проект будешь совать эти RegexParser'ы?
[18:55:15] <rexim> :3
[18:55:33] <ForNeVeR> case _ ~ Var(varname) ~ _ ~ body ~ _ => Fun(varname, body)
[18:55:36] <ForNeVeR> ~ _ ~
[18:55:43] <ForNeVeR> ~ ___ ~
[18:55:52] <O01eg> rexim: а какая у тебя редукция?
[18:55:55] <ForNeVeR> Я вижу форневер-фейс в этом коде!
[18:55:57] <rexim> ~ body ~
[18:56:21] <ForNeVeR> ~~~ (- ___ -) ~~~
[18:56:24] <rexim> O01eg: эм...
[18:56:26] <rexim> Я хз.
[18:56:38] <rexim> Вроде, это называется нормальный порядок вычисления или что-то типа того.ю
[18:57:22] <rexim> Я делал по вот этому: http://newstar.rinet.ru/~goga/tapl/tapl007.html
[18:58:40] <ForNeVeR> rexim: ты тоже читаешь tapl?
[18:58:49] * ForNeVeR только начал читать эту главу.
[18:58:54] <rexim> Это tapl?
[18:59:01] * rexim нагуглил это.
[18:59:10] <ForNeVeR> /tapl/tapl007.html
[18:59:11] <rexim> Круто!
[18:59:16] <ForNeVeR> tapl, tapl.
[19:02:44] magog вышел из конференции
[19:03:57] ktt9 зашёл в конференцию
[19:13:26] <rexim> На сколько я понял, на лямбдях можно сделать список. Пусть строка - список чисел Чёрча. Каждое число - ascii-код символа. Терм, отправляемый в интерпретатор, обязан вычисляться в строку. Эта строка будет выведена интепретатором.
[19:13:32] <rexim> Получается чисто и без побочных эффектов.
[19:16:44] <ForNeVeR> Числа это уже не чистое лямбда-счисление.
[19:16:52] <ForNeVeR> В TaPL используют \NB.
[19:17:07] <ForNeVeR> То есть Lambda with Numbers and Booleans.
[19:17:29] ktt9 вышел из конференции: Отключён
[19:17:32] <ForNeVeR> А чего бы не хуйнуть сразу Lambda with Strings?
[19:17:34] ktt9 зашёл в конференцию
[19:17:43] <ForNeVeR> Или, чем чёрт не шутит, with Strings and Regexes?
[19:17:52] <O01eg> Не Ъ
[19:17:59] <rexim> Как-то все сразу проще брейнфака получается.
[19:18:16] <ForNeVeR> Нам нужен не брейнфак, а что-то применимое.
[19:18:21] <ForNeVeR> И при этом забавное.
[19:18:32] <rexim> Почему числа - не чистое лямбда-счисление? Я же говорю не про простые числа.
[19:18:38] <rexim> А Числа Черча.
[19:18:49] <O01eg> используй LLVM для оптимизации и компиляции
[19:19:16] <ForNeVeR> O01eg: у нас чистая жаба, с максимальным избежанием нечистых зависимостей.
[19:19:36] <ForNeVeR> Есть поцкет с llvm для всех платформ в мавене?
[19:20:02] <O01eg> кстати, а почему считается, что строгая типизация неполна по Тьюрингу?
[19:20:25] <ForNeVeR> А кто так считает?
[19:20:34] <ForNeVeR> Я не вижу, гм, оснований для такого заявления.
[19:22:43] <O01eg> Считается, что с ней нельзя реализовать арифметику
[19:23:10] <Karmacoma> как бы я тогда писал брейнфак на плюсах?
[19:23:14] <Karmacoma> хм
[19:23:22] <O01eg> не помню, всякие динамикоблядки
[19:23:30] <Karmacoma> который полон по Тьюрингу
[19:24:09] <O01eg> плюсы недостаточно строги
[19:24:56] <ForNeVeR> То есть достаточно строг только язык, на котором нельзя написать брейнфак?
[19:25:02] moonhawk вышел из конференции
[19:25:11] <ForNeVeR> Тогда я согласен, что "достаточно строгий" язык не полон по Тьюрингу.
[19:25:21] <Karmacoma> назовём его суровым
[19:25:32] <ForNeVeR> O01eg: возможно, речь про типизацию, программы на которой гарантированно терминируются за конечное время?
[19:25:59] <ForNeVeR> Я полагаю, на таком языке не получилось бы написать брейнфак. И эмулировать бесконечную ленту Тьюринга тоже, кажется.
[19:26:32] <O01eg> А такая возможна?
[19:26:50] <ForNeVeR> Что из перечисленного ты имеешь в виду?
[19:27:36] <ForNeVeR> "бесконечную" ленту можно эмулировать как-нибудь. Ну или, на худой конец, ограничить технически памятью машины.
[19:27:44] <O01eg> типизация
[19:27:58] <ForNeVeR> Да вроде как есть такие, и не одна.
[19:28:12] <ForNeVeR> Они удобнее для применения каких-то там формальных методик и доказательств.
[19:28:33] <ForNeVeR> К сожалению, примеры не могу привести. Как мне кажется, они слабо применимы в реальном мире.
[19:35:32] <Karmacoma> я бы не советовал сильно якшаться с динамоблядками ... от них попахивает безумием
[19:36:42] <ktt9> Karmacoma, а какие языки статически типизированы?
[19:37:01] <ktt9> Кроме семейства С.
[19:37:41] <Karmacoma> что-то похожее нашёл http://thesz.livejournal.com/11693.html?thread=9505453#t9505453
Тьюринг-полноты лямбда-исчисление лишает строгая типизация с простыми типами, без переменных типов. Если ввести переменные типов, то Тьюринг полнота возвращается и снова пропадает, если мы добираемся до зависимых типов (здесь опять система типов с Тьюринг-полными вычислениями становится противоречивой).
[19:39:21] swagman зашёл в конференцию
[19:43:15] <ForNeVeR> Эх, а раньше всё казалось таким простым...
[19:43:23] <Karmacoma> ktt9: ну в википукии же есть http://en.wikipedia.org/wiki/Type_system#Static_typing ... кстати, статическая и строгая - разные вещи (я сам путаю)
[19:43:38] <ForNeVeR> ktt9: да все практически, что упомянуто в топике.
[19:43:47] <ktt9> Паскаль, точно.
[19:44:02] <O01eg> да, вроде это я читал
[19:44:12] <ForNeVeR> Почти вся функциональщина, например.
[19:44:17] <Karmacoma> в общем, если в языке нет кастов и типы заранее известны, то кое-ка можно язык назвать строгим
[19:44:48] <ktt9> Так. Статическая - это когда тип переменной не изменяется, а строгая - это когда нет неявных приведений.
[19:44:52] <ForNeVeR> Любые виды ML'ей, Scala.
[19:44:55] <ktt9> Ага.
[19:45:04] <ForNeVeR> ktt9: по-моему, ты прав.
[19:45:20] <ForNeVeR> Но определения могут быть более точными.
[19:45:23] <O01eg> тогда в чём проблема с Тьюринг-полнотой?
[19:45:46] <ForNeVeR> В результате пчти никакой современный язык нельзя толком отнести к категории статических или динамических типов.
[19:46:03] <ForNeVeR> И даже строгостью в большинстве случаев жертвуют каким-нибудь способом.
[19:46:34] <Karmacoma> всё-таки строгая типизация - сферический конь
[19:46:47] <ktt9> А она нужна зачем-то?
[19:47:07] <O01eg> для вылавливания ошибок
[19:47:35] <O01eg> даже проверку выхода за границы массива можно реализовать типизацией
[19:48:01] <ktt9> Каким же образом?
[19:49:00] <O01eg> не помню, но статью про это видел
[19:50:29] <Karmacoma> хм, оказывается SQL со стандарта 1999 года считается Тьюринг - полным
[19:50:39] <ktt9> А это.
[19:52:04] <ktt9> Хм. Вычислимая функция - это какая?
[19:52:12] <ktt9> На википедии сепульки.
[19:52:49] <ForNeVeR> O01eg: зависимые типы это позволяют.
[19:53:26] <ForNeVeR> Примеров я пока не видел, но неоднократно встречал упоминание именно этого кейса.
[19:58:31] <O01eg> Что такое log(C)-way independent mapping?
[20:00:22] rejjin вышел из конференции: Replaced by new connection
[20:00:24] rejjin зашёл в конференцию
[20:01:06] <ktt9> Ага, я все понял.
[20:06:41] magog зашёл в конференцию
[20:07:33] OKTAVIUS вышел из конференции: Replaced by new connection
[20:07:34] OKTAVIUS зашёл в конференцию
[20:09:48] PhoSor вышел из конференции
[20:14:21] yesyes зашёл в конференцию
[20:19:58] rejjin вышел из конференции
[20:20:29] rejjin зашёл в конференцию
[20:20:57] rejjin вышел из конференции: Replaced by new connection
[20:39:37] sss|zombie зашёл в конференцию
[20:59:40] PhoSor зашёл в конференцию
[21:05:08] rexim вышел из конференции
[21:17:48] rejjin зашёл в конференцию
[21:19:12] rejjin вышел из конференции
[21:19:17] rejjin зашёл в конференцию
[21:21:13] Green Tea зашёл в конференцию
[21:21:19] Green Tea вышел из конференции
[21:42:27] uruk-hai зашёл в конференцию
[22:04:21] PhoSor вышел из конференции
[22:05:40] rejjin вышел из конференции
[22:06:11] rejjin зашёл в конференцию
[22:15:03] rejjin вышел из конференции: Replaced by new connection
[22:15:05] rejjin зашёл в конференцию
[22:42:51] <ktt9> Интересно, какая причина удержала от того, чтобы разрешить больше хороших и разных символов в именах сишных функций.
[22:43:04] <ktt9> Мне лично не хватает вопросительного знака.
[22:46:01] Сволота зашёл в конференцию
[22:46:30] <Karmacoma> есть тернарный оператор
[22:46:49] <Karmacoma> придётся доп. действия производить, чтобы распарсить
[22:48:57] <ktt9> Ну, тогда чтобы начиналось обязательно с буквы.
[22:49:05] <Karmacoma> нет, ты конечно можешь заюзать штудию, которая позволяет юникод
[22:49:05] <ktt9> А дальше что угодно, кроме пробела.
[22:49:16] <Karmacoma> и выбрать один из знаков вопроса
[22:49:27] <Karmacoma> или один из дохрена пробельных символов
[22:49:37] <ktt9> : \
[22:49:47] <ktt9> У меня студия не пойдет.
[22:49:56] <Karmacoma> и не надо
[22:50:01] <ktt9> Видеокарта слабовата.
[22:50:04] <ktt9> Наверное.
[22:50:18] <uıʃɐɟ∀> Зачем тебе посторонние символы в символах?
[22:50:30] <ktt9> Мне было бы приятно.
[22:50:41] <ktt9> Нижнее подчеркивание можно, а остальное - нет.
[22:50:50] <uıʃɐɟ∀> Не нужно томущо.
[22:51:00] <uıʃɐɟ∀> А есть ещё диграфы и триграфы.
[22:51:09] <Karmacoma> есть гнутый вариант...там разришают б-гомерзкий $
[22:51:16] <Karmacoma> разрешают*
[22:51:26] <ktt9> bool isValid?(struct whatever *);
[22:51:37] <Karmacoma> ты рубист дохуя?
[22:51:49] <ktt9> Неа.
[22:53:01] <ktt9> Диграфы и триграфы это круто.
[22:53:04] <ktt9> Я о них не знал.
[22:53:23] <uıʃɐɟ∀> Ололо.
[22:53:43] <uıʃɐɟ∀> А я о них узнал, когда в строковом литерале у меня что-то наебнулось.
[22:53:54] <uıʃɐɟ∀> И я увидел не то, что ожидал.
[22:54:01] <ktt9> Вот ты удивился, наверное.
[22:54:22] <uıʃɐɟ∀> Сначала не мог понять, что за нахуй.
[22:57:23] <ktt9> >в мануале к одной из старых версий gcc об опции -trigraphs сказано "You don't want to know about this brain-damage"
[23:23:05] uruk-hai вышел из конференции
[23:31:11] любитель криппи языков зашёл в конференцию
[23:31:27] generatorglukoff вышел из конференции
[23:41:50] rejjin вышел из конференции
[23:45:00] rejjin зашёл в конференцию
[23:45:12] generatorglukoff зашёл в конференцию
[23:46:40] Karmacoma вышел из конференции