structural-typing

6зной

3ответ

Как использовать структурный тип с общими параметрами?

У меня есть два конкретных классов case class StringCaseClass(argument: String) case class IntCaseClass(argument: Int) Я хочу, чтобы определить структурный тип, который будет соответствовать объек

4зной

3ответ

Структурная типизация и полиморфизм в Go - Написание метода, который может работать на двух типах с одинаковыми полями

Я начал изучать Go после игры со структурной типизацией на других языках, таких как Scala и OCaml, и я пытаюсь отобразить некоторые из них идиоматические методы между языками. Рассмотрим следующие тип

4зной

2ответ

Что нужно изменить, если структурная типизация была добавлена в C#?

В том же духе к сообщению в блоге Эрика на non nullable reference types, где решение проблемы кажется тривиальным, но его явно нет. Почему не удалось добавить структурную типизацию в C#? Какие проблем

6зной

1ответ

Уточнение структурного типа и равенство типов

Я наткнулся на недоумение поведения Type.=:= при применении на типе рефинансирования. Рассмотрим: import reflect.runtime.universe._ type T1 = AnyRef { def apply(name: String): Unit def foo:

2зной

2ответ

Почему C# дразнят со структурной типизацией, когда он абсолютно знает, что у нее ее нет?

Я был удивлен, увидев сегодня, что это возможно, но я беспокоюсь, что это должно обсуждаться раньше. public interface ICanAdd { int Add(int x, int y); } // Note that MyAdder does NOT implemen

7зной

4ответ

Почему у Haskell нет записей со структурной типизацией?

Я слышал, как Haskell описывал структурную типизацию. Записи являются исключением из этого, хотя я понимаю. Например, foo нельзя назвать чем-то типа HRec2, хотя HRec и HRec2 только номинально отличают