Вариант для распечатки		Пред. тема | След. тема
Форум Разговоры, обсуждение новостей
Режим отображения отдельной подветви беседы		[ Отслеживать ]

Увидел свет язык программирования Julia 1.0, opennews (?), 09-Авг-18, (0) [смотреть все] Назвал null missing ом 8212 все проблемы моментально исчезли , snyan (?), 20:44 , 09-Авг-18, (1) +2 // в функциональном мире это слово запрещено произносить вслух, Аноним (3), 20:49 , 09-Авг-18, (3) Нет, это далеко не null и даже питоновский None или плюсовой std optional Тут , topin89 (?), 21:28 , 09-Авг-18, (8) +1 // А самое главное, как будет реагировать на if missing , Аноним (12), 22:15 , 09-Авг-18, (12) +1 // Вот так - if missing- missing, Аноним (28), 02:48 , 10-Авг-18, (28) +3 В SQL по крайней мере, постгрес NULL себя точно так же ведёт, Имя (?), 22:17 , 09-Авг-18, (13) +9 Типичный null Непонятен смысл обзывания по другомц , Аноним (27), 01:30 , 10-Авг-18, (27) +5 Это же обычный NaN, Аноним (30), 04:16 , 10-Авг-18, (30) –2 // Нет missingfalse, Аноним (31), 07:05 , 10-Авг-18, (31) +1 Здесь акцент на то, что данные бывают разряженными То есть, если их нет, то нет, Аноним (38), 08:14 , 10-Авг-18, (38) Значит это просто пустой массив, как в матлабе и тест isempty , Аноним (30), 09:15 , 10-Авг-18, (48) https julialang org blog 2018 06 missing, Аноним (38), 09:26 , 10-Авг-18, (52) Нет не число это не число, а null - это ОТСУТСВИЕ ЧЕГО БЫ ТО НИБЫЛО, Аноним (81), 10:35 , 10-Авг-18, (81) +1 Давай ты мне накачаешь воздушный шарик вакуумом Не получилось А вот набить табл, Аноним (31), 11:05 , 10-Авг-18, (91) +2 Да без проблем 9000 шариков, из которых откачан воздух Какой газ содержится в , Аноним (111), 13:56 , 10-Авг-18, (111) +2 В точности SQL-ный NULL, судя по приведённым примерам, nobody (??), 09:16 , 10-Авг-18, (50) +3 Так это и есть null, Аноним (81), 10:34 , 10-Авг-18, (79) Выглядит крипово Как шелл после патча Бармина что ни выполняй, результат один , ползкрокодил (?), 10:49 , 10-Авг-18, (85) +1 Наконец-то правильная реализация null, Аноним (145), 23:49 , 10-Авг-18, (145) Динамическая типизация язык для накидать чего-нибудь по-быстрому на коленке , Аноним (4), 21:00 , 09-Авг-18, (4) +5 // typescript вроде годная штука, чего ты , ms (??), 21:08 , 09-Авг-18, (6) –5 // Она годная именно тем, что строго статически типизирована, как и вторая версия д, Аноним (4), 21:14 , 09-Авг-18, (7) +7 // Корявая она там Даже в строгом режиме можно суметь выстрелить себе в ногу , Аноним (18), 23:00 , 09-Авг-18, (18) +2 Примеры есть К тому же, за последние пару лет Julia сильно поменялась Даже в р, Аноним (38), 23:03 , 09-Авг-18, (19) Язык программирования это не меню в столовой Часто менять язык вредно , Аноним (31), 07:08 , 10-Авг-18, (32) Ей 6 лет от роду И первый стабильный релиз с зафиксированным API , Аноним (38), 08:16 , 10-Авг-18, (39) Еще одна причина держаться от языка подальше , Аноним (31), 09:30 , 10-Авг-18, (53) В отношении Julia утверждение неверное К ней слишком ответственно отнеслись за , Аноним (38), 09:44 , 10-Авг-18, (60) +1 Перевожу на понятный язык положили болт Неуловимый Джо, не имеющий конкурентов в, Аноним (31), 10:15 , 10-Авг-18, (72) –5 В ЖЖ можно поискать про R И там найти многое про не имеющего конкурентов А т, Аноним (156), 16:52 , 11-Авг-18, (156) Что за бред ты несешь ЯП это просто инструмент Есть конечно любимые, но выбор , Вадик (??), 09:38 , 10-Авг-18, (56) Представьте что дрели делали как языки программирования Сегодня ваша дрель сверл, Аноним (31), 10:06 , 10-Авг-18, (70) Пока языком пользуется полтора анонимуса, то это вполне нормальная практика есл, Аноним (138), 17:44 , 10-Авг-18, (138) Я TS имел в виду , Аноним (44), 08:48 , 10-Авг-18, (44) Проблема с TypeScript и Dart в том, что всё-равно приходится взаимодействовать с, Аноним (41), 08:41 , 10-Авг-18, (41) +2 Это не проблема Проблема это написание велосипедов по любому поводу Где баг на, Аноним (31), 10:03 , 10-Авг-18, (69) Допустимы оба варианта Чаще всего явные типы нужны для аргументов функций, их в, topin89 (?), 21:36 , 09-Авг-18, (9) +1 Для фанатов БДСМ давно хаскель придумали , Аноним (10), 21:41 , 09-Авг-18, (10) –1 // Julia очень простой язык Её модель гораздо прозрачнее питона , Аноним (38), 23:05 , 09-Авг-18, (21) // Обожаю когда беспомощность языка оправдывают простотой , Аноним (31), 07:09 , 10-Авг-18, (33) –2 Все люди разные Кто-то высокий, кто-то карлик Кто-то умный, кто-то не очень Со, Аноним (31), 09:47 , 10-Авг-18, (62) Итнересно, что уважаемый Эксперт Опеннета понимает под беспомощностью и прост, др. Аноним (?), 13:54 , 10-Авг-18, (110) А так же php, где нынче type hints стали хорошим тоном, Crazy Alex (ok), 22:09 , 09-Авг-18, (11) // Много вы в продакшене видели хорошего кода Пока язык не заставляет ставить типы , Аноним (31), 07:11 , 10-Авг-18, (34) –1 А в PHP есть generic-типы , Аноним (55), 09:37 , 10-Авг-18, (55) +1 У Julia есть явная декларация типа Можно полностью динамически использовать, мо, Аноним (38), 22:21 , 09-Авг-18, (14) +2 Язык для технических вычислений - это и есть язык для накидать чего-нибудь по-б, Аноним (111), 23:18 , 09-Авг-18, (24) +2 // Вы ракеты Союз проектируете , Аноним (31), 10:17 , 10-Авг-18, (73) // Нет, боинги Это имеет какое-то отношение к теме , Аноним (111), 11:09 , 10-Авг-18, (92) Это труселя такие , _ (??), 03:16 , 11-Авг-18, (152) –2 Динамическая типизация возможность строить ветвление в зависимости от типа при, freehck (ok), 03:30 , 10-Авг-18, (29) –2 // Эпический бред Обработку того же JSON-а поддерживают как статические так и дина, Аноним (31), 07:24 , 10-Авг-18, (35) –4 // Наверное потому, что в вопросе парсинга JSON-а типизация непричём Зато очень к , freehck (ok), 09:00 , 10-Авг-18, (45) 2018 год, это когда в качестве примеров статически типизированных языков приводя, Аноним (90), 11:02 , 10-Авг-18, (90) +3 В больших проектах не от этого сплошной геморрой, а от того, что большие проекты, dq0s4y71 (ok), 12:53 , 10-Авг-18, (98) +2 // Соглашусь, лишь с тем замечанием, что есть как работать с проблемой предоставля, GreyFox (ok), 14:05 , 10-Авг-18, (113) // Race condition нужно ещё постараться сделать при использовании STM, ошибки логик, 0xd34df00d (??), 04:50 , 12-Авг-18, (161) Не справедливое замечание Python давно обзавелся аннотированием типов, ровно та, GreyFox (ok), 13:53 , 10-Авг-18, (109) Я тоже так думал, но существование Clojure и Erlang просто ставит в тупик с тако, Аноним (145), 23:54 , 10-Авг-18, (146) Сегодня вроде не первое апреля, но только вчера 0 6 ветка была стабильной, как с, forsimen (ok), 21:01 , 09-Авг-18, (5) // Ну конференция же сейчас проходит 0 7 была доступна уже как минимум месяц, Аноним (38), 22:22 , 09-Авг-18, (15) // Смузи поят , Аноним (31), 07:26 , 10-Авг-18, (36) // К сожалению, нет возможности проверить лично http juliacon org 2018 all_talks , Аноним (38), 08:41 , 10-Авг-18, (42) Ну я в курсе про конференцию, если внимательно следить за материалами, то ничего, forsimen (ok), 10:20 , 10-Авг-18, (74) // 0 7 давно была заявлена как отличающаяся от 1 0 только поддержкой deprecated API, Аноним (38), 10:34 , 10-Авг-18, (80) +1 Спасибо за ответ Тоже посижу пока на 0 6 , forsimen (ok), 10:45 , 10-Авг-18, (82) –1 Пожалуй, самый ожидаемый язык для машинного обучения Сейчас, после стабилизации, Аноним (38), 22:24 , 09-Авг-18, (16) // А зачем для МО какой-то особый язык В том то и соль, что там меньше времени ухо, Аноним (20), 23:03 , 09-Авг-18, (20) // Сейчас в MO чаще всего используют несколько языков Суть Julia - пишешь на ней и, Аноним (38), 23:12 , 09-Авг-18, (23) // Из которых 99 - питон Никто переписывать tensirflow kerras pytorch и тд на хули, Аноним (31), 09:57 , 10-Авг-18, (67) Если проводить опрос среди питонистов - да А так - R и C, на котором все библио, Аноним (38), 10:22 , 10-Авг-18, (75) Отсутствие CUDA в списке говорит, что пациент вообще не в теме Закопайте ЭТО обр, Аноним (31), 10:48 , 10-Авг-18, (83) –1 Уважаемый аноним 31 с 1-го курса, не знающий, что такое алгоритм и программи, Аноним (38), 11:02 , 10-Авг-18, (89) Лучшая шутка трэда А в реальность нет ни одного высокопроизводительных серв, _ (??), 02:19 , 11-Авг-18, (151) +1 а мужики то и не в курсе, ALex_hha (ok), 11:30 , 11-Авг-18, (153) Т е так бы сделали вы, задавшись вопросом о положении дел в отрасли R используе, myhand (ok), 12:59 , 10-Авг-18, (99) +3 Вот не лень ли рассуждать о проблемах, которые Вы не знаете Хотя бы взглянули б, Аноним (106), 13:13 , 10-Авг-18, (106) +1 Вьюнош, Вы серьезно Вы бы хоть в ихний ридми с требованиями к зависимостям загля, myhand (ok), 15:07 , 10-Авг-18, (116) АбсолютноЕсли они не будут его дёргать, то обеспечить совместимость с унаследова, Аноним (106), 15:12 , 10-Авг-18, (118) –1 Ну, значит вы настолько глупы как кажетесь Это просто прекрасно Вот у нас пре, myhand (ok), 15:36 , 10-Авг-18, (121) –5 Хотелось бы услышать мнение по поводу обсуждений тестов Вот хдесь есть коротень, Аноним (156), 20:54 , 11-Авг-18, (158) Это как играть в шахматы с голубем К тому же, данный гражданин вроде уже улет, myhand (ok), 21:14 , 11-Авг-18, (159) Какая-то прямо новая религия начала по всем распространяться Верую в бенчмарки , Аноним (156), 21:33 , 11-Авг-18, (160) Повбывав бы , Аноним (17), 22:40 , 09-Авг-18, (17) +9 матлаб непригоден для какого-либо использования , Аноним (22), 23:08 , 09-Авг-18, (22) –2 // Ну не скажи Если надобно быстро проверить работоспособность сложного алгоритма,, Retrosharer (?), 23:27 , 09-Авг-18, (25) +1 // Быстро и matlab - не часто эти два слова встретишь в таком контексте Однопо, forsimen (ok), 10:23 , 10-Авг-18, (76) –1 // 1 во-первых gnu octave is blazing fast, так как не интерпретатор 2 во-вторых с , Аноним (22), 12:05 , 10-Авг-18, (96) –1 Не надо путать 171 быстро разработал 187 и 171 быстро выполнил 187 Вот у, Аноним (111), 13:08 , 10-Авг-18, (103) +1 такое впечатление что каждый новичок пытается отхватить кусок пирога и штампует , анон (?), 23:38 , 09-Авг-18, (26) // Julia создана под вполне конкретную нишу - математика В этой нише из opensource, Аноним (38), 09:14 , 10-Авг-18, (47) +1 // Octave это не отдельный язык, это свободный клон матлаба , Аноним (30), 09:16 , 10-Авг-18, (49) +1 // Это не клон, а попытка реализовать матлаб Но она провалилась А вот в Julia проб, Аноним (38), 09:24 , 10-Авг-18, (51) Надежная Хулия - надежна Неуловимы Джо - неуловим Не смешите мой копчик , Аноним (31), 10:52 , 10-Авг-18, (86) –4 R уже давно создан, велосипеды и троллейбусы из буханок не нужны , Аноним (31), 09:53 , 10-Авг-18, (66) // ничего, что у R скорость на пару порядков ниже , Аноним (38), 09:58 , 10-Авг-18, (68) Маня пытаются блеснуть словцом порядок в качестве числительноно , Аноним (31), 10:09 , 10-Авг-18, (71) –2 тесты посмотрите Может быть, местами, ошибся Не пару, а тройку порядков https , Аноним (38), 10:25 , 10-Авг-18, (77) Последний тестPython 2 2921 37 4429 224 4362Julia 2 769 44 333 345 069Закапыва, Аноним (31), 11:20 , 10-Авг-18, (94) Такое сравнение надо в помойку отправить Problem 3 - перемножение матриц Julia, Аноним (-), 12:46 , 10-Авг-18, (97) +1 Scilab забыли А мне его синтакис показался удобнее, чем у матлаба Правда его т, Аноним (101), 13:04 , 10-Авг-18, (101) Численные методы Это, мягко говоря, не вся математика, даже близко В этой нише, myhand (ok), 13:10 , 10-Авг-18, (105) // Ну так выйдите из 3-х летнего возраста, выделите объективные критерии и сравните, Аноним (106), 13:40 , 10-Авг-18, (108) Вам пальцем показали на конкретные проекты, существование которых вы просто прои, myhand (ok), 15:04 , 10-Авг-18, (115) +1 Вот когда научитесь аргументы приводить в виде конкретных критериев и циферок, а, Аноним (106), 15:16 , 10-Авг-18, (119) Что-то не увидел у вас никаких циферок Полагал, что учусь у лучшего Таки нет, myhand (ok), 15:39 , 10-Авг-18, (122) +1 Насколько мне известно, смысл динамической типизации в том, что переменная имеет, Blind Vic (ok), 08:03 , 10-Авг-18, (37) +1 // Смысл динамической типизации в том, что переменная вообще не имеет типа Тип ест, Аноним (38), 08:22 , 10-Авг-18, (40) +1 // значения переменной Откуда вы такое взяли Можно источник Потому что не вижу см, Blind Vic (ok), 08:46 , 10-Авг-18, (43)   // Обычно так и есть В противном случае будут проблемы с выделением памяти под зна, Аноним (38), 09:00 , 10-Авг-18, (46) +1   И какой размер в памяти занимает переменная, если она не ссылка и хранит любой о, nobody (??), 09:31 , 10-Авг-18, (54)   Вы с кем разговариваете кому отвечаете , Blind Vic (ok), 09:41 , 10-Авг-18, (58)   Вам По ветке не очевидно , nobody (??), 09:42 , 10-Авг-18, (59)   Просто вы сказали то же самое, что и я Это был мой ответ на Я имел в виду, что п, Blind Vic (ok), 09:46 , 10-Авг-18, (61)   Я, в свою очередь, отвечал на Вашу реплику По вашей логике у всех переменных в, nobody (??), 09:51 , 10-Авг-18, (64)   Если переменная имеет тип, конторый не определён в пространстве языка программир, Аноним (38), 09:53 , 10-Авг-18, (65)   Не знаю, где это взял аноним, но у меня такие сведения отсюда https books goo, forsimen (ok), 10:29 , 10-Авг-18, (78)   Я считаю, что это для более легкого понимания так написали https en wikipedia , Blind Vic (ok), 10:49 , 10-Авг-18, (84) –1   Ну мы же про динамическую типизацию , forsimen (ok), 11:01 , 10-Авг-18, (88)   Сильно зависит от того, что понималось под variable в том контексте Да, Вы пра, freehck (ok), 13:10 , 11-Авг-18, (155)   Рад , что в этом мы согласны И жаль, что столько сообщений ушло в другом направ, Blind Vic (ok), 08:39 , 12-Авг-18, (163)   Ну там много чего наложилось Опечатки вон те же Но суть-то, конечно, была прави, freehck (ok), 12:57 , 12-Авг-18, (164)   Интересно Особенно интересно узнать мотивацию такого, если такое есть , Blind Vic (ok), 19:37 , 12-Авг-18, (166)   https docs julialang org en stable , Blind Vic (ok), 08:31 , 12-Авг-18, (162) Кажется, я опечатался Надо было Либо, Blind Vic (ok), 10:57 , 10-Авг-18, (87) // Суть не в опечатке Суть в том, что в выбранных Вами терминах легко заблудиться , freehck (ok), 13:01 , 10-Авг-18, (100) // Что значит тип связывания , Blind Vic (ok), 13:04 , 10-Авг-18, (102) Ну смотри, свзявывание -- это соответствие между именем и тем, что имя обозначае, freehck (ok), 12:54 , 11-Авг-18, (154) +1 Вы путаете динамическую типизацию и вывод типов Вывод типов статическая типиз, Аноним (145), 00:15 , 11-Авг-18, (147) // Я думаю, что и Вы тоже путаете вывод типов и необходимость указывать тип Строго , freehck (ok), 13:11 , 12-Авг-18, (165) Лучше бы он не видел свет , Аноним (63), 09:50 , 10-Авг-18, (63) –3 О боги Зачем это в язык-то , yet another anonymous (?), 13:09 , 10-Авг-18, (104) +1 // А это all batteries included , как в питон Бег по граблям, надцатая версия , myhand (ok), 13:19 , 10-Авг-18, (107) +1 rubygem или Module Dependency in Java 9 не смущают Именно здесь пакетный менедж, Аноним (106), 13:58 , 10-Авг-18, (112) +1 // Не смущают, а вызывают тот же вопрос к языку это зачем пристёгивать , yet another anonymous (?), 15:45 , 13-Авг-18, (168) // позволяет избежать анархии в развитии языка, Аноним (38), 18:49 , 13-Авг-18, (170) Похоже, у Вас незамутнённыое знанием интуитивное понимание анархии В предлагае, anonymous yet another (?), 10:00 , 14-Авг-18, (171) Джулия всем была бы хороша, но без отладчика её полезность стремится к бесконечн, Аноним (114), 14:51 , 10-Авг-18, (114) // Консольные - есть Встроены Для отладки автономных скриптов, конечно, полезно и, Аноним (38), 16:06 , 10-Авг-18, (123) // Родная документация о них молчит Или вы тут подразумевали gdb И без теплого кл, myhand (ok), 16:42 , 10-Авг-18, (124) // Наш любимый gdb с Джулией не работает , Анон00000 (?), 16:43 , 10-Авг-18, (126) Почему Работает, ежели вы C код собрались отлаживать Но, боюсь - это сильно не, myhand (ok), 17:07 , 10-Авг-18, (131) Уж, С то и Фортран мы отладим, не переживайте Вот как код Джулии отлаживать Не, Анон00000 (?), 17:11 , 10-Авг-18, (134) Ну да, а в другом уме - изобразить виртуальную машину, на которой ваш код работа, myhand (ok), 18:35 , 10-Авг-18, (140) Скорее Джулия будет не нужна По крайней мере без отладчика В общем пока будем , Анон00000 (?), 20:04 , 10-Авг-18, (141) +1 Как раз он и использовался - https docs julialang org en release-0 7 devdocs d, Аноним (106), 17:12 , 10-Авг-18, (135) Не из той оперы Это для отладки вызываемого С кода debugging Julia s C code н, Анон00000 (?), 17:15 , 10-Авг-18, (136) Ссылку в студию Галлиум не в счет, ибо давно почил в бозе , Анон00000 (?), 16:42 , 10-Авг-18, (125) // https www youtube com watch v UuABHGlDj5o, Аноним (38), 16:47 , 10-Авг-18, (127) Delete Gallium 9 months ago Это последний коммит в галлиум на гитхабе Отладчи, Анон00000 (?), 16:52 , 10-Авг-18, (129) https www youtube com watch v KuM0AGaN09s, Аноним (38), 16:52 , 10-Авг-18, (128) А это что-то новенькое Точки останова поддерживает , Анон00000 (?), 16:55 , 10-Авг-18, (130) Да уш Модно-молодежно Ссылка сразу на кину на ютубчике , myhand (ok), 17:09 , 10-Авг-18, (132) В 1 0 рекомендовано использовать https github com jrevels Cassette jl, Аноним (106), 17:09 , 10-Авг-18, (133) Я, например, использую простую отладочную печать Не сказал бы, чтобы приходилос, Аноним (137), 17:30 , 10-Авг-18, (137) // И эти люди говорят, что Julia - наше все, а Питон устарел , myhand (ok), 18:33 , 10-Авг-18, (139) // А какая связь между устареванием питона и пошаговым отладчиком в Julia , Аноним (38), 20:31 , 10-Авг-18, (142) Питон и R - устарели, за Julia - будущее Причем тут связь Никакой связи не, myhand (ok), 21:52 , 10-Авг-18, (143) зависит от задач Во многих случаях, действительно, отладочной печати достаточно, Аноним (106), 22:12 , 10-Авг-18, (144) А чо, джава уже догнала и перегнала , dq0s4y71 (ok), 15:11 , 10-Авг-18, (117) +3 // Это да, они в свое время на ассемблер замахивались , КО (?), 09:17 , 13-Авг-18, (167) // хороший компилятор уже давно делает код лучше, чем то, что может написать руками, Аноним (38), 18:45 , 13-Авг-18, (169) 1,4,5,16,17,22,26,37,63,104,114,117

