Приведите пример нетривиальных выражений, принадлежащих следующему типу

@Doriana · Регистрация: 17.10.2010

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

Помогите пожалуйста разобраться с этим заданием. Дня 2 назад начали изучать этот язык функционального программирования. Как выполнять это задание? Объясните пожалуйста. Для меня это пока сложно

. Уже раздобыла книжки,пытаюсь изучать. Спасибо большое.

Приведите пример нетривиальных выражений, принадлежащих
следующему типу:

((Char,Integer), String, [Double])
[(Double,Bool,(String,Integer))]
([Integer],[Double],[(Bool,Char)])
[[[(Integer,Bool)]]]
(((Char,Char),Char),[String])
(([Double],[Bool]),[Integer])
[(Integer, (Integer,[Bool]))]
(Bool,([Bool],[Integer]))
[([Bool],[Double])]
[([Integer],[Char])]

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

@Nameless One · 09.02.2012, 16:05

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

((Char,Integer), String, [Double])

Code
1
2
3
4
5
> (('c', 3), "foo", [2.3, 42.0, 12.0])
(('c',3),"foo",[2.3,42.0,12.0])
> :t it
it :: ((Char, Integer), [Char], [Double])
>

String — это синоним для [Char] (т.к. строка — это список символов):

Code
1
2
3
> :i String
type String = [Char]    -- Defined in GHC.Base
>

[(Double,Bool,(String,Integer))]

Code
1
2
3
4
5
> [(15.0, True, ("bar", 3)), (0.0, False, ("quuz", 42))]
[(15.0,True,("bar",3)),(0.0,False,("quuz",42))]
> :t it
it :: [(Double, Bool, ([Char], Integer))]
>

и т.д.

@Doriana · 09.02.2012, 22:15 **[ТС]**

Спасибо большое, немного разобрала

Новые блоги и статьи Все статьи Все блоги /
1С: Контроль уникальности заводского номера Maks 23.03.2026 Алгоритм контроля уникальности заводского (или серийного) номера на примере документа выдачи шин для спецтехники с табличной частью. Данные берутся из регистра сведений, по которому настроено. . .	Хочу заставить корпорации вкладываться в здоровье сотрудников: делаю мат модель здравосохранения anaschu 22.03.2026 e7EYtONaj8Y Z4Tv2zpXVVo https:/ / github. com/ shumilovas/ med2. git	1С: Программный отбор элементов справочника по группе Maks 22.03.2026 Установка программного отбора элементов справочника "Номенклатура" из модуля формы документа. В качестве фильтра для отбора справочника служит группа номенклатуры. Отбор по наименованию группы. . .	Как я обхитрил таблицу Word Alexander-7 21.03.2026 Когда мигает курсор у внешнего края таблицы, и нам надо перейти на новую строку, а при нажатии Enter создается новый ряд таблицы с ячейками, то мы вместо нервных нажатий Энтеров мы пишем любые буквы. . .
Krabik - рыболовный бот для WoW 3.3.5a AmbA 21.03.2026 без регистрации и смс. Это не торговля, приложение не содержит рекламы. Выполняет свою непосредственную задачу - автоматизацию рыбалки в WoW - и ничего более. Однако если админы будут против -. . .	1С: Программный отбор элементов справочника по значению перечисления Maks 21.03.2026 Установка программного отбора элементов справочника "Сотрудники" из модуля формы документа. В качестве фильтра для отбора служит значение перечислений. / / Событие "НачалоВыбора" реквизита на форме. . .	Переходник USB-CAN-GPIO Eddy_Em 20.03.2026 Достаточно давно на работе возникла необходимость в переходнике CAN-USB с гальваноразвязкой, оный и был разработан. Однако, все меня терзала совесть, что аж 48-ногий МК используется так тупо: просто. . .	Оттенки серого Argus19 18.03.2026 Оттенки серого Нашёл в интернете 3 прекрасных модуля: Модуль класса открытия диалога открытия/ сохранения файла на Win32 API; Модуль класса быстрого перекодирования цветного изображения в оттенки. . .

@Doriana 0 / 0 / 0 Регистрация: 17.10.2010 Сообщений: 21

	Приведите пример нетривиальных выражений, принадлежащих следующему типу 09.02.2012, 14:34. Показов 9258. Ответов 2 Метки нет (Все метки) Помогите пожалуйста разобраться с этим заданием. Дня 2 назад начали изучать этот язык функционального программирования. Как выполнять это задание? Объясните пожалуйста. Для меня это пока сложно. Уже раздобыла книжки,пытаюсь изучать. Спасибо большое. Приведите пример нетривиальных выражений, принадлежащих следующему типу: ((Char,Integer), String, [Double]) [(Double,Bool,(String,Integer))] ([Integer],[Double],[(Bool,Char)]) [[[(Integer,Bool)]]] (((Char,Char),Char),[String]) (([Double],[Bool]),[Integer]) [(Integer, (Integer,[Bool]))] (Bool,([Bool],[Integer])) [([Bool],[Double])] [([Integer],[Char])] Требование нетривиальности в данном случае означает, что встречающиеся в выражениях списки должны содержать больше одного элемента. 0

@Doriana 0 / 0 / 0 Регистрация: 17.10.2010 Сообщений: 21
	09.02.2012, 22:15 [ТС]
	Спасибо большое, немного разобрала 0