Вопросы по теме 'type-parameter'
Может ли Scala разрешить свободные параметры типа в аргументах (являются ли параметры типа Scala гражданами первого класса?)?
У меня есть код на Scala, который делает что-то изящное с двумя разными версиями функции с параметризацией типа. Я сильно упростил это из своего приложения, но, в конце концов, мой код полон вызовов формы w(f[Int],f[Double]) , где w() — мой...
3925 просмотров
schedule
04.11.2022
Scala передает параметры типа объекту
В Скала версии 2.7.7
у меня есть файл с
class Something[T] extends Other
object Something extends OtherConstructor[Something]
Это вызывает ошибку:
class Something принимает параметры типа object Something расширяет...
15341 просмотров
schedule
03.11.2022
Вызов метода параметра типа
Есть ли способ сделать такой код:
class GenericClass<T>
{
void functionA()
{
T.A();
}
}
Или как вызвать функцию параметра типа (тип - это какой-то мой настраиваемый класс).
3777 просмотров
schedule
24.09.2022
Можно ли писать универсальные сущности на VHDL?
Итак, я недавно унаследовал некоторый код VHDL, и моей первой реакцией было: «VHDL имеет структуры, почему они везде используют битовые векторы?» А потом я понял, что это потому, что, кажется, нет никакого способа написать что-то вроде этого:...
3082 просмотров
schedule
08.06.2022
Scala: как заставить копию класса case сохранять информацию о манифесте
Предполагается, что метод классов copy() создает идентичную копию экземпляра, а также заменяет все поля по имени. Кажется, это не работает, когда класс case имеет параметры типа с манифестами. Копия теряет все знания о типах своих параметров....
1646 просмотров
schedule
04.05.2023
Разве ‹U, T расширяет U› и ‹T, U super T› не одно и то же?
У меня путаница в следующих двух объявлениях методов:
private <U, T extends U> T funWorks(T child, U parent) {
// No compilation errors
}
private <T, U super T> T funNotWorks(T child, U parent) {
// compilation...
399 просмотров
schedule
25.02.2022
Сопоставление с образцом в синонимах типов / синонимах типов для параметров внутреннего типа
У меня есть что-то похожее на этот класс в моем коде. В моей ситуации нет смысла добавлять a' в качестве еще одного параметра к классу Foo.
class Foo a where
type FCtx a a' :: Constraint
type FCtx a a' = ()
f :: (FCtx a a') => a...
280 просмотров
schedule
08.09.2022
Как проверить (общий (общий аргумент))?
Фон (о котором нам не нужно беспокоиться)
Это вопрос, полученный из Build A Generic Tree With Inheritance . Я открываю этот вопрос как отдельный вопрос, потому что это связано не только с проблемой дерева. Вместо этого это скорее общая и...
744 просмотров
schedule
23.08.2022
Option Strict Для проблем, когда общий тип неизвестен до времени выполнения.
У меня есть следующий код, который отлично работал в течение нескольких месяцев, но я забыл создать этот класс с помощью Option Strict On , поэтому теперь я собираюсь вернуться, чтобы правильно очистить свой код, однако я не смог найти способ обойти...
216 просмотров
schedule
16.05.2023
Класс среды выполнения Scala из параметра типа
У меня есть черта scala [эта черта не компилируется]
trait MyTrait[T <: Enum] {
def myMethod(name: String): T = {
MyJavaClass.staticMethod(name, classOf[T])
}
}
И класс Java
public class MyJavaClass {
public static <T...
4280 просмотров
schedule
16.01.2023
Индуктивный предикат с параметрами типа в Isabelle
Я начал изучать Изабель и хотел попробовать определить моноид в Изабель, но не знаю, как это сделать.
В Coq я бы сделал что-то вроде этого:
Inductive monoid (τ : Type) (op: τ -> τ -> τ) (i: τ): Prop :=
| axioms: (forall (e: τ), op e i =...
339 просмотров
schedule
30.12.2022
Scala привязана к части параметра типа
У меня есть класс, который принимает параметр типа, и я бы хотел, чтобы метод класса был ограничен аргументами, которые придерживаются этой параметризации. Однако, когда класс конкретно создается, параметр типа имеет дополнительные смешанные черты,...
57 просмотров
schedule
02.02.2023
Неявно определенные универсальные типы, возможно ли это?
В настоящее время я хочу написать общий метод расширения. Если в параметрах доступен каждый универсальный тип, мне не нужно определять общие типы:
//Extension Method
public static GridBoundColumnBuilder<TModel>
BoundEnum<TModel,...
116 просмотров
schedule
17.01.2023
Синтаксис параметра типа Scala
(TL;DR Посмотрите на нижний фрагмент кода и ошибки под ним)
Итак, я считаю, что у меня простая проблема, но я новичок в Scala и не вижу ее.
Краткое описание проекта: я создаю класс AbstractRoad, который содержит внутренний класс Builder. Другие...
192 просмотров
schedule
11.11.2022
Java непроверенный приведение к типу предупреждения о параметре, несмотря на то, что он является экземпляром
Предположим, у вас есть этот список:
private final List<? extends AbstractXmlElement> inMemoryElements;
который содержит кучу объектов подклассов AbstractXmlElement, и вы хотите добавить метод для фильтрации объектов определенного...
155 просмотров
schedule
28.05.2023
Scala — параметры типа метода
Я пытаюсь понять некоторый автоматически сгенерированный компилятором scala код, но я не знаю, что искать.
У меня есть следующий класс:
trait Arrow1[F[_, _]]
abstract class Test {
def f1[F[_, _] : Arrow1, A, B, C](fa: F[A,B], fb: F[A, C]):...
89 просмотров
schedule
30.08.2022
Kotlin — параметры общего типа не соблюдаются
Рассмотрим следующий пример:
import kotlin.reflect.KProperty1
infix fun <T, R> KProperty1<T, R>.test(value: R) = Unit
data class Foo(val bar: Int)
fun main() {
Foo::bar test "Hello"
}
Учитывая, что test ожидает value...
522 просмотров
schedule
15.07.2023
Как проверить, реализует ли (переменная типа) Class ‹T› интерфейс SomeInterface ‹T extends SomeInterface ‹T››?
Я работаю с данными JSON и конвертирую их в класс Java POJO, затем я создал такой интерфейс:
public interface DataUtil<T extends DataUtil<T>> {
default T someDefaultFn() { ... };
}
И я использовал этот интерфейс для некоторого...
47 просмотров
schedule
24.02.2022