Вопросы по теме 'types'
как неопределенный универсальный тип представляет во время выполнения ghci
Я знаю общие функции и типы данных.
В универсальном типе:
data SB = forall x. (show x) => SB x
instance Show SB where
show (SB x) = show x
поэтому для любого заданного типа x , если он имеет сигнатуру Show , и ему наверняка...
01.04.2024
Есть ли способ зафиксировать продолжения в нотации do?
Так как следующий блок do:
do
x <- foo
y <- bar
return x + y
обессахаривается до следующего вида:
foo >>= (\x -> bar >>= (\y -> return x + y))
разве \x -> ... и y -> ... на самом деле не...
29.03.2024
Идентификация хеш-таблицы как определяемого пользователем типа в OCaml
Я хочу иметь возможность определить тип (скажем, my_type), который может идентифицировать хэш-таблицы со строками в качестве ключей и сопоставлять их с целочисленными значениями. Итак, я попытался
# type my_type = (string, int) Hashtbl.t;;...
06.05.2024
Пользовательский тип Doctrine 2
Я пытаюсь следовать примеру на http://docs.doctrine-project.org/projects/doctrine-dbal/en/latest/reference/types.html и создайте собственный тип количества. Все работает нормально, когда тип количества определяется как:
class Quantity extends...
14.04.2024
Ошибка типа в Python 2.7 для некоторого простого рекурсивного кода
У меня ошибка типа с некоторым рекурсивным кодом в Python 2.7. Приведенный ниже код представляет собой интеграл Римана, в котором вы суммируете площади прямоугольников под кривой. Он отлично работает, когда «шаг» равен 0,25 или больше, но ошибка...
30.03.2024
Как разрешаются псевдонимы типов, если директива System отсутствует?
bool , int и string (и это лишь некоторые из них) являются псевдонимами типов System . Все они могут использоваться без включения директивы System . Тем не менее, псевдонимы типов не могут использоваться без директивы System . директива....
22.03.2024
Структурирование кода Coq
У меня обычная установка: сначала я определяю какие-то типы, потом какие-то функции из этих типов. Однако, поскольку есть много способов формализовать то, что я делаю, я сделаю это в 3-х вариантах. Для простоты (и для обзора) я хочу, чтобы мой код...
02.05.2024
продолжайте получать ошибку "значение типа" 'не имеет члена' '
Я застрял в этом проекте на 2 дня, и я думаю, что мне действительно нужна помощь.
Программа только наполовину завершена, так как я даже не могу заставить работать макет. У меня есть var settings = setting() для ссылки на настройку класса(). В...
02.05.2024
Новые материалы
CS373 Summer 2018: Миранда Фуленчек
CS373 Summer 2018: Миранда Фуленчек
Неделя 1: 4 июня — 10 июня
Что вы делали на прошлой неделе?
Занятия начались на этой неделе, поэтому большую часть времени я потратил на..
Как развивается смешанно-целочисленное программирование, часть 7
Унифицированная техника раннего завершения для первично-двойственных алгоритмов в смешанно-целочисленном коническом программировании (arXiv)
Автор : Ювэнь Чэнь , Кэтрин Нин , Поль Гулар..
Как научить модель Keras распознавать текст переменной длины
Я некоторое время играл с официальным примером Keras image_ocr.py и хочу поделиться своими выводами в этом посте.
В официальном примере выполняется только обучение модели, но отсутствует..
Практическая пакетная нормализация
История начинается после использования инициализации He вместе с ELU (или любым вариантом ReLU) может значительно снизить опасность проблем с исчезающими/взрывающимися градиентами в начале..
Поэзия онлайн-кодирования: путешествие пикселей и страсти
В мире, наполненном инновациями, онлайн-обучение программированию становится холстом, на котором обретает форму полотно вашей мечты. Это больше, чем просто создание строк кода; это сродни..
Обработка изображений с помощью Python - размытие и повышение резкости для начинающих
Как применить ядра свертки к цветным изображениям?
В этой статье мы обсудим, как применять ядра размытия и повышения резкости к изображениям. Эти базовые ядра составляют основу многих более..
Ограничение скорости в .NET Core 7 Web API
Что такое ограничение скорости?
Ограничение скорости — это процесс, используемый для ограничения количества запросов, разрешенных для определенного ресурса в указанном временном окне. .NET..