Что из себя эти алгебраические типы представляют?

В любом случае одно из двух

Ну судя по названию числа и перечисления

перечисления это набор возможных типов?

об этом тут https://dlang.org/spec/float.html говорится

Ребят, а кто-нибудь на arm пишет?

Имеется ввиду на d, конечно

Олег, помнишь ты ссылку давал на предрелизную доку. Тогда вроде как тема была, что компилятор как библиотека. Походу это не так. Вот ответ в теме http://forum.dlang.org/post/oe4ie0$m6u$1@digitalmars.com

Беда(

кстати, а как такое может быть, чтобы writefln выполнение проги прерывал?

Мужики, такая тема есть. Кто что ведает?

@Lord_Evil помнишь я делал аудит Intel MEI и назвал его бэкдором? https://semiaccurate.com/2017/05/01/remote-security-exploit-2008-intel-platforms/ Сегодня подтвердили

Ну вот пишут что для эксплоита нужно чтобы был открыт порт 16992 или 16993 и на сервере была запущена виндовая local manageability service

вот же https://downloadmirror.intel.com/26755/eng/INTEL-SA-00075%20Detection%20Guide-Rev%201.0.pdf

ну судя по вемсу для сетевой атаки нужна служба и порт

для локальной надо чтоб был поставлен какой-то интеловский интерфейс

я проверил три коробки наугад,, сообщил начальству, больше меня это не ебет

Мужики, такая тема есть. Кто что ведает?

про intel'овские backdoor'ы?)

if(!point[2].hasValue || !point[3].hasValue || !point[4].hasValue) данное условие корректно записано? "если в элементе два пусто или в элементе 3 пусто или в элементе 4 пусто"

о как. оказалось что проверять есть ли значение через hasValue т.к. если ничего не прилетело, то там будет null и условие будет истино

про intel'овские backdoor'ы?)

Любопытно, чем это нам, простым линуксоидам, грозит..

да вроде ничем, виндовая же фигня (прога от Intel с дыркой)

как оно умудряется этот блок кода выполнять? Тут же написано, что если _не нул_, то напечатать на экран

так ты же тип проверяешь

может тип "строка" а значение то может быть нул

понял, тогда получается так надо: if(point[3].hasValue)

и снова не работает:

@deviator а ты уверен что тут под типом понимается именно это? просто на следующем коде оно в качестве типа null выводит

Хз

Я с variant не работал вообще

@DmitryBubnenkov ты объясни что ты хочешь сделать

я у lat и lon поменял типы со string на double и теперь у меня код падает если в БД в ответе есть null

Вот только что тему создал: http://stackoverflow.com/questions/43737136/how-to-chack-variant-for-null

просто null это тоже ведь значение

а как быть то?

import std.stdio; import std.variant; void main() { Variant a; a = null; writeln(a.hasValue); writeln(a.type); writeln(a.type is null); writeln(a.type == typeid(typeof(null))); writeln(a.coerce!string); } выводит true typeof(null) false true null

может использовать проверку a.type == typeid(typeof(null))

а вообще, наверное, можно сразу пробовать взять double

writeln(a.type is null); выводит же false верно? значит должна работать вот такая проверка: if(point[3].type !is null) верно?

нет

не такая проверка

сейчас попробую как ты сказал

стой

import std.stdio; import std.variant; double getDouble(Variant a) { if (auto ret=a.peek!double) return *ret; return double.nan; } void main() { Variant a = null; Variant b = 3.14; writeln(a.getDouble); writeln(b.getDouble); }

вот так попробуй

а вообще, наверное, можно сразу пробовать взять double

дык падать будет если null прилетит...

сейчас

если передаваемая переменная содержит что-то, что не double (string, typeof(null) или ещё что-то), то вернётся double.nan

@deviator у меня заработал вариант: if(point[3].type != typeid(typeof(null))) я наверно пока его оставлю. Вообще странно как-то. По идее null не должен быть по .hasValue равен true

с чего это?

http://stackoverflow.com/questions/17783929/c-sharp-hasvalue-vs-null ну вот тут вроде бы оно именно так работает

hasValue в Variant это индикатор, что что-то записанно

а то что значение null это уже другой разговор

погоди, я никак в толк не возьму. в данном случае прилетает null и null хранится имеенно как значение т.е. поэтому .hasValue на нем всегда true т.е. в других случаях проверка на наличие значение давала бы false если бы мы работали не с типом Variant?

Кто знает как в других языках подобная проверка реадизуется? В том же C#

просто все варианты немного на хаки похожи...

вообще в языках со статической типизацией вся вот эта ерунда с Variant и чем-то похожим будет через библиотеки сделана

Олег, в плане? Типа каждая либа по своему это должна обрабатывать?

