На произвольной глубине

ну ты все равно строишь путь

Ну jQuery найдет скажем 'p > div' на любой глубине. Конкретизация не нужна. Вот я и подумал что в нормальных навороченных линзовых библиотеках должна быть такая же возможность

Ибо не иметь ее довольно странно, так как задача может быть довольно востребована )

ну у линз так не работает

Ну jQuery найдет скажем 'p > div' на любой глубине. Конкретизация не нужна. Вот я и подумал что в нормальных навороченных линзовых библиотеках должна быть такая же возможность

Разве это не обычный document.querySelectorAll? Лол.

Этот механизм нативный и пилится на движке браузера.

Ибо не иметь ее довольно странно, так как задача может быть довольно востребована )

Таки довольно странно ее иметь

Линзы - немного не тот инструмент

Линзы довольно четкие и точные

линзы это некий точечный геттер сеттер

и им нужен путь в какую точку смотреть

Этот механизм нативный и пилится на движке браузера.

Точнее не механизм, а сам язык стилей, css.

Этот механизм нативный и пилится на движке браузера.

Я jQuery привел потому что там выборку можно делать программно, как и в partial.lenses. И когда-то этого движка нативного еще не было )

Я jQuery привел потому что там выборку можно делать программно, как и в partial.lenses. И когда-то этого движка нативного еще не было )

был Sizzle

То есть, когда-то, когда все на таблицах ещё верстали? Лол.

катаморфизм вам в монаду

линзы это некий точечный геттер сеттер

Странно зачем такое ограничение. Ведь она же не привязана к конкретному полю конкретного объекта.

а раз так, то должно быть пофиг где это поле искать

такой лол рассчитывать на то что либы в 2017 всё ещё стараются всё делать автомагически как жквери

ещё использовать сложение разных типов как фичу и нул как фолс

а раз так, то должно быть пофиг где это поле искать

Мне кажется или ты хочешь dfs?

Странно зачем такое ограничение. Ведь она же не привязана к конкретному полю конкретного объекта.

что тут странного? ты же должен знать куда добираться

анаморфизм вам в скаляр

А есть ли такая модификация линз, которая возвращает массив найденного? Ну или первый найденный случай (это уже аналог querySelector)

А есть ли такая модификация линз, которая возвращает массив найденного? Ну или первый найденный случай (это уже аналог querySelector)

как ты себе это представляешь?

)

Да, конечно использовать ее пришлось бы не как обычные линзы )

Чувак, ты вообще понимаешь, что такое линзы?)

хиломорфизм вам в факториал

Че ты несешь?)

Чувак, ты вообще понимаешь, что такое линзы?)

Если своими словами, то функция, предоставляющая интерфейс для работы с определенным полем

object.lensesQuery('field1.field[0..9]+)

то есть, она может иметь заданные геттер и сеттер

object.lensesQuery('field1.field[0..9]+)

лол

Че ты несешь?)

я?

lQuery

Да, ты)

object.lensesQuery('field1.field[0..9]+)

ох е! думаю хаскелл скажет нет)

object.lensesQuery('field1.field[0..9]+)

lQuery('field1.field[0..9]+')

Да, ты)

а что?) это не правда?

Я про это

катаморфизм вам в монаду

анаморфизм вам в скаляр

хиломорфизм вам в факториал

ето стихи

Не удивлюсь если он и в жизни так ругается. Где-нибудь, стоя в очереди )

хиломорфизм вам в факториал

но ведь это правда)

lQuery('field1.field[0..9]+')

Инстанса нет, лол, но спереди некрасиво что-то лепить.

*гилеморфизм же, не хило

http://quickdocs.org/lquery/api

я не понимаю шутку

(не умею читать лисповые доки)

*гилеморфизм же, не хило

как тебе такой яд?) fibN' :: Nat -> Integer fibN' = histo $ \case (toList' -> x:y:_) -> x + y (toList' -> [_]) -> 1 (toList' -> _) -> 0

алгебра Nat -> ListF

а получает Integer

http://quickdocs.org/lquery/api

лол, оно существует

Че за хисто?

я не понимаю шутку

Эм.

(не умею читать лисповые доки)

http://learn.jquery.com/using-jquery-core/selecting-elements/

Че за хисто?

хистоморфизм - дает возможность смотерть в прошлое на сколько хочешь шагов через Cofree Monad

Ага, давай дальше

Что такое кофри

а футуморфизм - в будущее)

Показалось coffee

хистоморфизм - дает возможность смотерть в прошлое на сколько хочешь шагов через Cofree Monad

ошибка

ERROR: S client not available

косвободная комонада

ее изоморфизм будет наверное Stream

Показалось coffee

Сайд эффект от упоминания жиквери.

а для свободной монады изоморфизм будет список

Так, мне теперь интересно, что ты понимаешь под изоморфизмом типа

есть свободные монады, имея функтор можно построить монаду for free

Так, мне теперь интересно, что ты понимаешь под изоморфизмом типа

изоморфизм - это когда ты можешь подменить тип но не потерять данные

В обе стороны?

http://learn.jquery.com/using-jquery-core/selecting-elements/

ну просто подумал что вдруг такое существует нагуглил lquery и подумал что вы не просто рофлите

вот для Fix(ListF) === List

изоморфны

В обе стороны?

f . g = idA g . f = idB

Хм, вот это тоже было интересно мне, как id может быть разным?

idA = idB, зачем их разделять?

ну вот maybeFromList . listFromMaybe если местами поменять то другое будет

Хм, ну да, один из мейби в мейби, другой из списка в список

вот

2 разных id

хотя это не изоморфизм, а больше натуральное преобразование

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

я написал

просто пример такой не очень удачный взял

fmap f (nt x) == nt(fmap f x)

это закон для NT

можно вернуться к множествам

у нас есть инъекция, суръекция и биекция

в категориях это что?)

Эндо, авто

Изо

Нет?

инъекция это мономорфизм

Моно*, да