Сообщения

[Сортировка по времени | RSS]

	43. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от Blind Vic (ok), 10-Авг-18, 08:46
	> Смысл динамической типизации в том, что переменная вообще не имеет типа. Тип есть у значения переменной. Откуда вы такое взяли? Можно источник? Потому что не вижу смысла в этих словах. По вашей логике у всех переменных в динамических языках всегда один тип -- ссылка на объект. А "тип значения переменной" для меня эквивалентно "тип переменной".
	Ответить | Правка | Наверх | Cообщить модератору

	46. "Увидел свет язык программирования Julia 1.0"	+1 +/–
	Сообщение от Аноним (38), 10-Авг-18, 09:00
	> По вашей логике у всех переменных в динамических языках всегда один тип -- ссылка на объект. Обычно так и есть. В противном случае будут проблемы с выделением памяти под значение
	Ответить | Правка | Наверх | Cообщить модератору

	54. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от nobody (??), 10-Авг-18, 09:31
	И какой размер в памяти занимает переменная, если она не ссылка и хранит любой объект внутри себя? Тоже "любой"? В динамических языках переменные это именно что ссылки на объекты
	Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

	58. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от Blind Vic (ok), 10-Авг-18, 09:41
	> И какой размер в памяти занимает переменная, если она не ссылка и > хранит любой объект внутри себя? Тоже "любой"? > В динамических языках переменные это именно что ссылки на объекты Вы с кем разговариваете / кому отвечаете?
	Ответить | Правка | Наверх | Cообщить модератору

	59. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от nobody (??), 10-Авг-18, 09:42
	Вам. По ветке не очевидно?
	Ответить | Правка | Наверх | Cообщить модератору

	61. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от Blind Vic (ok), 10-Авг-18, 09:46
	Просто вы сказали то же самое, что и я. > В динамических языках переменные это именно что ссылки на объекты > По вашей логике у всех переменных в динамических языках всегда один тип -- ссылка на объект. Это был мой ответ на > Смысл динамической типизации в том, что переменная вообще не имеет типа. Я имел в виду, что переменные имеют один тип, во-первых. Во-вторых, отсюда следует вывод, что это статическая типизация. Исходя из логики первого комментария.
	Ответить | Правка | Наверх | Cообщить модератору

	64. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от nobody (??), 10-Авг-18, 09:51
	Я, в свою очередь, отвечал на Вашу реплику: "По вашей логике у всех переменных в динамических языках всегда один тип -- ссылка на объект". Всё так и есть. И тип объекта и тип переменной - это разные вещи. Переменная всегда имеет один тип - "ссылка на объект". Но вот объекты либо имеют разные типы (когда объектная можель построена на классах), либо не имеют типа вообще (когда объектная модель построена на прототипах, как в SELF).
	Ответить | Правка | Наверх | Cообщить модератору

	65. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от Аноним (38), 10-Авг-18, 09:53
	>> Смысл динамической типизации в том, что переменная вообще не имеет типа. >Я имел в виду, что переменные имеют один тип, во-первых. Во-вторых, отсюда следует вывод, что это статическая типизация. Исходя из логики первого комментария. Если переменная имеет тип, конторый не определён в пространстве языка программирования, то, считайте, что у неё нет типа. В динамических языках программирования, как правило, нет типа "чистая ссылка". Поэтому фраза, что "переменная не имеет типа", в целом, корректна.
	Ответить | Правка | К родителю #61 | Наверх | Cообщить модератору

	78. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от forsimen (ok), 10-Авг-18, 10:29
	Не знаю, где это взял аноним, но у меня такие сведения отсюда: https://books.google.hu/books?id=4pgQfXQvekcC&pg=PT248&lpg=P...
	Ответить | Правка | К родителю #43 | Наверх | Cообщить модератору

	84. "Увидел свет язык программирования Julia 1.0"	–1 +/–
	Сообщение от Blind Vic (ok), 10-Авг-18, 10:49
	> Names have no types... Because variables have no types... Я считаю, что это для более легкого понимания так написали. https://en.wikipedia.org/wiki/Variable_(computer_science) > In computer programming, a variable ... is a storage location (identified by a memory address) paired with an associated symbolic name (an identifier), which contains some known or unknown quantity of information referred to as a value. The variable name is the usual way to reference the stored value, in addition to referring to the variable itself, depending on the context. a = 1 На низком уровне идентификатор `a` привязан к адресу в памяти, к-й содержит указатель на некий объект класса `int`. И так со всеми переменными. Т.е. все переменные являются указателями -- имеют тип, причем один и тот же на протяжении их жизни. Что, по сути, является признаком статической типизации, если придраться. Если же рассуждать, что тип переменной это указатель and/or тип объекта, на который указатель ссылается, то тоже нельзя говорить, что имена/переменные не имеют типов.
	Ответить | Правка | Наверх | Cообщить модератору

	88. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от forsimen (ok), 10-Авг-18, 11:01
	Ну мы же про динамическую типизацию.
	Ответить | Правка | Наверх | Cообщить модератору

	155. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от freehck (ok), 11-Авг-18, 13:10
	>> Names have no types... Because variables have no types... > Я считаю, что это для более легкого понимания так написали. Сильно зависит от того, что понималось под 'variable' в том контексте. > На низком уровне идентификатор `a` привязан к адресу в памяти, к-й содержит > указатель на некий объект класса `int`. И так со всеми переменными. Да, Вы правы, что все имена связываются с участками памяти через указатели. Разница лишь в том, когда происходит разыменование имени в указатель. В компилируемых языках зачастую разыменование происходит на этапе компиляции, и когда Вы, например, собрали программку на C, ей для выполнения уже и не нужно знать, что данная область памяти была в исходном коде связана с неким именем `a`. Правда, можно сохранять эти имена (их называют дебаг-символами) для отладочных нужд. В интерпретируемых языках эти имена придётся сохранять в любом случае. > Т.е. все переменные являются указателями -- имеют тип, причем один и > тот же на протяжении их жизни. Что, по сути, является признаком > статической типизации, если придраться. Да, разница между статической и динамической типизациями заключена как раз в том, может ли связывание имени и типа меняться вместе с контекстом выполнения.
	Ответить | Правка | К родителю #84 | Наверх | Cообщить модератору

	163. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от Blind Vic (ok), 12-Авг-18, 08:39
	> Да, разница между статической и динамической типизациями заключена как раз в том, может ли связывание имени и типа меняться вместе с контекстом выполнения. Рад , что в этом мы согласны. И жаль, что столько сообщений ушло в другом направлении. Возвращаясь к моему первому комментарию. > -  Динамическая типизация: язык не требует явное определение типов для переменных по аналогии со скриптовыми языками программирования. Поддерживается интерактивный режим работы; Текст представлен так, что признаком динамической типизации является необязательность явного определения типов для переменных. Но это неправда. Похоже, что автор решил "помочь" своими объяснениями, хотя в оригинале этого нет. > Although one sometimes speaks of dynamic languages as being "typeless", they are definitely not: every object, whether primitive or user-defined, has a type. The lack of type declarations in most dynamic languages, however, means that one cannot instruct the compiler about the types of values, and often cannot explicitly talk about types at all. In static languages, on the other hand, while one can – and usually must – annotate types for the compiler, types exist only at compile time and cannot be manipulated or expressed at run time. In Julia, types are themselves run-time objects, and can also be used to convey information to the compiler. https://docs.julialang.org/en/stable/
	Ответить | Правка | Наверх | Cообщить модератору

	164. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от freehck (ok), 12-Авг-18, 12:57
	>> Да, разница между статической и динамической типизациями заключена как раз в том, может ли связывание имени и типа меняться вместе с контекстом выполнения. > Рад , что в этом мы согласны. И жаль, что столько сообщений ушло в другом направлении. Ну там много чего наложилось. Опечатки вон те же. Но суть-то, конечно, была правильная. Вид типизации не коррелирует с необходимостью указывать типы. Вон тот же ocaml -- статически типизирован, но типы указывать не обязательно настолько, что их как правило не пишут вообще нигде. А вот вопрос: есть ли динамически типизированный язык, где всегда надо указывать типы? > Текст представлен так, что признаком динамической типизации является необязательность > явного определения типов для переменных. Угу, двоеточие там лишнее. Надо бы точкой заменить. Предложите правку. Целый тред борьбе за неё посвятили. ))
	Ответить | Правка | Наверх | Cообщить модератору

	166. "Увидел свет язык программирования Julia 1.0"	+/–
	Сообщение от Blind Vic (ok), 12-Авг-18, 19:37
	> А вот вопрос: есть ли динамически типизированный язык, где всегда надо указывать типы? Интересно. Особенно интересно узнать мотивацию такого, если такое есть.
	Ответить | Правка | Наверх | Cообщить модератору

Архив | Удалить

Рекомендовать для помещения в FAQ | Индекс форумов | Темы | Пред. тема | След. тема