Применить функцию к первому элементу кортежа

@Сtrl · Регистрация: 19.07.2011

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

Haskell
1
mapFst f (a, b) = (f a, b)

Велосипед же. Нет ли в стандартной библиотеке схожих средств?

@Mysterious Light · 07.10.2012, 23:45

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

Единственно, что дал мне hoogle: http://hackage.haskell.org/pac... Monad.html
Ещё можно привести класс Arrow, у которого метод

Haskell
1
first :: a b c -> a (b,d) (c,d)

обладает похожими свойствами. В примитивном случае (a b c) суть hom-set (множество стрелок из b в c, b->c), значит, при должном выборе a будет такая картина:

Haskell
1
first :: (b->c) -> ((b,d)->(c,d))

Я не очень хорошо знаю этот класс, поэтому ничего более конкретного не могу сказать.

@Сtrl · 08.10.2012, 01:07 **[ТС]**

Хм, спасибо. А для такого велосипеда есть аналог?

Haskell
1
2
3
4
dropTo c s
    | (null s) = s
    | (head s == c) = tail s
    | otherwise = dropTo c (tail s)

@Nameless One · 08.10.2012, 06:31

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

Хм, спасибо. А для такого велосипеда есть аналог?

Почти как dropWhile (/= c), только там элемент, с которым сравниваем, остается в списке. Можно выразить твою функцию через dropWhile:

Haskell
1
2
3
4
5
6
import Data.List
 
dropTo :: Eq a => a -> [a] -> [a]
dropTo c = safeTail . dropWhile (/= c)
   where safeTail []     = []
         safeTail (_:xs) = xs

@Catstail · 09.10.2012, 09:36

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

Велосипед же.

- а что плохого в велосипеде? Ведь работает...

@Mysterious Light · 09.10.2012, 11:09

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

- а что плохого в велосипеде? Ведь работает...

По-хорошему, ничего плохого нет: описание функции понятное, не костыльное, GHC всё равно оптимизирует эту функцию по-максимуму (последнее не проверял, просто так мне интуиция подсказывает).

@Catstail · 09.10.2012, 11:28

Вот и я - о том же... Лучше запоминать принципы, чем интерфейс нескольких сот библиотечных функций.

@Mysterious Light · 09.10.2012, 12:13

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

Лучше запоминать принципы, чем интерфейс нескольких сот библиотечных функций.

Вы лишь отчасти правы. Незнание библиотек — великое зло.

Поясню на своём примере: как правило, при постановке новой задачи у меня возникает необходимость использовать новый приём (для хаскелля — функцию/класс, для иных языков — связка объекты-методы-циклы) и я, зная, что я хочу получить, с интузиазмом быстро набрасываю 5-30 строчек "с головы". Далее отлаживаю их и т.д.
Когда через год-два я просматриваю исходники прошлых проектов, изумляюсь, как можно было столько велосипедов нагородить. В этом месте 20 строчек, описывающих алгоритм локальной задачи, можно было б заменить на один вызом функции %functionname% с громкоговорящим названием из библиотеки %libname%; в том 5 строчек можно заменить одной, которая, между тем, была б быстрее и не содержит бага, который не проявляет себя почти никак, но он есть. И так далее.

Вообще, библиотеки нужны, чтобы унифицировать код. Два человека, использующих одну и ту же библиотеку, решат одну и ту же задачу почти одинаково. Плюсы:
1. Код пишется быстрее при знании блиблиотеки
2. Код понимается быстрее, если он писался с использованием той же библиотеки, которую бы читающий использовал при решении аналогичной задачи
Минус: нужно учить и помнить много библиотек

@Catstail · 10.10.2012, 22:03

Не хочу устраивать холивар на эту тему... Но Вы тоже правы лишь отчасти:

Сообщение от Mysterious Light

Когда через год-два я просматриваю исходники прошлых проектов

- эта ситуация совершенно естественна, пока Вы овладеваете языком. Потом все стабилизируется.

Сообщение от Mysterious Light

Код пишется и понимаетя быстрее

- пожалуй

Сообщение от Mysterious Light

Минус: нужно учить и помнить много библиотек

- не только. Подмена реального программирования знанием библиотечных вызовов понижает планку квалификации... Для тупого кодера (а главное - для его начальника) это, может быть, и хорошо. А для уважающего себя программиста - не очень.

На собеседовании джависта попросили отсортировать массив. "Это очень просто" - сказал он - "A.Sort" ... Помнится некий лит. герой говорил: "Зачем мне география, скажу извозчику - он привезет куда надо".

PS

Своего мнения отнюдь не навязываю, но при нем остаюсь.

Новые блоги и статьи Все статьи Все блоги /
Первый деплой lagorue 16.01.2026 Не спеша развернул своё 1ое приложение в kubernetes. А дальше мне интересно создать 1фронтэнд приложения и 2 бэкэнд приложения развернуть 2 деплоя в кубере получится 2 сервиса и что-бы они. . .	Расчёт переходных процессов в цепи постоянного тока igorrr37 16.01.2026 / * Дана цепь постоянного тока с R, L, C, k(ключ), U, E, J. Программа составляет систему уравнений по 1 и 2 законам Кирхгофа, решает её и находит токи на L и напряжения на C в установ. режимах до и. . .	Восстановить юзерскрипты Greasemonkey из бэкапа браузера damix 15.01.2026 Если восстановить из бэкапа профиль Firefox после переустановки винды, то список юзерскриптов в Greasemonkey будет пустым. Но восстановить их можно так. Для этого понадобится консольная утилита. . .	Изучаю kubernetes lagorue 13.01.2026 А пригодятся-ли мне знания kubernetes в России?
Сукцессия микоризы: основная теория в виде двух уравнений. anaschu 11.01.2026 https:/ / rutube. ru/ video/ 7a537f578d808e67a3c6fd818a44a5c4/	WordPad для Windows 11 Jel 10.01.2026 WordPad для Windows 11 — это приложение, которое восстанавливает классический текстовый редактор WordPad в операционной системе Windows 11. После того как Microsoft исключила WordPad из. . .	Classic Notepad for Windows 11 Jel 10.01.2026 Old Classic Notepad for Windows 11 Приложение для Windows 11, позволяющее пользователям вернуть классическую версию текстового редактора «Блокнот» из Windows 10. Программа предоставляет более. . .	Почему дизайн решает? Neotwalker 09.01.2026 В современном мире, где конкуренция за внимание потребителя достигла пика, дизайн становится мощным инструментом для успеха бренда. Это не просто красивый внешний вид продукта или сайта — это. . .

@Catstail Супер-модератор 38167 / 21102 / 4307 Регистрация: 12.02.2012 Сообщений: 34,690 Записей в блоге: 14
	09.10.2012, 11:28
	Вот и я - о том же... Лучше запоминать принципы, чем интерфейс нескольких сот библиотечных функций. 0