Описание тега miranda
Миранда - чистый, нестрогий, полиморфный язык функционального программирования высшего порядка.
7
ответов
Злоупотребление алгеброй алгебраических типов данных - почему это работает?
"Алгебраическое" выражение для алгебраических типов данных выглядит очень наводящим на размышления тому, кто имеет опыт работы в математике. Позвольте мне попытаться объяснить, что я имею в виду. Определив основные типы Товар • союз + одиночка X Еди…
08 фев '12 в 09:09
4
ответа
Миранда просматривает списки
Есть ли простой способ пройти через список? Допустим, я хотел получить доступ к 5-м данным в списке, не зная, что это был B ["A","A","A","A","B","A","A","A","A"] Есть ли способ, которым я могу сделать это без необходимости перебирать список?
29 окт '11 в 10:00
1
ответ
Miranda Error не может объединить [[char]] с [char] в строке 12
Возникла проблема с кодированием в Миранде. Я просто новичок в функциональном программировании, так что ударь меня, если я не ошибаюсь, поэтому я учусь В любом случае, в строке 12 появляется ошибка, связанная с проблемой unifyin char с char. Моя иде…
03 окт '11 в 17:10
1
ответ
Отсутствует определение дела в Миранде
Я получаю недостающее определение случая, когда звоню check c (n:nx) state (l:ls,r:rs) =true,if((isprefix state c)&(r=n)) =false, otherwise Я проверил это, и оно работает само по себе, независимо от того, что я отправляю. Вот откуда я это называ…
06 ноя '11 в 21:22
3
ответа
Представление целых чисел как функций (церковные цифры?)
Учитывая следующее определение функции и допуская аналогичные определения для всех положительных целых чисел, дайте определение типа и код для функции с именем плюс, которая примет в качестве аргументов две такие функции, представляющие целые числа,…
07 мар '14 в 09:46
1
ответ
Не могу открыть Miranda язык программирования tar ball Mac El Capitan
Я пытаюсь: sudo tar xpzf mira-2044-x86_64-Darwin.tgz -C / Я нахожусь в правильном каталоге (моя папка Загрузок), но я получаю эту ошибку: ./usr/: Невозможно установить user=0/group=0 для usr. Невозможно обновить время для usr tar: Ошибка выхода заде…
12 апр '17 в 19:50
3
ответа
Шаблон сопоставления простых типов
Я новичок, пытающийся научиться функциональному программированию. Есть ли способ сопоставления с образцом различных стандартных (не определенных пользователем) типов? Например, если аргумент функции является кортежем, добавьте их, если это просто in…
29 апр '17 в 18:31
1
ответ
Как определить тип данных для программы?
Я пытаюсь подготовиться к экзамену и чувствую, что слайды лекции меня немного смущают. Вероятно, одним из наших тестовых вопросов будет "Какой тип программы programName", но у меня возникли проблемы с пониманием концепции. Я понимаю, что такое типы …
08 июл '16 в 19:31
2
ответа
Haskell: разделить список, используя понимание списка
Как разделить список на две части, используя понимание списка? например, если у меня есть [1,1,2,2,3,3,4,4,5,5] и я хочу только [1,1,2,2,3] мои попытки пока: half mylist = [r | mylist!r ; r <- [0..(#mylist div 2)] ] ||does not work Какие-нибудь м…
05 май '12 в 17:43
2
ответа
Ошибка типа Миранда
Может кто-нибудь сказать мне, где идет не так? b f x = f x (f x) Я понимаю так: потому что f слева принимает один аргумент, а с правой стороны - два аргумента? Есть более подробные объяснения?
21 май '14 в 23:33
4
ответа
Миранда в то время как и для петли
Я ищу способ делать пока-петли или петли-в Миранде. Я пытаюсь сделать что-то вроде while(blablanotfinished) { if(a=true)blabla else blabla }
08 окт '11 в 15:49
2
ответа
Как читать этот функциональный код
Возникли проблемы при чтении (интерпретации) этого функционального кода Miranda. g = (foldr (+) 0) . (foldr ((:) . ((#) . (:[]))) []) Я знаю что это делает Рассчитайте размер списка, взяв длину через # Создание списка из одного элемента, содержащего…
17 май '18 в 01:21
1
ответ
Как ленивая оценка позволяет большую модульность?
В своей статье " Почему функциональное программирование имеет значение" Джон Хьюз утверждает, что "Ленивые вычисления, пожалуй, самый мощный инструмент модульности в репертуаре функционального программиста". Для этого он приводит такой пример: Предп…
19 дек '16 в 22:51
2
ответа
Haskell / Miranda: найдите тип функции
Вкратце: это прошлый экзаменационный вопрос на экзамене в Миранде, но синтаксис очень похож на Haskell. Вопрос: Каков тип следующего выражения и что оно делает? (Определения функций length и swap приведены ниже). (foldr (+) 0) . (foldr ((:) . length…
29 апр '12 в 16:23
0
ответов
Существуют ли еще какие-нибудь лениво оцененные языки, кроме Haskell и Miranda?
На странице википедии упоминаются только Хаскелл и Миранда. Я не уверен насчет вяза. В некоторых других языках особенно легко объявить функцию, которая будет вычисляться лениво. Есть ли языки программирования, в которых у вас есть глобальный переклю…
05 май '15 в 09:27
2
ответа
История команд для мира?
Имеет ли команда mira оболочечный механизм истории для команд, набираемых на терминале? Я постоянно нажимаю стрелку вверх, чтобы исправить мелкую опечатку, но она не работает. Я использую Miranda 2.044 для Mac OS X.
22 апр '13 в 12:27
0
ответов
Миранда выдает ошибку, я не понимаю
Я пытаюсь создать функцию, которая будет находить значение y строки при задании значения a x и строки. Я определил точку как пару чисел, а линию как пару точек, как показано. По большей части это работает, но в последней строке появляется сообщение …
13 сен '20 в 06:08
0
ответов
(НЕОБХОДИМО ОТВЕТИТЬ СКОРЕЕ! СРОК ЗАВТРА!) Ошибки в языке программирования Miranda
Я получаю эту ошибку: ошибка типа в определении avg(строка 11 "test.m") не может объединить [num]->num with num Ошибка типа в определении цикла (строка 29 "test.m") не может объединить [num] с номером УКАЗАНО, НО НЕ ОПРЕДЕЛЕН: grades; ошибка типа…
03 апр '21 в 23:53
1
ответ
рассчитать среднее значение на языке миранда
Мне действительно нужна помощь в поиске способа вычислить среднее значение на языке миранда. Кажется, я получаю эту ошибку, что он не может объединить тип [num] -> num с num. Кажется, я не могу принять сумму списка как значение и сделать деление?…
04 апр '21 в 07:51
2
ответа
Язык Miranda - функция лямбда
Я изучал функциональную парадигму в течение некоторого времени, и за этот период я сделал некоторые успехи и несколько ошибок, и именно с этими ошибками я действительно узнал больше всего. Я считаю, что хороший способ изучить вычислительную паради…
30 дек '20 в 15:32