Функция возвращает True, если вторая окружность целиком содержится внутри первой

@PcxterHo · Регистрация: 23.04.2015

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

Помогите решить задачу:

Теоретически возможно, хотя и неэффективно, определить целые числа с помощью рекурсивных типов данных следующим образом:

Haskell
1
data Number = Zero | Next Number

Т. е. число является либо нулем (Zero), либо определяется, как число, следующее за предыдущим числом. Например, число 3 записывается как Next (Next (Next Zero)). Определите для такого представления следующие функции:
1) fromInt, для заданного целого числа типа Integer возвращающую соответствующее ему значение типа Number.
2) mult :: Number -> Number -> Number, умножающую свои аргументы.
помогите, пожалуйста, разобраться, что не так со второй функцией, она не перемножает, а просто выводит первый параметр:

Haskell
1
2
3
4
5
6
7
8
9
10
11
12
13
data Number = Zero | Next Number deriving Show
 
dec (Next n) = n
dec Zero= Zero
 
fromInt 0= Zero
fromInt n = Next $ fromInt (n - 1)
 
mult :: Number -> Number -> Number
--mult Zero _= Zero
--mult t n =  Next $  mult (dec n) (dec t)
 
mult t n =  Next $ fromInt(t)* fromInt(n)

@_Ivana · 07.05.2015, 20:01

Применять * к свежесозданному типу, который дерайвится только по Show, достаточно оптимистично.

@PcxterHo · 07.05.2015, 20:03 **[ТС]**

Haskell
1
2
3
4
5
6
7
8
9
10
11
data Number = Zero | Next Number deriving Show
 
dec (Next n) = n
dec Zero= Zero
 
fromInt 0= Zero
fromInt n = Next $ fromInt (n - 1)
 
mult :: Number -> Number -> Number
mult Zero Zero= Zero
mult t n =  Next $  mult (dec n)(dec t)

Добавлено через 1 минуту
подскажите, пожалуйста, как исправить???

@_Ivana · 07.05.2015, 20:06

Подумать. Есть множество способов. Тупой и тривиальный - написать раскодировку и вашего Черча обратно в натуральное, и применить эту функцию. Но это читерство. Но-хорошему надо с этим новым типом и работать, и написать умножение через сложение, которое написать тоже не используя читерства числовых операций.

@PcxterHo · 07.05.2015, 20:07 **[ТС]**

то есть? я новичок в этом

@_Ivana · 07.05.2015, 20:10

Так вам эти задачи и задали, чтобы вы подумали, приложили усилия и постепенно перестали быть новичком в этом. У вас есть шанс, пока не написали решение в теме. И да, начать конечно проще с реализации умножения через обратное преобразование в числа, хоть это и читерство.

@PcxterHo · 07.05.2015, 20:11 **[ТС]**

я не понимаю

@_Ivana · 07.05.2015, 20:14

PcxterHo, ну вы в первом классе учились? Палочки складывали в кучки? Проходили коммутативные бинарные операции на множестве натуральных чисел, как сложение, и через него определяли умножение? Или Фурсенко успел все поломать? Вот здесь вам предлагается примерно то же самое. А я предлагаю в третий раз - если хотите легко и читерство - то пишите функцию переводящую Нумбер в Инт. Обратная уже у вас есть, не знаю кто вам ее написал.

@PcxterHo · 07.05.2015, 20:18 **[ТС]**

хорошо, попробую...

@Curry · 07.05.2015, 20:26

По второй задаче. Арифметика Пеано это называется. Чуть было не привёл решение, да, смотрю, _Ivana, воспитательной работой среди молодёжи занимается. Ну, пусть ...

@PcxterHo · 07.05.2015, 20:27 **[ТС]**

Просто, мне бы сдать это и все, функциональное не мое...

@_Ivana · 07.05.2015, 20:30

PcxterHo, скажите честно - функцию fromInt вы сами написали? Если да, то вам не составит труда написать обратную toInt, перемножить в числах и вызвать снова fromInt, сдать и забыть этот кошмар навсегда.

@PcxterHo · 07.05.2015, 20:32 **[ТС]**

Говорю, честно, это нет

@_Ivana · 07.05.2015, 20:52

Haskell
1
2
3
toInt :: Number -> Int
toInt (Next n) = 1 + toInt n
toInt Zero     = 0

Остальное надеюсь сможете сами.

@PcxterHo · 07.05.2015, 21:01 **[ТС]**

Да, дальше сам, спасибо

@_Ivana · 07.05.2015, 21:01

А тем временем можем попросить KolodeznyDiver пару альтернативных решений, одно без перевода обратно в числа, а другое просто любое, но с применением интересных нетривиальных концепций

Не по теме:

А я, пока без детей с санками, свой интерпретер мусолить продолжу :)

@Curry · 07.05.2015, 21:11

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

