Вопросы по теме 'associated-types'
haskell Как избежать этого бесконечного вида? (Связанные данные и StateT)
Я хочу установить тип параметра состояния преобразователя монады состояния для соответствующего типа преобразователя монады. Однако это приводит к построению бесконечного типа,
s = AssocTyp (StateT s m) a
Интуиция относительно того, почему...
139 просмотров
schedule
26.12.2021
черты и связанные типы
Я пытаюсь реализовать что-то на Rust с чертами и связанными типами. Я не уверен, как сформулировать свой вопрос словами, поэтому добавлю фрагмент кода, который, надеюсь, проиллюстрирует то, что я пытаюсь сделать.
pub trait Person {}
pub trait...
276 просмотров
schedule
11.05.2022
Укажите связанный тип родительского протокола в дочернем протоколе с помощью Swift
В Swift 2 у меня есть протокол:
protocol Protocol {
typealias Type
}
Когда я хочу использовать Protocol , не определяя, какой тип использовать для Type :
var protocol1: Protocol
Затем появляется следующая ошибка:...
1406 просмотров
schedule
07.10.2022
Псевдонимы границ признаков без указания конкретных связанных типов
Я обнаружил, что пишу разные функции с аргументом в одних и тех же границах, например:
pub fn foo<T>(mut self, path: T) -> Self where
T: IntoIterator,
T::Item: AsRef<str>,
{
// ...
}
pub fn bar<T>(mut self, path:...
58 просмотров
schedule
14.10.2022
Связанные типы Swift и наследование протоколов
Я использую Swift 2.2, и я объявил протокол со связанным типом следующим образом:
protocol CollectionViewModeling {
associatedtype CellType
func cellAtIndexPath(indexPath: NSIndexPath) -> CellType
}
Теперь у меня есть протокол...
2446 просмотров
schedule
17.04.2023
Возврат универсального типа через связанный тип
Я пытаюсь сделать что-то более общее, но не могу попробовать это со связанными типами. Даны черта Shape и тип Renderer , который пытается вернуть Builder для определенного вида формы.
форма
#[derive(Clone, Copy)]
pub struct Rectangle{...
1029 просмотров
schedule
17.12.2022
Добавление ограничения к `associatedtype` протокола
Учитывая следующий код:
protocol __Strideable {
associatedtype Stride
}
struct __ClosedRangeIndex<Bound: __Strideable> where Bound.Stride: SignedInteger {
}
protocol __ClosedRangeType {
associatedtype Bound: __Strideable
//...
281 просмотров
schedule
11.12.2022
Связанные семейства данных и перекрывающиеся экземпляры
Мне нужна «общая» структура данных карты, которую можно было бы эффективно специализировать, предоставляя пользовательские экземпляры, как в раздел руководства GHC по семействам типов .
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE...
202 просмотров
schedule
14.06.2023
Почему границы суперпризнака, отличные от первой, не распознаются в связанном типе?
Этот фрагмент действителен в Rust 1.26.1:
use std::ops::AddAssign;
trait Trait
where
for<'a> Self: AddAssign<Self> + AddAssign<&'a Self> + Sized,
{
}
trait Trait2 {
type Associated: Trait;
fn method(u32) ->...
332 просмотров
schedule
25.06.2023
Как наложить ограничение типа на связанный тип связанного типа (например, Iterator :: Item)?
Я пытаюсь определить черту связанного типа. Я также хочу, чтобы связанный тип реализовал Iterator с его Item связанным типом, реализующим AsRef<str> .
Хотя я знаю, как это сделать для функции или конкретного Iterator::Item типа, я не...
1057 просмотров
schedule
24.11.2022
Общий индекс с ограничениями на связанный тип приводит к невозможности индексации значения типа
Используя Swift 4.2, я пытаюсь написать общую систему, чтобы избавиться от строк в качестве ключа словарей, чтобы вместо этого использовать перечисления.
Вот с чем я пришел:
extension Dictionary where Key == String {
subscript<T :...
105 просмотров
schedule
19.05.2023
перечисления с ассоциированными значениями + обобщенные типы + протокол с ассоциированным типом
Я пытаюсь сделать свою службу API как можно более универсальной:
Сервисный класс API
class ApiService {
func send<T>(request: RestRequest) -> T {
return request.parse()
}
}
Чтобы компилятор мог определить тип ответа из...
1078 просмотров
schedule
11.05.2022
Возможно ли в Swift требовать, чтобы связанный тип соответствовал связанному протоколу связанного типа?
Я пытаюсь (по сути, без причины) создать протокол, который описывает категории из теории категорий. Я пытался придумать что-то подобное.
protocol Category {
associatedtype Object: Protocol
}
protocol Hom {
associatedtype C: Category...
378 просмотров
schedule
20.04.2022
Метод в неконечном классе не может быть реализован в расширении протокола, поскольку он возвращает «Я» и имеет связанные требования к типу.
Это мой код:
protocol Person {
associatedtype Homework
static func generate(homeWork: Homework) -> Self
}
extension Person {
static func generate(homeWork: Homework) -> Self {
fatalError()
}
}
// Method...
194 просмотров
schedule
28.10.2023
Как объединить F-ограниченный полиморфизм с ассоциированными типами в Scala?
У меня есть черта под названием Graphlike для вещей, которые работают как граф. Примечательно, что одно из свойств, которое я хочу иметь, заключается в том, что метод g.subgraph(Set(1, 2, 3)) будет возвращать подграф того же типа только с...
80 просмотров
schedule
05.01.2023
Почему для протокола идентификации необходимо ссылаться на себя?
В реализации идентифицируемого
требуемая функция
associatedtype ID
var id: Self.ID { get }
почему требуется самовывоз? В чем разница между этим и
associatedtype ID
var id: ID { get }
41 просмотров
schedule
26.02.2022
Проблема с associtedtype при ссылке на метатип протокола
Вот моя проблема:
Допустим, у меня есть протокол, в котором associatedtype указывает на его метатип:
protocol TestMeta {
associatedtype T
var x : T.Type { get }
var y : T { get }
}
Если я создам структуру с конкретным...
45 просмотров
schedule
23.12.2022
