Он должен иметь что-то общее с реализацией SortedMap
, так как версия, использующая простую List
, работает, как и ожидалось:
N : List (String, Type)
N =
[ ("a", Nat)
, ("b", String)
]
t : lookup "a" N = Just Nat
t = Refl
Согласно документам Data.SortedMap.lookup
также является полной, поэтому это должно уменьшить. Возможно, причина в том, что функции и типы данных в SortedMap
, похоже, имеют спецификатор экспорта, тогда как в Data.List используются public export
.
Я думаю, что Вы могли бы обнаружить, что чрезвычайно трудно найти этих людей прямо сейчас..., поскольку большинство разработчиков знакомо с комплектом Adobe продуктов а не комплектом Выражения.
Я думаю, что много людей узнает, что эти навыки должны быть выращены..., перемещается ли разработчик программного обеспечения с тенденциями разработчика больше к стороне разработчика... или перемещается ли разработчик с тенденциями разработчика больше к стороне разработчика. Я - пример первого.
Я также добавил бы, что культивирование этих навыков намного более трудно, когда тот человек не работает в непосредственной близости (как большинство фрилансеров работает удаленное или даже далеко).
Все, что быть сказанным, я уверен, что все хотели бы услышать, имеете ли Вы успех у располагающихся людей с этими навыками... и где Вы нашли их.
Вы могли бы найти это сообщение интересным также.
Craigslist является большим, особенно если Вы будете работать с кем-то удаленно. Я - также большой поклонник LinkedIn.
Да я соглашаюсь что роль Смешения Выражения 'Integrators'is трудно для нахождения. Проверьте сайт, который является инициативой повысить мир дизайна http://projectrosetta.com/