Телеграмм чат группы haskellru страница 16041

Size: a a a

Haskell

2021 May 02

Опять приду надоедать глупыми вопросами.
Хочу сделать такую функцию

template <typename T>
size_t size() { return sizeof(T); }

Пришел к

sizeOf (undefined :: Word32)

Для конкретного типа.
Хочется общую функцию без таких костылей

источник

19:32пожаловаться #1

Jerzy Syrowiecki in Haskell

use Proxy, Luke

источник

19:33пожаловаться #2

Joshua Jakowlew in Haskell

А можно поподробнее для юного падавана?

источник

19:33пожаловаться #3

Aleksandr Khristenko in Haskell

В итоге пофиксилось увеличением значения в haskell.maxCompletions , хотя остались вопросы, почему оно до этого не показывало при фильтрации по одному символу и почему эта настройка в vscode нигде не показывается и надо напрямую json редактировать.

источник

19:33пожаловаться #4

Jerzy Syrowiecki in Haskell

sizeOf (Proxy :: Proxy Word32)

источник

19:34пожаловаться #5

Alexey Fedotov in Haskell

в vscode всегда надо json редактировать

источник

19:35пожаловаться #6

Alexey Fedotov in Haskell

просто для некоторых вещей понаписали гуй, который редактирует json за тебя. Не для всех.

источник

19:35пожаловаться #7

Joshua Jakowlew in Haskell

Понял-принял, спасибо!

источник

19:36пожаловаться #8

Aleksandr Khristenko in Haskell

Ну тогда вопрос почему в этом гуе конкретно для этого параметра не было ничего.

источник

19:36пожаловаться #9

Jerzy Syrowiecki in Haskell

если заработало, то следующий уровень:

sizeOf @Word32

источник

19:36пожаловаться #10

Alexey Fedotov in Haskell

Забыли добавить! Или лень было. Или настройка не очень нужная.

источник

19:36пожаловаться #11

Semyon Dubskikh in Haskell

Я не особо знаком с теориями множества, но за статью большое спасибо. А вообще я прошёлся дебагером и оказалось всё ещё просто: дебагер тупо возвращает пустой список, когда сталкивается с y <- [], хотя он и пытается вроде взять от туда что-то. Вообщем он даже постановку не выполняет, тупо доходит до y и выкидывает [], надеюсь правильно понял. Ну и статью тоже посмотрю, для закрепления

источник

19:37пожаловаться #12

Alexey Fedotov in Haskell

Естественно. Это эквивалент такого императивного кода (напишу на JS):

const a = [];
const b = [1, 2, 3];

for (let i = 0; i < a.length; i += 1) {
for (let h = 0; h < b.length; h += 1) {
doSomething(a[i], b[h]);
}
}

источник

19:39пожаловаться #13

Joshua Jakowlew in Haskell

А воть не заработало, для Proxy не определен Storable

источник

19:39пожаловаться #14

Jerzy Syrowiecki in Haskell

ну да, пустое множество как не ограничивай, будет пустое

источник

19:39пожаловаться #15

Yuuri in Haskell

На русский переводится «декартово», к слову