Проблема с типами (я так полагаю)

@strelok200 · Регистрация: 16.04.2015

Студворк — интернет-сервис помощи студентам

Добрый день. При попытке выполнить функцию возникает проблема "Unresolved top-level overloading"

Haskell
1
2
3
import Data.Fixed
 
res = [x | x <- [100..900], x `mod` 6 == x `mod` 11, x `mod` 6 /=0, x `mod` 11 /=0, (div' (x `mod'` 100) 10) == ((div' x 100) + (x `mod'` 10)) / 2]

Я так полагаю проблема в последнем сравнении, где справа деление на 2 (float) сравнивается с целым значением. Пробовал вместо div и mod использовать div' и mod', но проблема та же. Знающие, подскажите пожалуйтса

@Curry · 05.12.2018, 23:58

Для деления целых нужно использовать div а не / .

Haskell
1
res = [x | x <- [100..900], x `mod` 6 == x `mod` 11, x `mod` 6 /=0, x `mod` 11 /=0, div (x `mod` 100) 10) == (((div x 100) + (x `mod` 10) `div` 2)]

@strelok200 · 06.12.2018, 00:42 **[ТС]**

Curry, тогда это не соответствует условию задачи, ибо 7 div 2 = 3, и если левая часть также равна трем, то результат будет true, хотя д.б false (т.к. 3.5 != 3).
Поэтому вопрос - как дать понять компилятору, что оперировать нужно не с целыми. (ну или результаты вычислений представлять уже как float)

@Curry · 06.12.2018, 02:45

Сообщение от strelok200

Поэтому вопрос - как дать понять компилятору, что оперировать нужно не с целыми.

А может достаточно целых? Вы же не сообщили почтеннейшей публике условие задачи.

Добавлено через 3 минуты
Предварительная подсказка. Вместо того, что бы делить на 2 одну сторону функции сравнения, может быть можно умножить на 2 другую?

@Catstail · 06.12.2018, 08:19

Проанализируем условие:

Haskell
1
x `mod` 6 == x `mod` 11, x `mod` 6 /=0, x `mod` 11 /=0

Оно означает дословно: "остаток от деления на 6 равен остатку от деления на 11 и оба остатка не равны нулю". Представляется очевидным, что это выражение можно упростить так:

Haskell
1
x `mod` 6 == x `mod` 11, x `mod` 6 /=0

или так:

Haskell
1
x `mod` 6 == x `mod` 11, x `mod` 11 /=0

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Обработчик клика мыши в браузере ПК и касания экрана в браузере на мобильном устройстве 8Observer8 02.02.2026 Содержание блога Для начала пошагово создадим рабочий пример для подготовки к экспериментам в браузере ПК и в браузере мобильного устройства. Потом напишем обработчик клика мыши и обработчик. . .	Философия технологии iceja 01.02.2026 На мой взгляд у человека в технических проектах остается роль генерального директора. Все остальное нейронки делают уже лучше человека. Они не могут нести предпринимательские риски, не могут. . .	SDL3 для Web (WebAssembly): Вывод текста со шрифтом TTF с помощью SDL3_ttf 8Observer8 01.02.2026 Содержание блога В этой пошаговой инструкции создадим с нуля веб-приложение, которое выводит текст в окне браузера. Запустим на Android на локальном сервере. Загрузим Release на бесплатный. . .	SDL3 для Web (WebAssembly): Сборка C/C++ проекта из консоли 8Observer8 30.01.2026 Содержание блога Если вы откроете примеры для начинающих на официальном репозитории SDL3 в папке: examples, то вы увидите, что все примеры используют следующие четыре обязательные функции, а. . .
SDL3 для Web (WebAssembly): Установка Emscripten SDK (emsdk) и CMake для сборки C и C++ приложений в Wasm 8Observer8 30.01.2026 Содержание блога Для того чтобы скачать Emscripten SDK (emsdk) необходимо сначало скачать и уставить Git: Install for Windows. Следуйте стандартной процедуре установки Git через установщик. . . .	SDL3 для Android: Подключение Box2D v3, физика и отрисовка коллайдеров 8Observer8 29.01.2026 Содержание блога Box2D - это библиотека для 2D физики для анимаций и игр. С её помощью можно определять были ли коллизии между конкретными объектами. Версия v3 была полностью переписана на Си, в. . .	Инструменты COM: Сохранение данный из VARIANT в файл и загрузка из файла в VARIANT bedvit 28.01.2026 Сохранение базовых типов COM и массивов (одномерных или двухмерных) любой вложенности (деревья) в файл, с возможностью выбора алгоритмов сжатия и шифрования. Часть библиотеки BedvitCOM Использованы. . .	SDL3 для Android: Загрузка PNG с альфа-каналом с помощью SDL_LoadPNG (без SDL3_image) 8Observer8 28.01.2026 Содержание блога SDL3 имеет собственные средства для загрузки и отображения PNG-файлов с альфа-каналом и базовой работы с ними. В этой инструкции используется функция SDL_LoadPNG(), которая. . .

@strelok200 1 / 1 / 0 Регистрация: 16.04.2015 Сообщений: 47
	06.12.2018, 00:42 [ТС]
	Curry, тогда это не соответствует условию задачи, ибо 7 div 2 = 3, и если левая часть также равна трем, то результат будет true, хотя д.б false (т.к. 3.5 != 3). Поэтому вопрос - как дать понять компилятору, что оперировать нужно не с целыми. (ну или результаты вычислений представлять уже как float) 0