Страничка семинара теории типов - История изменений

Ulysses: /* Generics of a Higher Kind */ «передаём модели»

2013-02-23T17:25:47Z

Generics of a Higher Kind: «передаём модели»

← Предыдущая версия		Версия от 20:25, 23 февраля 2013
Строка 231:		Строка 231:

	И с другой стороны есть возможность указать надтип и подтип для параметров шаблона.		И с другой стороны есть возможность указать надтип и подтип для параметров шаблона.

			'''''Ulysses:'''''

			Не «передаём», а указываем при описании функций — это полный аналог requires. Если есть implicit, то явно передавать при вызове не требуется.

Juliet: /* Generics of a Higher Kind */

2013-02-21T18:36:23Z

Generics of a Higher Kind

← Предыдущая версия		Версия от 21:36, 21 февраля 2013
Строка 222:		Строка 222:
	}		}
	</source>		</source>


			'''''Juliet:'''''

			В общем, итоги на SO (http://stackoverflow.com/questions/15001138/modelling-of-c-concepts-with-scala-traits).

			То есть я так понимаю, на Scala мы пишем примерно то, во что генерируются концепты у Сика. То есть явно передаем модели.

			И с другой стороны есть возможность указать надтип и подтип для параметров шаблона.

Juliet: /* Generics of a Higher Kind */

2013-02-21T10:30:31Z

Generics of a Higher Kind

← Предыдущая версия		Версия от 13:30, 21 февраля 2013
Строка 151:		Строка 151:

	Причем ''не указывать'' параметры при вызове pfind не получается, ошибка: <tt>Type inferred type arguments [Nothing,IntNumber,Int] do not conform to method pfind's type parameter bounds [X,Iter <: PInputIterator[X],V]</tt>		Причем ''не указывать'' параметры при вызове pfind не получается, ошибка: <tt>Type inferred type arguments [Nothing,IntNumber,Int] do not conform to method pfind's type parameter bounds [X,Iter <: PInputIterator[X],V]</tt>


			'''''Juliet''':''

			Я снова открыла статью, про которую Артем на семинаре докладывал. Она несколько нивелировала влияние статьи «Generics of a Higher Kind». Теперь у меня вот так получилось (добраться до внутреннего типа все равно никак не получается):

			<source lang="Scala">

			trait EqualityComparable[S, T] {
			def ==(s: S, t: T): Boolean
			def !=(s: S, t: T): Boolean = !(s == t)
			}

			trait InputIterator[Iter] {
			type value_type

			def <(a: Iter, b: Iter): Boolean
			def ++(it: Iter): Unit
			def *(it: Iter): value_type
			}

			trait VTInputIterator[Iter, VT] extends InputIterator[Iter] {
			type value_type = VT
			}

			class ArrayListIterator[T](a: ArrayList[T], i: Int) {
			val arr: ArrayList[T] = a
			var ind: Int = i

			def curr(): T = arr.get(ind)
			def ++(): Unit = { ind += 1 }

			override def toString() = "[" + ind.toString() + "]"
			}

			class InputIterArrList[T] extends VTInputIterator[ArrayListIterator[T], T]{
			def <(a: ArrayListIterator[T], b: ArrayListIterator[T]) = {
			if (a.arr == b.arr) a.ind < b.ind
			else throw new IllegalArgumentException()
			}

			def ++(it: ArrayListIterator[T]): Unit = it.++()
			def *(it: ArrayListIterator[T]) = it.curr()
			}

			object TestInputIterator extends Application{

			def find[Iter, VT, V](first: Iter, last: Iter, x: V)(implicit iterator: VTInputIterator[Iter, VT],
			cmp: EqualityComparable[VT, V]): Iter =
			{
			while (iterator.<(first, last) && cmp.!=(iterator.*(first), x))
			iterator.++(first)
			first
			}

			implicit object EqIntInt extends EqualityComparable[Int, Int] {
			def ==(a: Int, b: Int): Boolean = { a == b }
			}

			implicit object inputIterArrListInt extends InputIterArrList[Int]{}

			val len = 10;
			var arr: ArrayList[Int] = new ArrayList(len);
			for (i: Int <- 1 to len)
			arr.add(i)
			var arrFirst = new ArrayListIterator(arr, 0)
			var arrLast = new ArrayListIterator(arr, len)
			var r = find(arrFirst, arrLast, 7)
			println(r)
			}
			</source>

Juliet: /* Generics of a Higher Kind */

2013-02-20T19:28:05Z

Generics of a Higher Kind

← Предыдущая версия		Версия от 22:28, 20 февраля 2013
Строка 120:		Строка 120:
	}		}

	class ~~PIntNumber~~(x: Int) extends PInputIterator[Int]{		class IntNumber(x: Int) extends PInputIterator[Int]{
	var n = x		var n = x

	def <(b: PInputIterator[Int]): Boolean = {		def <(b: PInputIterator[Int]): Boolean = {
	val y = b.asInstanceOf[~~PIntNumber~~];		val y = b.asInstanceOf[IntNumber];
	n < y.n		n < y.n
	}		}
Строка 143:		Строка 143:
	//\|		//\|

	var c5 = new ~~PIntNumber~~(5) //> c5 : concepts.iterator.~~PIntNumber~~ = 5		var c5 = new IntNumber(5) //> c5 : concepts.iterator.IntNumber = 5
	var c15 = new ~~PIntNumber~~(15) //> c15 : concepts.iterator.~~PIntNumber~~ = 15		var c15 = new IntNumber(15) //> c15 : concepts.iterator.IntNumber = 15
	val d11 = pfind[Int, ~~PIntNumber~~, Int](c5, c15, 11)		val d11 = pfind[Int, IntNumber, Int](c5, c15, 11)
	//> d11 : concepts.iterator.~~PIntNumber~~ = 11		//> d11 : concepts.iterator.IntNumber = 11

	</source>		</source>

	Причем ''не указывать'' параметры при вызове pfind не получается, ошибка: <tt>Type inferred type arguments [Nothing,~~PIntNumber~~,Int] do not conform to method pfind's type parameter bounds [X,Iter <: PInputIterator[X],V]</tt>		Причем ''не указывать'' параметры при вызове pfind не получается, ошибка: <tt>Type inferred type arguments [Nothing,IntNumber,Int] do not conform to method pfind's type parameter bounds [X,Iter <: PInputIterator[X],V]</tt>

Juliet: /* Generics of a Higher Kind */

2013-02-20T19:21:28Z

Generics of a Higher Kind

← Предыдущая версия		Версия от 22:21, 20 февраля 2013
Строка 99:		Строка 99:

	По идее можно, но я опять ничего не понимаю, пытаюсь написать...		По идее можно, но я опять ничего не понимаю, пытаюсь написать...

			'''''Juliet''':''

			В общем, у меня все печально. С value_type, спрятанным внутрь траита, совсем ничего не получается. Получился какой-то такой ужас:

			<source lang="Scala">
			trait EqualityComparable[S, T] {
			def ==(s: S, t: T): Boolean
			def !=(s: S, t: T): Boolean = !(s == t)
			}

			implicit object EqIntInt extends EqualityComparable[Int, Int] {
			def ==(a: Int, b: Int): Boolean = { a == b }
			}

			trait PInputIterator[value_type] {
			def <(b: PInputIterator[value_type]): Boolean
			def ++(): Unit
			def *(): value_type
			}

			class PIntNumber(x: Int) extends PInputIterator[Int]{
			var n = x

			def <(b: PInputIterator[Int]): Boolean = {
			val y = b.asInstanceOf[PIntNumber];
			n < y.n
			}
			def ++(): Unit = { n += 1; }
			def *(): Int = n

			override def toString(): String = n.toString()
			}

			def pfind[X, Iter <: PInputIterator[X], V](first: Iter, last: Iter, v: V)
			(implicit cmp: EqualityComparable[X, V]): Iter =
			{
			while (first < last && cmp.!=(first.*(), v))
			first.++()
			first
			} //> pfind: [X, Iter <: concepts.iterator.PInputIterator[X], V](first: Iter, las
			//\| t: Iter, v: V)(implicit cmp: concepts.iterator.EqualityComparable[X,V])Iter
			//\|

			var c5 = new PIntNumber(5) //> c5 : concepts.iterator.PIntNumber = 5
			var c15 = new PIntNumber(15) //> c15 : concepts.iterator.PIntNumber = 15
			val d11 = pfind[Int, PIntNumber, Int](c5, c15, 11)
			//> d11 : concepts.iterator.PIntNumber = 11

			</source>

			Причем ''не указывать'' параметры при вызове pfind не получается, ошибка: <tt>Type inferred type arguments [Nothing,PIntNumber,Int] do not conform to method pfind's type parameter bounds [X,Iter <: PInputIterator[X],V]</tt>

Juliet: /* Generics of a Higher Kind */

2013-02-18T04:02:41Z

Generics of a Higher Kind

← Предыдущая версия		Версия от 07:02, 18 февраля 2013
Строка 95:		Строка 95:
	}		}
	</source>		</source>

			'''''Juliet''':''

			По идее можно, но я опять ничего не понимаю, пытаюсь написать...

