Публикации по теме 'type-systems'


О семантике mut для владения
Я только что решил проблему в Leetcode с такой подписью: pub fn num_islands(grid: Vec<Vec<char>>) -> i32 Когда я решил это, я изменил его на: pub fn num_islands(mut grid: Vec<Vec<char>>) -> i32 { … и я действительно использовал «mut», я изменил сетку вместо использования Queue или чего-то подобного (я заглянул в другие решения после того, как решил это). Я обманывал? Я верю, что не был. И причина в том, что подпись здесь очень явная: я получаю..

Вопросы по теме 'type-systems'

Что такое экзистенциальный тип?
Я прочитал статью в Википедии Экзистенциальные типы . Я понял, что их называют экзистенциальными типами из-за экзистенциального оператора (∃). Однако я не уверен, в чем смысл этого. какая разница между T = ∃X { X a; int f(X); } а также...
28141 просмотров

Можно ли наложить ограничения неравенства на переменные типа haskell?
Можно ли наложить ограничение неравенства на переменные типа функции, а-ля foo :: (a ~ b) => a -> b как в документы семейства типов GHC , за исключением неравенства, а не равенства? Я понимаю, что, возможно, нет прямого способа сделать это...
2465 просмотров
schedule 14.05.2024