Ну да

а не проще ли в язык добавить, чтобы хоть какая-то унификация была

ERROR: S client not available

Хотя вот ещё пример: в js есть undefined и есть null

ну в JS вообще жесть...

а не проще ли в язык добавить, чтобы хоть какая-то унификация была

Унификация с кем? Именно с С#?

Нет, чтобы в самом Ди были методы которые позволяли бы подобную проверку провести однотипно

мля... здец какой-то. 32-битная сборка опять после нескольких часов работы упала, а 64-битная обрабатывает запросы к БД PostgreSQL в 15 раз медленее

использую вот этот драйвер https://github.com/pszturmaj/ddb

собирал в режиме: dub --build=release --arch=x86_64

использую вот этот драйвер https://github.com/pszturmaj/ddb

ты прям экспериментатор, почему именно этот драйвер?

потому что его на форуме посоветовали

сказали самый хороший

оке

смотрю разрабатывают его много людей и вроде видные участники сообщества

вот отписал https://github.com/pszturmaj/ddb/issues/68

мля... у меня проблема с линковкой в 32-битном режиме самоушла. Помнишь ту ошибку которую я лечил сборкой в режиме релиза. Причем даже мыслей нет почему т.к. код тот же самый практически. Единственное — может зависимости обновились в какой-то момент, но там по сути только вайб мог

мля... у меня проблема с линковкой в 32-битном режиме самоушла. Помнишь ту ошибку которую я лечил сборкой в режиме релиза. Причем даже мыслей нет почему т.к. код тот же самый практически. Единственное — может зависимости обновились в какой-то момент, но там по сути только вайб мог

а может ты установил вижак?

нет

хм

как вариант он как-то мог подцепить Windows SDK про который мне кто-то говорил. Как замену VS

но я не помню чтобы еще раз компилятор переставлял... хотя может такое и было...

Замечал несколько раз жалобы, что в D нет pattern matching. Признаюсь честно, что не очень понимаю, что это такое, но насколько понял, в Rust он реализован идеально. Там он нужен для инициализации переменных (и как switch), которая зависит от чего-то. Так как в Rust нельзя объявить переменную без присвоения значения в безопасном коде, там pattern matching нужен как воздух. Посмотрев на примеры кода из учебника Rust, я написал небольшой шаблон, который делает вроде то же самое. Вопрос: все несколько сложнее, чем мне кажется или в D можно реализовать pattern matching своими силами? http://vpaste.net/qBMj6 Важный недостаток, что не lazy. Но я набросал код, чтоб понять можно или нет такое сделать в D.

Вальтер писал что в начале нужно алгебраические типы (кажется) реализовать полностью. Я точно не помню формулировку, но эта тема уже поднималась

так что походу все не так просто

можешь гуглом по форуму поискать

D не очень требуется pattern matching, он неплохо выкручивается через красивые лямбды: https://dlang.org/phobos/std_variant.html#.visit

я такое даже на С++ использовал для своих типов, очень удобно и читабельно

Григорий, а ты с Вариантом плотно работал? Можешь предложить красивый способ проверки что в нем null. Пока что единственный вариант через указатели, щас ссылку дам

http://stackoverflow.com/questions/43737136/how-to-check-variant-for-null

плотно не работал, может стоит посмотреть в сторону b.type == typeid(void), если null не работает

Замечал несколько раз жалобы, что в D нет pattern matching. Признаюсь честно, что не очень понимаю, что это такое, но насколько понял, в Rust он реализован идеально. Там он нужен для инициализации переменных (и как switch), которая зависит от чего-то. Так как в Rust нельзя объявить переменную без присвоения значения в безопасном коде, там pattern matching нужен как воздух. Посмотрев на примеры кода из учебника Rust, я написал небольшой шаблон, который делает вроде то же самое. Вопрос: все несколько сложнее, чем мне кажется или в D можно реализовать pattern matching своими силами? http://vpaste.net/qBMj6 Важный недостаток, что не lazy. Но я набросал код, чтоб понять можно или нет такое сделать в D.

В расте он нужен как воздух вообще всей системе типов (там все пользовательские типы — tagged unions, загугли что это такое и станет понятнее суть пма), а не только для раскрытия кортежей, а вот в д он как и адт в языке не нужен и будет ни к селу ни к городу рядом с динамическим ООП.

Как я понимаю паттерн матчинг это switch на стероидах и там можно очень красиво все проверять в отличие от того же switch'a

В расте он нужен как воздух вообще всей системе типов (там все пользовательские типы — tagged unions, загугли что это такое и станет понятнее суть пма), а не только для раскрытия кортежей, а вот в д он как и адт в языке не нужен и будет ни к селу ни к городу рядом с динамическим ООП.

понял