Mikst: /* Generics of a Higher Kind */

2013-02-01T08:14:44Z

Generics of a Higher Kind

@@ Строка 80: / Строка 80: @@
 trait myTrait[S, T] {
    def convert(x: S): T
+}
 </source>

Juliet в 19:23, 31 января 2013

2013-01-31T19:23:11Z

← Предыдущая версия		Версия от 22:23, 31 января 2013
Строка 32:		Строка 32:

	==== Generics of a Higher Kind ====		==== Generics of a Higher Kind ====
	''Juliet:''		'''''Juliet''':''

	16 страниц.		16 страниц.
Строка 67:		Строка 67:
	В общем, по-моему это крутая статья. Надо над ней подумать...		В общем, по-моему это крутая статья. Надо над ней подумать...

	''Miks:''		'''''Miks''':''

	Раз концепты есть, то как-то можно обеспечить концепт, связывающий два и более параметров шаблона. Как?		Раз концепты есть, то как-то можно обеспечить концепт, связывающий два и более параметров шаблона. Как?
	Может, в статье всё-таки ничего не говорится о концептах?		Может, в статье всё-таки ничего не говорится о концептах?

			'''''Juliet''':''

			Слова «концепты» в статье вообще нет, это правда. Есть пример моделирования классов типов Haskell.

			А связать несколько параметров можно, просто trait с несколькими параметрами.
			<source lang="scala">
			trait myTrait[S, T] {
			def convert(x: S): T
			}
			</source>

Mikst: /* Generics of a Higher Kind */

2013-01-31T19:08:07Z

Generics of a Higher Kind

← Предыдущая версия		Версия от 22:08, 31 января 2013
Строка 68:		Строка 68:

	''Miks:''		''Miks:''

	Раз концепты есть, то как-то можно обеспечить концепт, связывающий два и более параметров шаблона. Как?		Раз концепты есть, то как-то можно обеспечить концепт, связывающий два и более параметров шаблона. Как?
	Может, в статье всё-таки ничего не говорится о концептах?		Может, в статье всё-таки ничего не говорится о концептах?

Mikst: /* Generics of a Higher Kind */

2013-01-31T19:07:27Z

Generics of a Higher Kind

← Предыдущая версия		Версия от 22:07, 31 января 2013
Строка 66:		Строка 66:

	В общем, по-моему это крутая статья. Надо над ней подумать...		В общем, по-моему это крутая статья. Надо над ней подумать...

			''Miks:''
			Раз концепты есть, то как-то можно обеспечить концепт, связывающий два и более параметров шаблона. Как?
			Может, в статье всё-таки ничего не говорится о концептах?