А тем временем можем попросить KolodeznyDiver пару альтернативных решений, одно без перевода обратно в числа, а другое просто любое, но с применением интересных нетривиальных концепций

Решений чего? Умножения в Пеано?

Haskell
1
2
3
4
5
6
7
8
add :: Number -> Number -> Number
add Zero y = y
add (Next x) y = Next (add x y)
 
mult :: Number -> Number -> Number
mult Zero _ = Zero
mult _ Zero = Zero
mult (Next x) y = add y (mult x y)

Не по теме:

Коцепции, виш, хитрые подавай. Знали бы Вы чем я сейчас занимаюсь ... уже третий день ... какие там концепции.

Новые блоги и статьи Все статьи Все блоги /
SDL3 для Web (WebAssembly): Работа со звуком через SDL3_mixer 8Observer8 08.02.2026 Содержание блога Пошагово создадим проект для загрузки звукового файла и воспроизведения звука с помощью библиотеки SDL3_mixer. Звук будет воспроизводиться по клику мышки по холсту на Desktop и по. . .	SDL3 для Web (WebAssembly): Основы отладки веб-приложений на SDL3 по USB и Wi-Fi, запущенных в браузере мобильных устройств 8Observer8 07.02.2026 Содержание блога Браузер Chrome имеет средства для отладки мобильных веб-приложений по USB. В этой пошаговой инструкции ограничимся работой с консолью. Вывод в консоль - это часть процесса. . .	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 была полностью переписана на Си, в. . .

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	07.05.2015, 20:01
	Применять * к свежесозданному типу, который дерайвится только по Show, достаточно оптимистично. 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	07.05.2015, 20:06
	Подумать. Есть множество способов. Тупой и тривиальный - написать раскодировку и вашего Черча обратно в натуральное, и применить эту функцию. Но это читерство. Но-хорошему надо с этим новым типом и работать, и написать умножение через сложение, которое написать тоже не используя читерства числовых операций. 0

@PcxterHo 0 / 0 / 0 Регистрация: 23.04.2015 Сообщений: 17
	07.05.2015, 20:07 [ТС]
	то есть? я новичок в этом 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	07.05.2015, 20:10
	Так вам эти задачи и задали, чтобы вы подумали, приложили усилия и постепенно перестали быть новичком в этом. У вас есть шанс, пока не написали решение в теме. И да, начать конечно проще с реализации умножения через обратное преобразование в числа, хоть это и читерство. 0

@PcxterHo 0 / 0 / 0 Регистрация: 23.04.2015 Сообщений: 17
	07.05.2015, 20:11 [ТС]
	я не понимаю 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	07.05.2015, 20:14
	PcxterHo, ну вы в первом классе учились? Палочки складывали в кучки? Проходили коммутативные бинарные операции на множестве натуральных чисел, как сложение, и через него определяли умножение? Или Фурсенко успел все поломать? Вот здесь вам предлагается примерно то же самое. А я предлагаю в третий раз - если хотите легко и читерство - то пишите функцию переводящую Нумбер в Инт. Обратная уже у вас есть, не знаю кто вам ее написал. 0

@PcxterHo 0 / 0 / 0 Регистрация: 23.04.2015 Сообщений: 17
	07.05.2015, 20:18 [ТС]
	хорошо, попробую... 0

@Curry Модератор 5158 / 3480 / 536 Регистрация: 01.06.2013 Сообщений: 7,542 Записей в блоге: 9
	07.05.2015, 20:26
	По второй задаче. Арифметика Пеано это называется. Чуть было не привёл решение, да, смотрю, _Ivana, воспитательной работой среди молодёжи занимается. Ну, пусть ... 0

@PcxterHo 0 / 0 / 0 Регистрация: 23.04.2015 Сообщений: 17
	07.05.2015, 20:27 [ТС]
	Просто, мне бы сдать это и все, функциональное не мое... 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	07.05.2015, 20:30
	PcxterHo, скажите честно - функцию fromInt вы сами написали? Если да, то вам не составит труда написать обратную toInt, перемножить в числах и вызвать снова fromInt, сдать и забыть этот кошмар навсегда. 0

@PcxterHo 0 / 0 / 0 Регистрация: 23.04.2015 Сообщений: 17
	07.05.2015, 20:32 [ТС]
	Говорю, честно, это нет 0

@PcxterHo 0 / 0 / 0 Регистрация: 23.04.2015 Сообщений: 17
	07.05.2015, 21:01 [ТС]
	Да, дальше сам, спасибо 0

@_Ivana 4949 / 2289 / 287 Регистрация: 01.03.2013 Сообщений: 5,991 Записей в блоге: 32
	07.05.2015, 21:01
	А тем временем можем попросить KolodeznyDiver пару альтернативных решений, одно без перевода обратно в числа, а другое просто любое, но с применением интересных нетривиальных концепций Не по теме: А я, пока без детей с санками, свой интерпретер мусолить продолжу :) 0