их ещё могут применить, кроме оптики, да и про оптику ничего не понятно. А вот более простая штука
multiply a b = a * b
Какие здесь осмысленные имена должны быть?
https://github.com/hablapps/DontFearTheProfunctorOptics
профунктором, например, может быть очередь data Queue input output = forall a. Queue { pack :: input -> a, unpack :: output :: a -> output, values :: [a] }
Это доведение до абсурда. Если вы мне предъявите человека, который по строчке multiply a b не поймет, что означают a и b, то тут будет что обсуждать
ну у таких вещей кстати как раз есть имена
У всех вещей есть имена. Если ты можешь объяснить, как используется та или иная переменная, ты можешь написать ей отвратительноСтрашноеИмяПеременнойКотораяВДанномСлучаеИспользуетсяДляПримера
Обсуждают сегодня