В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Язык программирования Julia / Julia programming language

297 membersпожаловаться на группу
2019 August 08

DK

Dmitrii Kuznetsov in Язык программирования Julia / Julia programming language
про типы тоже вроде понятно, что надо знать:
- байтовые типы: целые числа, вещественные, символ/буква, дата/время
- линейные/плоские типы: кортежи, матрицы/векторы, текст/строки, файлы
- матрёшечные/контейнерные типы: сетевые пакеты, json/xml,
- преобразование/приведение типов
источник
15:11пожаловаться#1

DK

Dmitrii Kuznetsov in Язык программирования Julia / Julia programming language
а в привязке к узыку уже уточнять: что есть внутри языка, в стандартной библиотеке, какими средствами языка расширять…
источник
15:13пожаловаться#2

AB

Alexey Bolshakov in Язык программирования Julia / Julia programming language
согласен. что-то абстрактное должно быть. а иначе, начинает кто-то учить Оберон, а там в "классическом" виде ООП нету. есть только рекорды
источник
15:34пожаловаться#3

AB

Alexey Bolshakov in Язык программирования Julia / Julia programming language
в js тоже какие-то свои нюансы по этому поводу
источник
15:34пожаловаться#4

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Anatoly Levenchuk
Вот алгоритмику все учат как отдельную дисциплину (и часто computer science определяют именно через неё), а работа с типами не имеет своего названия, её особо не учат, а в Julia это оказывается ключевым. То есть как из базовых операторов писать алгоритм учат, а как из системы типов что-то внятное делать для этих самых алгоритмов — нет такой дисциплины, нет своего Кнута.
1. Имеет давно устоявшееся название "Type Theory".
2. Имеет отдельный объект рассмотрения "Type System of Programming Language".
3. Не отделима от алгоритмики. Ведь все помнят, что программа = Алгоритм + Данные.
3.2. К сожалению, часто учат плохо, но это общее место.
3.3. Особенно доставляет, когда путают абстрактные типы данных и структуры данных... боль-печать...
4. Есть прекрасные базовые учебники.
источник
23:20пожаловаться#5

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Кстати, из загашника - актуализируемая коллекция: https://github.com/jozefg/learn-tt
GitHub
jozefg/learn-tt
A collection of resources for learning type theory and type theory adjacent fields. - jozefg/learn-tt
источник
23:20пожаловаться#6

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Ну, знаменитую книгу Бенджамина Пирса уже поминали...
источник
23:21пожаловаться#7

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
А есть ещё отдельные хорошие вещи. Например, как обсуждать что-то в этой области: https://blog.steveklabnik.com/posts/2010-07-17-what-to-know-before-debating-type-systems
источник
23:22пожаловаться#8

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
К Пирсу всегда советую свободно доступную книгу от Mike Grant, Zachary Palmer и Scott Smith "Principles of Programming Languages" ( http://pl.cs.jhu.edu/pl/book/book.pdf).
источник
23:25пожаловаться#9

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Dmitrii Kuznetsov
про типы тоже вроде понятно, что надо знать:
- байтовые типы: целые числа, вещественные, символ/буква, дата/время
- линейные/плоские типы: кортежи, матрицы/векторы, текст/строки, файлы
- матрёшечные/контейнерные типы: сетевые пакеты, json/xml,
- преобразование/приведение типов
Здесь в основном про форматы данных, структуры данных и API. И только в конце собственно про типы. Это связанные вещи, но именно из-за их путаницы и возникают многие проблемы.
источник
23:34пожаловаться#10

AB

Alexey Bolshakov in Язык программирования Julia / Julia programming language
коллеги, а нет ли хороших новостей про асинхронную реализацию HTTP? я прям очень жду
источник
23:35пожаловаться#11

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Alexey Bolshakov
коллеги, а нет ли хороших новостей про асинхронную реализацию HTTP? я прям очень жду
Простите, а что именно в этой реализации ожидается?
источник
23:47пожаловаться#12

AB

Alexey Bolshakov in Язык программирования Julia / Julia programming language
RPS повыше
источник
23:48пожаловаться#13

AB

Alexey Bolshakov in Язык программирования Julia / Julia programming language
ранее было пара докладов с исследованиями по этому поводу. там как раз и говорилось, что пока не очень. что подтвердилось и моими замерами
источник
23:48пожаловаться#14

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Alexey Bolshakov
RPS повыше
То есть заметно лучше, чем https://github.com/aj-monk/C10k.jl ?
источник
23:48пожаловаться#15

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
А насколько нужно лучше? И насколько важна "Жулиевость"?
источник
23:49пожаловаться#16

AN

Alexey Neznanov in Язык программирования Julia / Julia programming language
Alexey Bolshakov
ранее было пара докладов с исследованиями по этому поводу. там как раз и говорилось, что пока не очень. что подтвердилось и моими замерами
А какой из последних имеется в виду?
источник
23:50пожаловаться#17

AB

Alexey Bolshakov in Язык программирования Julia / Julia programming language
Alexey Neznanov
То есть заметно лучше, чем https://github.com/aj-monk/C10k.jl ?
тут непонятно, какой получился rps. вижу только количество коннектов, латенси и перцентили
источник
23:51пожаловаться#18

AB

Alexey Bolshakov in Язык программирования Julia / Julia programming language
ссылка интересная. спасибо! я должен попробовать то же самое )
источник
23:52пожаловаться#19

AB

Alexey Bolshakov in Язык программирования Julia / Julia programming language
я, конечно, писал тоже с использованием HTTP и async. но мог какие-то тонкие моменты не верно сделать
источник
23:52пожаловаться#20