Какие ограничения накладывает скала на «приемлемую сложность» предполагаемых типов?

Question

Какие ограничения накладывает скала на «приемлемую сложность» предполагаемых типов?

122

В соответствии с Scala Language Spec:

... вывод локального типа разрешен для ограничения сложности выведенных границ [параметров типа]. Минимальные и максимальные типы должны быть поняты по отношению к набору типов приемлемой сложности.

На практике, каковы пределы?

Кроме того, существуют ли разные ограничения, применимые к типам выведенных выражений, чем к ограничениям типа параметра и каковы эти пределы?

Owen 11 июль 2012, в 03:32

Источник

2

в этом блоге есть интересная дискуссия на эту тему
Jamil 11 июль 2012, в 11:50
0

Да, в нем упоминается один тип типа, который Scala откажется выводить: частично примененный конструктор типов. Интересно, есть ли другие?
Owen 11 июль 2012, в 22:17
20

Я бы предложил разместить в списке рассылки на языке scala, упомянутом здесь: scala-lang.org/node/199
Dave L. 11 окт. 2012, в 19:57
1

Я не уверен, но я думаю, что это означает, например, что у нас есть список строк, и мы добавляем к нему int. Возвращаемый неизменный список в конечном итоге имеет тип «Любой». Так что максимальность типов
Jatin 02 дек. 2012, в 13:12
8

Это на самом деле движущаяся цель, так как разные версии компилятора Scala имеют разные ограничения. Это изменилось, и я ожидаю, что оно продолжит изменяться, по крайней мере, в ближайшем будущем, так как язык продолжает развиваться. Я отклоняю этот вопрос, потому что на него нельзя ответить, как он сейчас заявлен.
Kevin Sitze 21 дек. 2012, в 07:08
1

@ Кевин Действительно так. Полагаю, меня больше всего интересует scala 2.9, так как она недавно появилась, но стабильна. Но мне интересно, сколько это изменится.
Owen 28 дек. 2012, в 19:00
1

@KevinSitze В любом случае, я думаю, что некоторые объяснения были бы полезны, так как этот вопрос неоднократно встречался в той или иной форме на разных сайтах, в списках рассылки и блогах. Вывод Scala может быть в лучшем случае хорошим, а в худшем - ужасным. Один пример такого может быть найден в моем вопросе, связанном с предполагаемыми типами выражений.
Alex DiCarlo 10 янв. 2013, в 18:44

Показать ещё 5 комментариев

Теги:

scala

type-inference

1 ответ

Ещё вопросы

в этом блоге есть интересная дискуссия на эту тему
Да, в нем упоминается один тип типа, который Scala откажется выводить: частично примененный конструктор типов. Интересно, есть ли другие?
Я бы предложил разместить в списке рассылки на языке scala, упомянутом здесь: scala-lang.org/node/199
Я не уверен, но я думаю, что это означает, например, что у нас есть список строк, и мы добавляем к нему int. Возвращаемый неизменный список в конечном итоге имеет тип «Любой». Так что максимальность типов
Это на самом деле движущаяся цель, так как разные версии компилятора Scala имеют разные ограничения. Это изменилось, и я ожидаю, что оно продолжит изменяться, по крайней мере, в ближайшем будущем, так как язык продолжает развиваться. Я отклоняю этот вопрос, потому что на него нельзя ответить, как он сейчас заявлен.
@ Кевин Действительно так. Полагаю, меня больше всего интересует scala 2.9, так как она недавно появилась, но стабильна. Но мне интересно, сколько это изменится.
@KevinSitze В любом случае, я думаю, что некоторые объяснения были бы полезны, так как этот вопрос неоднократно встречался в той или иной форме на разных сайтах, в списках рассылки и блогах. Вывод Scala может быть в лучшем случае хорошим, а в худшем - ужасным. Один пример такого может быть найден в моем вопросе, связанном с предполагаемыми типами выражений.

retronym · Accepted Answer · 2013-02-04T13-46-00.000Z

При выводе типов компилятор часто должен рассчитать наименьшую верхнюю границу (LUB) списка типов. Например, тип if (cond) e1 else e1 - это LUB типов e1 и e1.

Эти типы могут быть довольно большими, например, попробовать это в REPL:

:type Map(1 -> (1 to 10), 2 -> (1 to 10).toList)
scala.collection.immutable.Map[Int,scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int] with Serializable{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def dropRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def takeRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def drop(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def take(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]}; def dropRight(n: Int): scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]{def reverse: scala.collection.immutable.Seq[Int] with scala.collection.AbstractSeq[Int]; def dropRight(n: Int): scala.collection.immutable.Seq[Int]...

Этот commit ввел некоторые проверки здравомыслия, чтобы ограничить глубину таких предполагаемых типов.

Была проведена некоторая недавняя работа по подключению к процессу компиляции для обнаружения выведенных типов, которые занимают много времени для расчета, и предлагают места, где явная аннотация типа может быть разумной.