== Java Generics ==

Особенность Java Generics — ''стирание типов''. Обобщенный класс <code>A<T></code> транслируется в обычный класс <code>A</code>, где везде вместо типа <code>T</code> используется <code>Object</code>. Если на параметр типа есть ограничение, например, <code>A<T extends Comparable<T> ></code>, то в результирующем коде вместо <code>T</code> стоит <code>Comparable</code>.

Из-за стирания типов возникает неприятное для нас ограничение: ''параметр шаблона не может реализовывать разные специализации одного интерфейса'' '''[*]'''. Что это и чем оно нам грозит?

Концепты хороши тем, что позволяют нам устанавливать связи между разными типами. Например, можно иметь концепт
<pre>Convertible<S, U></pre>
который содержит функцию
U convert(S x)
или
U S::convert()

Можем ли мы естественным образом реализовать нечто подобное на Java? У нас ведь есть обобщённые интерфейсы, может это выход?

<source lang="Java">
public interface Convertible<S> {
public S convert();
}

public class A1 {}

public class A implements Convertible<A1> {
public A1 convert() {
return new A1();
}
}
</source>

Здорово! Но мы хотим, чтобы класс <code>A</code> мог быть преобразован и в какой-нибудь <code>A2</code>.

<source lang="Java">
public interface Convertible<S> {
public S convert();
}

public class A1 {}
public class A2 {}

public class A implements Convertible<A1>, Convertible<A2> {
public A1 convert() {
return new A1();
}
public A2 convert() {
return new A2();
}
}
</source>

'''А вот это уже не работает'''. Причина — ограничение '''[*]''', которое даёт стирание типов. Класс <code>A</code> может реализовывать только какой-нибудь один <code>Convertible</code>.

=== Использование объектов-моделей ===

Придётся использовать наши любимые объекты-концепты в обобщенном коде и объекты-модели — в конкретном.

<source lang="Java">
public interface EqualityComparable<T, S> {
public boolean eq(T x, S y);
public boolean neq(T x, S y);
}

public static <T, S> boolean contains(Collection<T> elems, S x, EqualityComparable<T, S> cmp) {
boolean found = false;
for (T t : elems) {
if (cmp.eq(t, x)) {
found = true;
break;
}
}
return found;
}

public class IntDoubleEqCmp implements EqualityComparable<Integer, Double> {
public boolean eq(Integer x, Double y) {
return x.doubleValue() == y;
}
public boolean neq(Integer x, Double y) {
return !eq(x, y);
}
}

public class IntCharEqCmp implements EqualityComparable<Integer, Character> {
public boolean eq(Integer x, Character y) {
return Character.getNumericValue(y) == x;
}
public boolean neq(Integer x, Character y) {
return !eq(x, y);
}
}

private static void testEqCmp() {
ArrayList<Integer> arr = new ArrayList<Integer>();
// ...
IntCharEqCmp cmpIC = new IntCharEqCmp();
//Algos.contains(arr, new Double(3.14), cmpIC); // ERROR
IntDoubleEqCmp cmpID = new IntDoubleEqCmp();
Algos.contains(arr, new Double(3.14), cmpID);
}
</source>

Таким образом в обобщённый алгоритм нужно явно передавать объекты, которые реализуют нужный концепт. Похожим образом мы поступали и в Scala, но в отличие от Scala здесь есть ряд неприятных особенностей:
# интерфейс не может содержать реализации методов по умолчанию, поэтому во всех моделях <code>EqualityComparable</code> приходится дублировать реализацию метода <code>neq</code> (Scala traits допускают базовую реализацию).
# приходится описывать реализацию модели в конкретном классе, а потом создавать объект данного класса, чтобы передать его в вызов обобщенного алгоритма. В Scala для этой цели удобно использовать объект-наследник концепта (синглтон).
# любой концепт, который нам требуется, приходится передавать отдельным параметром. В Scala ситуацию спасают implisits, а здесь нам может потребоваться довольно большое число объектов-моделей, что весьма громоздко.

Недостаток (1) можно обойти, если для концепта использовать обобщённый класс вместо обобщённого интерфейса. Тогда можно сделать в классе реализацию по умолчанию, а в наследниках переопределять только <code>eq</code>:

<source lang="Java">
public class EqualityComparableBasic<T, S> {
public boolean eq(T x, S y) {
return true;
}
public boolean neq(T x, S y) {
return !eq(x, y);
}
}

public static <T, S> boolean contains(Collection<T> elems, S x, EqualityComparableBasic<T, S> cmp) {
boolean found = false;
for (T t : elems) {
if (cmp.eq(t, x)) {
found = true;
break;
}
}
return found;
}

public class IntDoubleEqCmpB extends EqualityComparableBasic<Integer, Double> {
public boolean eq(Integer x, Double y) {
return x.doubleValue() == y;
}
}

public class IntCharEqCmpB extends EqualityComparableBasic<Integer, Character> {
public boolean eq(Integer x, Character y) {
return Character.getNumericValue(y) == x;
}
}
</source>

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

Вторая проблема — ''concept refinement''. Если обобщенный класс-концепт, улучшающий некоторый концепт, описать ещё можно (пример не имеет особого смысла, конечно):
<source lang="Java">
public class ComparableBasic<T, S> extends EqualityComparableBasic<T, S> {
public int cmp(T x, S y) {
return 0;
}
}
</source>
то как определять модель? У класса может быть только один предок. Поэтому, если мы определяем класс-модель, который наследует наш новый <code>ComparableBasic</code>, придётся переопределять в нём как методы <code>ComparableBasic</code>, так и <code>EqualityComparableBasic</code>.

В случае с интерфейсами этой проблемы нет. Мы можем определить класс <code>IntDoubleCmp</code> — наследник <code>IntDoubleEqCmp</code> (реализует <code>EqualityComparable</code>), который реализует <code>Comparable</code>.
<source lang="Java">
public interface Comparable<T, S> extends EqualityComparable<T, S>{
public int cmp(T x, S y);
}

public class IntDoubleCmp extends IntDoubleEqCmp implements Comparable<Integer, Double> {
public int cmp(Integer x, Double y) {
return new Double(x.doubleValue()).compareTo(y);
}
}
</source>

2013-02-21T18:36:23Z

Juliet: /* Generics of a Higher Kind */

По концептам, типам следует читать современные статьи

Можно начинать со школы Одерского:

[http://www.scala-lang.org/node/143 Статьи по теоретическим основам языка Скала]

Выделю тут ряд статей, с которых, по моему мнению, следует начинать:

* [http://drops.dagstuhl.de/opus/volltexte/2009/2338/pdf/09005.OderskyM.2338.pdf Fighting Bit Rot with Types (Experience Report: Scala Collections)]
* [http://lamp.epfl.ch/~dragos/files/scala-spec.pdf Compiling Generics Through User-Directed Type Specialization]
* [http://lamp.epfl.ch/~rompf/continuations-icfp09.pdf Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform]
* [http://www.comlab.ox.ac.uk//files/2187/ModularVisitor.pdf Modular Visitor Components: A Practical Solution to the Expression Families Problem]
* [http://adriaanm.github.com/files/higher.pdf Generics of a Higher Kind]
* [http://adriaanm.github.com/files/scalina-final.pdf Safe Type-level Abstraction in Scala]
* [http://infoscience.epfl.ch/getfile.py?docid=13847&name=TranslationCorrectness-TR&format=pdf&version=1 Translation Correctness for First-Order Object-Oriented Pattern Matching]
* [http://www.scala-lang.org/sites/default/files/odersky/mfcs06.pdf A Core Calculus for Scala Type Checking]
* [http://www.scala-lang.org/sites/default/files/odersky/ecoop03.pdf A Nominal Theory of Objects with Dependent Types]

== Краткий отчет о статьях ==
==== Compiling Generics Through User-Directed Type Specialization ====
''Juliet:''

Небольшая статья, 6 страниц. О технических особенностях генерации кода для шаблонов.

В двух словах речь о том, что использовать код, который генерируется для шаблона после стирания типов (где вместо типа <tt>T</tt> возникает <tt>Object</tt>) неэффективно для примитивных типов. Так как их приходится заворачивать в классы-обертки, и, соответственно, в специализированной версии возникают лишние операции boxing/unboxing.

В качестве альтернативы при описании шаблона для типа-параметра шаблона можно указать ключевое слово '''specialized''':
<source lang="scala">
def someFun[@specialized T](...
</source>
В этом случае помимо кода с <tt>Object</tt> будут сгенерированы специализации для примитивных типов.

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

16 страниц.

Насколько я понимаю, концептов в том смысле, как мы уже привыкли их воспринимать, здесь нет. Сплошные классы.

Точнее, есть '''trait''' и '''class'''. Из статьи: класс может наследоваться от другого класса и нескольких траитов. Траит это класс, который может комбинироваться с другими траитами с помощью некой ограниченной версии множественного наследования.

Далее говорится, что в статье разница между траитами и классами не так важна, так что все называется классами.

Класс может быть параметризован. А может содержать абстрактный тип-член. И они вроде бы ничем по сути не отличаются кроме области видимости.

Соль типов-параметров шаблона в том, что в качестве параметра может быть не конкретный тип, а '''конструктор типа'''.

<source lang="Scala">
trait Iterable[T, Container[X]] {
def filter(p: T => Boolean): Container[T]
...
}
</source>

Это означает, что первый параметр — конкретный тип, а второй параметр — конструктор типа от одного параметра. И далее можем написать так:

<source lang="Scala">
trait List[T] extends Iterable[T, List]
</source>

На параметры шаблона можно наложить только два вида ограничений: надтипа и подтипа. Соответственно, если хочется получить несколько разносортных ограничений (то есть по-нашему — если мы хотим, чтобы тип удовлетворял нескольким концептам), надо сделать trait-наследник всех интересующих нас концептов и указать его в качестве надтипа.

Еще один интересный момент, рассматривающийся в статье — сорта типов. Из Haskell мы помним (про расширения я ничего не знаю, к сожалению), что конкретный тип имеет сорт «*», конструктор с одним параметром — «* → *», и так далее. Здесь предлагается рассматривать не просто «*», а «*(lowerBound, upperBound)». То есть сорт содержит информацию об ограничениях типовых составляющих.

Далее говорится о том, что на сортах можно ввести отношение «подсортирования». И еще есть раздел с красивым названием «kind soundness».

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

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

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

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

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

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

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

Ну, это не очень - это и на C++ старом можно написать. А вот пример использования triats как концептов в новом C++ можно? В стиле

<source lang="cpp">template<InputIterator Iter, typename V>
requires EqualityComparable<Iter::value_type, V>
Iter find(Iter first, Iter last, V v) {
while (first < last && *first != v)
++first;
return first;
}
</source>

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

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

'''''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 IntNumber(x: Int) extends PInputIterator[Int]{
var n = x

def <(b: PInputIterator[Int]): Boolean = {
val y = b.asInstanceOf[IntNumber];
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 IntNumber(5) //> c5 : concepts.iterator.IntNumber = 5
var c15 = new IntNumber(15) //> c15 : concepts.iterator.IntNumber = 15
val d11 = pfind[Int, IntNumber, Int](c5, c15, 11)
//> d11 : concepts.iterator.IntNumber = 11

</source>

Причем ''не указывать'' параметры при вызове 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:'''''

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

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

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

Страничка семинара теории типов

2013-02-21T10:30:31Z

Juliet: /* Generics of a Higher Kind */

Страничка семинара теории типов

2013-02-20T19:28:05Z

Juliet: /* Generics of a Higher Kind */

Страничка семинара теории типов

2013-02-20T19:21:28Z

Juliet: /* Generics of a Higher Kind */

По концептам, типам следует читать современные статьи

Можно начинать со школы Одерского:

[http://www.scala-lang.org/node/143 Статьи по теоретическим основам языка Скала]

Выделю тут ряд статей, с которых, по моему мнению, следует начинать:

* [http://drops.dagstuhl.de/opus/volltexte/2009/2338/pdf/09005.OderskyM.2338.pdf Fighting Bit Rot with Types (Experience Report: Scala Collections)]
* [http://lamp.epfl.ch/~dragos/files/scala-spec.pdf Compiling Generics Through User-Directed Type Specialization]
* [http://lamp.epfl.ch/~rompf/continuations-icfp09.pdf Implementing First-Class Polymorphic Delimited Continuations by a Type-Directed Selective CPS-Transform]
* [http://www.comlab.ox.ac.uk//files/2187/ModularVisitor.pdf Modular Visitor Components: A Practical Solution to the Expression Families Problem]
* [http://adriaanm.github.com/files/higher.pdf Generics of a Higher Kind]
* [http://adriaanm.github.com/files/scalina-final.pdf Safe Type-level Abstraction in Scala]
* [http://infoscience.epfl.ch/getfile.py?docid=13847&name=TranslationCorrectness-TR&format=pdf&version=1 Translation Correctness for First-Order Object-Oriented Pattern Matching]
* [http://www.scala-lang.org/sites/default/files/odersky/mfcs06.pdf A Core Calculus for Scala Type Checking]
* [http://www.scala-lang.org/sites/default/files/odersky/ecoop03.pdf A Nominal Theory of Objects with Dependent Types]

== Краткий отчет о статьях ==
==== Compiling Generics Through User-Directed Type Specialization ====
''Juliet:''

Небольшая статья, 6 страниц. О технических особенностях генерации кода для шаблонов.

В двух словах речь о том, что использовать код, который генерируется для шаблона после стирания типов (где вместо типа <tt>T</tt> возникает <tt>Object</tt>) неэффективно для примитивных типов. Так как их приходится заворачивать в классы-обертки, и, соответственно, в специализированной версии возникают лишние операции boxing/unboxing.

В качестве альтернативы при описании шаблона для типа-параметра шаблона можно указать ключевое слово '''specialized''':
<source lang="scala">
def someFun[@specialized T](...
</source>
В этом случае помимо кода с <tt>Object</tt> будут сгенерированы специализации для примитивных типов.

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

16 страниц.

Насколько я понимаю, концептов в том смысле, как мы уже привыкли их воспринимать, здесь нет. Сплошные классы.

Точнее, есть '''trait''' и '''class'''. Из статьи: класс может наследоваться от другого класса и нескольких траитов. Траит это класс, который может комбинироваться с другими траитами с помощью некой ограниченной версии множественного наследования.

Далее говорится, что в статье разница между траитами и классами не так важна, так что все называется классами.

Класс может быть параметризован. А может содержать абстрактный тип-член. И они вроде бы ничем по сути не отличаются кроме области видимости.

Соль типов-параметров шаблона в том, что в качестве параметра может быть не конкретный тип, а '''конструктор типа'''.

<source lang="Scala">
trait Iterable[T, Container[X]] {
def filter(p: T => Boolean): Container[T]
...
}
</source>

Это означает, что первый параметр — конкретный тип, а второй параметр — конструктор типа от одного параметра. И далее можем написать так:

<source lang="Scala">
trait List[T] extends Iterable[T, List]
</source>

На параметры шаблона можно наложить только два вида ограничений: надтипа и подтипа. Соответственно, если хочется получить несколько разносортных ограничений (то есть по-нашему — если мы хотим, чтобы тип удовлетворял нескольким концептам), надо сделать trait-наследник всех интересующих нас концептов и указать его в качестве надтипа.

Еще один интересный момент, рассматривающийся в статье — сорта типов. Из Haskell мы помним (про расширения я ничего не знаю, к сожалению), что конкретный тип имеет сорт «*», конструктор с одним параметром — «* → *», и так далее. Здесь предлагается рассматривать не просто «*», а «*(lowerBound, upperBound)». То есть сорт содержит информацию об ограничениях типовых составляющих.

Далее говорится о том, что на сортах можно ввести отношение «подсортирования». И еще есть раздел с красивым названием «kind soundness».

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

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

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

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

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

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

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

Ну, это не очень - это и на C++ старом можно написать. А вот пример использования triats как концептов в новом C++ можно? В стиле

<source lang="cpp">template<InputIterator Iter, typename V>
requires EqualityComparable<Iter::value_type, V>
Iter find(Iter first, Iter last, V v) {
while (first < last && *first != v)
++first;
return first;
}
</source>

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

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

'''''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>

Страничка семинара теории типов

2013-02-18T04:02:41Z

Juliet: /* Generics of a Higher Kind */

Страничка семинара теории типов

2013-01-31T19:23:11Z

Juliet:

Страничка семинара теории типов

2013-01-31T19:03:43Z

Juliet: /* Generics of a Higher Kind */

Страничка семинара теории типов

2013-01-31T18:56:43Z

Juliet: /* Generics of a Higher Kind */

Страничка семинара теории типов

2013-01-31T18:51:40Z

Juliet: /* Generics of a Higher Kind */

Страничка семинара теории типов

2013-01-31T18:42:08Z

Juliet: /* Generics of a Higher Kind */

Страничка семинара теории типов

2013-01-31T18:34:49Z

Juliet: /* Generics of a Higher Kind */

Страничка семинара теории типов

2013-01-31T17:52:06Z

Juliet: /* Краткий отчет о статьях */

Страничка семинара теории типов

2013-01-31T17:50:33Z

Juliet:

Участник:Juliet

2012-09-02T09:08:44Z

Juliet:

Юлия Белякова. 
Мехмат ЮФУ (РГУ)

Часто задаваемые вопросы по WDE

2011-12-09T12:21:38Z

Juliet: /* Что такое интерфейс учебных курсов? */

=== Для чего нужна WDE ===
Предполагается, что среда WDE будет активно использоваться в обучении: для публикации учебных программ, для выполнения программ без установленного компилятора, для ссылок на программы с различных форумов и сайтов.

Все сценарии использования WDE пока не изучены - их будут предлагать наши пользователи.

=== Что такое PascalABC.NET ===
PascalABC.NET - это современный язык Паскаль, разработанный на [http://mmcs.sfedu.ru/ факультете математики, механики и компьютерных наук Южного Федерального университета]. Он полностью совместим с Delphi Object Pascal и Borland (Turbo) Pascal. Он имеет также ряд расширений и как .NET-язык может свободно пользоваться всеми .NET-библиотеками.

PascalABC.NET широко используется в обучении. Он позволяет программировать как на базовом Паскале, так и использовать объектно-ориентированные возможности.

Более детально ознакомиться с PascalABC.NET можно на [http://pascalabc.net/ сайте проекта].

=== Как опубликовать файл и дать ссылку на опубликованный файл ===
Достаточно нажать кнопку Опубликовать. Файл будет опубликован на сервере WDE в специальном каталоге. Файл при этом должен содержать правильную PascalABC.NET-программу.

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

Зная имя опубликованного файла, его можно открыть в WDE, нажав кнопку Открыть опубликованный файл, а также опубликовать ссылку на него на другом сайте или форуме в виде http://pascalabc.net/WDE/?file=имя_файла.pas

=== В течение какого времени на сервере хранятся опубликованные файлы ===
Несколько месяцев. Для зарегистрированных пользователей время хранения файлов на сервере больше.

=== Насколько быстро выполняется программа ===
О, поверьте - очень быстро! Программа выполняется на сервере, сервер - мощный, куплен в рамках национального проекта "Образование" :)
Потому и быстро.

Для примера:
[http://pascalabc.net/WDE/?file=Speed1.pas вот эта программа] иллюстрирует скорость вычислений.
Аналогичная программа, написанная на Delphi, работает процентов на 15 дольше. Попробуйте!

=== Можно ли использовать модули (библиотеки) ===
Можно, но неудобно. По крайней мере, пока. Причина: модули приходится всякий раз создавать вручную во время сеанса и сохранять в каталоге сеанса пользователя под именем, совпадающим с именем модуля. Аналогичное можно сказать про dll библиотеки.

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

=== Для чего нужна регистрация ===
Зарегистрированные пользователи получают в свое полное распоряжение целый каталог на сервере, который не удаляется после завершения сеанса.
Кроме того, для них открывается ряд новых возможностей:
* переименование и удаление файлов
* создание каталогов и подкаталогов
* переименование и удаление каталогов
* длительное хранение опубликованных файлов
* открытие публичного доступа к своим файлам на чтение
* '''использование интерфейса учебных курсов'''

=== Что такое интерфейс учебных курсов? ===
Появилась возможность упростить использование веб-среды для обучения. Теперь ''зарегистрированные'' пользователи могут получать роли ''преподавателей'' и ''учеников''.

''Преподаватели'' могут создавать учебные курсы и записывать на них учеников (для этого нужно знать логин ученика). Ученики могут и сами записываться на курсы. Сделать это можно [http://pascalabc.net/WDE/LearnCourses.aspx здесь].

Что такое '''учебный курс'''? Это возможность разделить ''личные'' и ''учебные'' файлы пользователей, а также значительно упростить проверку заданий для преподавателя. Для преподавателей и учеников к привычному списку файлов пользователя добавляется учебный раздел. В нем располагаются папки учебных курсов. 
Для преподавателя эта папка выглядит так:
- файлы курса
- ученик1
- ученик2
...
- ученикN
В ''файлах курса'' преподаватель может размещать файлы, которые будут доступны на чтение всем ученикам. Например, файлы примеров или некоторые заготовки.

Для ученика каталог учебного курса содержит
- файлы курса
- мои файлы
Файлы курса доступны только на чтение. ''Мои файлы'' будут доступны не только ученику, но и преподавателю.

=== Я хочу получить роль преподавателя. Что нужно сделать? ===
Нужно [mailto://miks@math.rsu.ru написать письмо] разработчикам с просьбой выдать Вам права преподавателя.

=== Я хочу получить роль ученика. Что нужно сделать? ===
Роль ученика скорее всего нужна Вам для участия в учебном курсе. Просто перейдите на [http://pascalabc.net/WDE/LearnCourses.aspx страницу курса] и запишитесь на нужный курс (возле каждого курса справа Вы найдете кнопку ''«записаться»''). Обратите внимание, что для записи на курс сначала нужно авторизоваться в веб-среде.

=== У меня есть роль преподавателя. Как создать курс? ===
Авторизуйтесь в веб-среде и перейдите на [http://pascalabc.net/WDE/LearnCourses.aspx страницу курса]. Там Вы найдете кнопку ''«создать новый курс»''. Необходимо будет заполнить краткую информацию о курсе. Там же можно добавить на курс учеников (ученики могут записаться на курс и самостоятельно). После создания курса Вы всегда сможете его отредактировать. 
Обратите внимание, что курс могут «вести» и несколько преподавателей. Чтобы добавить преподавателя к Вашему курсу, нужно будет [mailto://miks@math.rsu.ru написать письмо] разработчикам.

=== Среда «зависла». Что делать?! ===
Скорее всего, произошел сбой сети или немного устал сервер. Например, Вы запустили компиляцию, а результата все нет и нет. 
Найдите в меню редактора кнопочку <tt>«Прервать запросы на сервер»</tt> и нажмите её. Это должно помочь. После этого повторите операцию еще раз. Если у Вас постоянные проблемы с сетью, то, возможно, придется использовать эту кнопку часто.

Крайняя мера восстановления работоспособности среды — обновление страницы в браузере.

=== Могу ли я работать с WDE без подключения к Интернету ===
Нет. Но чтобы запускать те же программы, что и в WDE, вы можете скачать и установить [http://pascalabc.net/ru/ssyilki-dlya-skachivaniya.html систему программирования PascalABC.NET] и работать в ней локально без подключения к Интернету.

=== Я нашел ошибку! Куда писать? ===
Открываем вот эту страничку разработчиков:
http://pascalabc.net/razrabotchiki-pascalabc-net
И находим первый адрес.

Часто задаваемые вопросы по WDE

2011-12-09T06:44:27Z

Juliet: /* Для чего нужна регистрация */

=== Для чего нужна WDE ===
Предполагается, что среда WDE будет активно использоваться в обучении: для публикации учебных программ, для выполнения программ без установленного компилятора, для ссылок на программы с различных форумов и сайтов.

Все сценарии использования WDE пока не изучены - их будут предлагать наши пользователи.

=== Что такое PascalABC.NET ===
PascalABC.NET - это современный язык Паскаль, разработанный на [http://mmcs.sfedu.ru/ факультете математики, механики и компьютерных наук Южного Федерального университета]. Он полностью совместим с Delphi Object Pascal и Borland (Turbo) Pascal. Он имеет также ряд расширений и как .NET-язык может свободно пользоваться всеми .NET-библиотеками.

PascalABC.NET широко используется в обучении. Он позволяет программировать как на базовом Паскале, так и использовать объектно-ориентированные возможности.

Более детально ознакомиться с PascalABC.NET можно на [http://pascalabc.net/ сайте проекта].

=== Как опубликовать файл и дать ссылку на опубликованный файл ===
Достаточно нажать кнопку Опубликовать. Файл будет опубликован на сервере WDE в специальном каталоге. Файл при этом должен содержать правильную PascalABC.NET-программу.

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

Зная имя опубликованного файла, его можно открыть в WDE, нажав кнопку Открыть опубликованный файл, а также опубликовать ссылку на него на другом сайте или форуме в виде http://pascalabc.net/WDE/?file=имя_файла.pas

=== В течение какого времени на сервере хранятся опубликованные файлы ===
Несколько месяцев. Для зарегистрированных пользователей время хранения файлов на сервере больше.

=== Насколько быстро выполняется программа ===
О, поверьте - очень быстро! Программа выполняется на сервере, сервер - мощный, куплен в рамках национального проекта "Образование" :)
Потому и быстро.

Для примера:
[http://pascalabc.net/WDE/?file=Speed1.pas вот эта программа] иллюстрирует скорость вычислений.
Аналогичная программа, написанная на Delphi, работает процентов на 15 дольше. Попробуйте!

=== Можно ли использовать модули (библиотеки) ===
Можно, но неудобно. По крайней мере, пока. Причина: модули приходится всякий раз создавать вручную во время сеанса и сохранять в каталоге сеанса пользователя под именем, совпадающим с именем модуля. Аналогичное можно сказать про dll библиотеки.

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

=== Для чего нужна регистрация ===
Зарегистрированные пользователи получают в свое полное распоряжение целый каталог на сервере, который не удаляется после завершения сеанса.
Кроме того, для них открывается ряд новых возможностей:
* переименование и удаление файлов
* создание каталогов и подкаталогов
* переименование и удаление каталогов
* длительное хранение опубликованных файлов
* открытие публичного доступа к своим файлам на чтение
* '''использование интерфейса учебных курсов'''

=== Что такое интерфейс учебных курсов? ===
Появилась возможность упростить использование веб-среды для обучения. Теперь пользователи могут получать роли ''преподавателей'' и ''учеников''.

''Преподаватели'' могут создавать учебные курсы и записывать на них учеников (для этого нужно знать логин ученика). Ученики могут и сами записываться на курсы. Сделать это можно [http://pascalabc.net/WDE/LearnCourses.aspx здесь].

Что такое '''учебный курс'''? Это возможность разделить ''личные'' и ''учебные'' файлы пользователей, а также значительно упростить проверку заданий для преподавателя. Для преподавателей и учеников к привычному списку файлов пользователя добавляется учебный раздел. В нем располагаются папки учебных курсов. 
Для преподавателя эта папка выглядит так:
- файлы курса
- ученик1
- ученик2
...
- ученикN
В ''файлах курса'' преподаватель может размещать файлы, которые будут доступны на чтение всем ученикам. Например, файлы примеров или некоторые заготовки.

Для ученика каталог учебного курса содержит
- файлы курса
- мои файлы
Файлы курса доступны только на чтение. ''Мои файлы'' будут доступны не только ученику, но и преподавателю.

=== Среда «зависла». Что делать?! ===
Скорее всего, произошел сбой сети или немного устал сервер. Например, Вы запустили компиляцию, а результата все нет и нет. 
Найдите в меню редактора кнопочку <tt>«Прервать запросы на сервер»</tt> и нажмите её. Это должно помочь. После этого повторите операцию еще раз. Если у Вас постоянные проблемы с сетью, то, возможно, придется использовать эту кнопку часто.

Крайняя мера восстановления работоспособности среды — обновление страницы в браузере.

=== Могу ли я работать с WDE без подключения к Интернету ===
Нет. Но чтобы запускать те же программы, что и в WDE, вы можете скачать и установить [http://pascalabc.net/ru/ssyilki-dlya-skachivaniya.html систему программирования PascalABC.NET] и работать в ней локально без подключения к Интернету.

=== Я нашел ошибку! Куда писать? ===
Открываем вот эту страничку разработчиков:
http://pascalabc.net/razrabotchiki-pascalabc-net
И находим первый адрес.

Часто задаваемые вопросы по WDE

2011-12-09T06:29:27Z

Juliet: /* Для чего нужна регистрация */

Другие технические решения

2011-12-01T15:37:31Z

Juliet: /* Управление файлами */

[[Категория:WDE]]
== Контроль запросов и ошибок ==
Если на сервере возникает необрабатываемое исключение, клиент не получает ответ на AJAX-запрос, и система перестает корректно работать.

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

Для этого разработана следующая архитектура: 
* монитор запросов к серверу на клиенте [JavaScript]
* использование try со специальным полиморфным возвращаемым объектом с сервера
* логирование непредвиденных исключений в БД

=== Монитор запросов ===
<source lang="javascript">
// Вьюер сетевых операций
function QueryViewer{
// --------------------------------- Поля
// Хэш операций
this.QueriesHash;

// --------------------------------- Методы
// Добавляет информацию о запросе
this.AddQuery(queryID, queryInfo);
// Возвращает информацию о запросе
this.GetQueryInfo(queryID);
// Завершает запрос успешно
this.QueryFinishSuccess(queryID);
// Завершает запрос с ошибкой errorCode
this.QueryFinishFailed(queryID, errorCode);
// Удаляет информацию о запросе
this.RemoveQuery(queryID);
}

// Информация о запросе
function QueryInfo {
this.QueryType; // Тип запроса
this.QueryData; // Связанные данные

this.QueryState; // Статус запроса
this.ErrorCode; // Код ошибки
}
</source>

Визуализация пока простая, выводятся состояния запросов.

=== Возвращаемые объекты ===
<source lang="csharp">
/// Возвращаемая клиенту информация
public class ReturnInfo {
/// Возвращаемые данные
public Object Data
/// Системная информация
public SystemInfo SysInfo
}

/// Системная информация
public class SystemInfo {
/// Код ошибки
public ErrorCode ErrCode
/// Идентификатор запроса
public string QueryID
}
</source>

=== Логирование исключений ===
В базу записывается следующая информация:
имя пользователя
тип операции
время
сообщение исключения
имя файла, связанного с операцией (если оно есть)
каталог

=== Текущие сделанные запросы ===
LoadFirstFileContent
GetSessionExistingFileNames
GetUserExistingFileItems
GetSamplesExistingFileNames
CheckNewFileName
CheckPublishedFileName
SaveDocument

== Графика в WDE ==
До сих пор была возможность работы только с консольными приложениями. Однако, графика весьма заманчива.
Одно из возможных решений — использование HTML-элемента для работы с графикой '''<tt><canvas></tt>'''.

=== Canvas ===
Canvas предоставляет достаточно богатый набор возможностей работы с графикой: от рисования простых фигур до анимации и работы с клавиатурой и мышью.
Небольшой туториал находится [http://billmill.org/static/canvastutorial/ здесь]

=== Графическое окно ===
Элемент Canvas размещается модели окна [http://prototype-window.xilinus.com/samples.html Prototype window]

=== Ссылки ===
* [https://developer.mozilla.org/en/Canvas_tutorial Canvas]
* [http://prototype-window.xilinus.com/samples.html Prototype window]

== Горячие клавиши ==
Для горячих клавиш надо изменять код редактора

== Подсветка синтаксиса ==
Глюк с размыванием текста в большинстве случаев возникает при переходе на новую строку. 
Добавим восстановление синтаксиса после каждого Enter'а. Для этого надо залезть в код edit_area_full.js и в районе обработки клавиатуры добавить:
<source lang="javascript">if(letter==\"Entrer\"&&target_id==\"Â\"){if(eA.press_enter())use=Ë;eA.execCommand(\"resync_highlight\");</source>

Еще бы можно при вставке кода это делать, но пока не знаю, как это определить.

== Мультифайловость в редакторе ==
=== Описание ===
Работа с несколькими файлами одновременно вещь весьма полезная. Выбранный редактор с подсветкой синтаксиса '''EditArea''' эту возможность предоставляет. Однако, задать заголовок вкладки в нем можно только при её первом открытии, что, конечно, неудобно. В связи с этим в файл ''<tt>edit_area_full.js</tt>'' были внесены поправки и добавлен метод для изменения не только содержимого вкладки, но и её заголовка.

=== changeFile ===
В <tt>EAL.prototype</tt> добавлен метод <tt>changeFile</tt>.
<source lang="javascript">
changeFile : function(id, newFile) {
var curID = this.execCommand(id, 'curr_file')

this.execCommand(id, 'change_curFileTabParams', newFile);
this.setValue(id, newFile['text']);
},
</source>

=== change_curFileTabParams ===
В содержимое <tt>editAreaLoader.iframe_script</tt>, например, перед <tt>update_file</tt>:
<source lang="JavaScript">
"EA.Ä.change_curFileTabParams=Ã(new_Ês){var curID = this.curr_file; this.update_file(curID, new_Ês); var elem=document.getElementById(this.files[curID]['html_id']); var html_curID='tab_file_'+encodeURIComponent(curID); this.filesIdAssoc[html_curID]=curID; this.files[curID]['html_id']= html_curID; var close=\"<img src=\\\"\"+È.eAL.baseURL+\"images/close.gif\\\" title=\\\"\"+Á.get_translation('close_tab','word')+\"\\\" onclick=\\\"eA.execCommand('close_file',eA.filesIdAssoc['\"+html_curID+\"']);return Ì;\\\" class=\\\"hidden\\\" onmouseover=\\\"Á.className=''\\\" onmouseout=\\\"Á.className='hidden'\\\" />\";elem.innerHTML=\"<a onclick=\\\"javascript:eA.execCommand('switch_to_file',eA.filesIdAssoc['\"+html_curID+\"']);\\\" selec=\\\"none\\\">*\"+Á.files[curID]['title']+close+\"</a>\";};"</source>

Или, если работаете не с ''<tt>edit_area_full.js</tt>'', в ''<tt>edit_area_functions.js</tt>'':
<source lang="JavaScript">
EditArea.prototype.change_curFileTabParams = function(new_Ês){
var curID = this.curr_file;
this.update_file(curID, new_Ês);

var elem = document.getElementById(this.files[curID]['html_id']);
var html_curID = 'tab_file_' + encodeURIComponent(curID);
this.filesIdAssoc[html_curID] = curID;
this.files[curID]['html_id'] = html_curID;

var close = "<img src=\""+ parent.editAreaLoader.baseURL +"images/close.gif\" title=\""+ this.get_translation('close_tab', 'word') +"\" onclick=\"editArea.execCommand('close_file', editArea.filesIdAssoc['"+ html_id +"']);return false;\" class=\"hidden\" onmouseover=\"this.className=''\" onmouseout=\"this.className='hidden'\" />";
elem.innerHTML = "<a onclick=\"javascript:editArea.execCommand('switch_to_file', editArea.filesIdAssoc['"+ html_id +"']);\" selec=\"none\">*"+ this.files[id]['title'] + close +"</a>";
}
</source>

== Регулировка высоты редактора ==
Изначально в редакторе отсутствует возможность менять размер после загрузки страницы (кроме как воспользоваться кнопкой полного экрана).

=== changeHeight ===
В <tt>EAL.prototype</tt> добавлен метод <tt>changeHeight </tt>.
<source lang="javascript">
changeHeight : function(id, newHeight) {
this.execCommand(id, 'change_Height', newHeight);
},
</source>

=== change_curFileTabParams ===
В содержимое <tt>editAreaLoader.iframe_script</tt>, например, после <tt>update_size</tt>:
<source lang="JavaScript">
"EA.Ä.change_Height=Ã(newHeight){var d=document,pd=È.document; if(typeof eAs !='undefined'&&eAs[eA.id]&&eAs[eA.id][\"displayed\"]==Ë){pd.getElementById(\"frame_\"+eA.id).Ç.height=newHeight;};};"
</source>

== Заголовок текущей вкладки ==
== Описание ==
Отсутствует возможность узнать заголовок вкладки. Метод getCurrFileTitle и возвращает его.

=== getCurrFileTitle===
В <tt>EAL.prototype</tt> добавлен метод <tt>getCurrFileTitle</tt>.
<source lang="javascript">
getCurrFileTitle : function (id) {
var curID = this.execCommand(id, 'curr_file')
return this.execCommand(id, 'get_currFileTitle', curID);
},
</source>

=== get_currFileTitle ===
В содержимое <tt>editAreaLoader.iframe_script</tt>:
<source lang="JavaScript">
"EA.Ä.get_currFileTitle=Ã(id){return Á.files[id]['title']};"
</source>

== Состояние вкладки — изменено ли содержимое ==
=== Описание ===
Позволяет узнать, изменено ли содержимое вкладки по сравнению с сохраненной версией.

=== currentFileIsEdited ===
В <tt>edit_area_full.js</tt> добавлен метод <tt>currentFileIsEdited</tt>, например, после стандартного метода <tt>setFileEditedMode</tt>.
<source lang="JavaScript">
currentFileIsEdited : function (id) {
var curID = this.execCommand(id, 'curr_file');
var isEdited = this.execCommand(id, 'current_file_is_edited', curID);
return isEdited;
},
</source>

=== current_file_is_edited ===
В <tt>edit_area_full.js</tt> добавлен метод <tt>current_file_is_edited</tt>, например, перед стандартным методом <tt>set_file_edited_mode</tt>.
<source lang="JavaScript">
"EA.Ä.current_file_is_edited=Ã(id){return Á.files[id]['edited'];};"
</source>

== Переход на вкладку ==
В <tt>EAL.prototype</tt> добавлен метод <tt>switchToFile</tt>.
<source lang="javascript">
switchToFile : function(id, tabID) {
this.execCommand(id, 'switch_to_file', tabID);
},
</source>

== Работа с единичными файлами (устарело) ==
Для работы с файлами (сохранение, переименование, удаление) удобно создать специальный объект, моделирующий файл. Нужно хранить:
* полное имя файла
* каталог (он же имя пользователя или id сессии)
* отображаемое имя (оно может быть слишком длинным для полного отображения)
* тип (сохраненный файл пользователя, или «висячий» («фантомный») файл примера)
* некоторые параметры редактора кода
<source lang="JavaScript">
// Файл
function File(
pName, // имя файла
pPath, // путь к файлу (пустая строка в случае основного каталога)
pOwnerName, // владелец (имя пользователя или гость)
pIsPhantom, // фантомный ли файл (фантомный - т.е. не сохраненный на сервере)
pPhantomType // тип фантомного файла (новый[new], пример[sample], опубликованный файл[public])
){

// ----------------------------------------- Поля

name; // имя файла
viewName; // отображаемое имя файла (если не слишком длинное, то само pName)
path; // путь к файлу
fullName; // полное имя файла

isByUser; // пользовательский ли это файл
ownerName; // владелец (имя пользователя или ID сессии)

isPhantom; // фантомный ли файл (фантомный - т.е. не сохраненный на сервере)
phantomType; // тип фантомного файла (новый[new], пример[sample], опубликованный файл[public])

isOpened; // открыт ли файл в редакторе
tabID; // ID вкладки в редакторе

sourceCode; // по необходимости можно использовать для хранения содержимого

// ----------------------------------------- Методы
open; // открывает файл (в редакторе тоже)
close; // закрывает файл (в редакторе тоже)
active; // активирует файл в редакторе
save; // устанавливает статус измененности в редакторе в ложь

setFullName; // изменяет имя файла по полному имени
setName; // изменяет имя файла

updateTabTitle; // обновляет заголовок вкладки в соответствии с именем файла

setSourceCode; // изменяет содержимое файла

setNotPhantom; // изменяет статус файла на нефантомный
setStatusClosed; // изменяет статус файла на закрытый
setStatusOpened; // изменяет статус файла на открытый
}
</source>

== Управление файлами ==
Реализован '''браузер файлов''' — <tt>VirtualFileBrowser</tt> и '''менеджер редактора''' — <tt>EditorManager</tt>.
=== Браузер файлов ===
Занимается отображением содержимого каталогов. Предоставляет обработчики нажатий на кнопки.
<source lang="Javascript">
DivID // ID блока, к которому привязывать браузер [string]

UserName // имя пользователя [string]
VarName // Имя переменной, которая отвечает за данный браузер файлов [string]

BrowserTitle // Заголовок браузера файлов [string]

CurrentDir // текущий каталог [string]
LastChosenDir // последний выбранный каталог (для загрузки файлов) [string]
DirsHash // хэш всех каталогов
dirNames // список имен всех каталогов (вспомогательный) [Array<string>]
CurrentDirectoryContent // текущий каталог [VirtualDirectoryContent]

UsedActions // Массив используемых операций с элементами браузера

turnOffCheckboxes // Выключать ли чекбоксы

MAX_ITEMS_COUNT_ON_PAGE // число отображаемых файлов без прокрутки

// -------------------------------- Методы
Load // Загрузить содержимое каталога
LoadParent // Загрузить содержимое родительского каталога

Display // Отобразить браузер
DisplayEmptyBrowser // Отображает заготовку для браузера

DirectoryIsLoaded // Проверяет, есть ли данные по запрошенному каталогу
ParentDirectoryIsLoaded // Проверяет, есть ли данные по родительскому каталогу
OpenDirectory // Открывает запрошенный каталог
OpenParentDirectory // Открывает родительский каталог

GetFullFileName // По файлу в текущем каталоге браузере возвращает полное имя файла
GetFullDirectoryName // По папке в текущем каталоге браузере возвращает полное имя папки

ContainsFile // Проверяет наличие файла в текущем каталоге
AddNewFile // Добавляет в браузер (текущий каталог) новый файл
RenameFile // Переименовывает файл
RemoveFile // Удаляет файл
ShareFile // Делает файл расшаренным
UnshareFile // Делает файл обычным

ContainsFolder // Проверяет наличие каталога в текущем каталоге
AddNewFolder // Добавляет в браузер (текущий каталог) новый каталог
RenameFolder // Переименовывает каталог
RemoveFolder // Удаляет каталог
ShareFolder // Делает каталог расшаренным
UnshareFolder // Делает каталог обычным

SetStatusInfo // Устанавливает надпись статуса

GetCheckedFilesList // Возвращает список отмеченных файлов (Array<LinkCheckboxPair>)
GetCheckedDirsList // Возвращает список отмеченных каталогов (Array<LinkCheckboxPair>)

// -------------------------------- Callbacks
OnFileClick // Нажатие на файл
OnDirectoryClick // Нажатие на каталог
OnParentDirectoryClick // Нажатие на ссылку на родительский каталог

OnRenameFileButtonClick // Нажатие на кнопку переименования файла
OnRemoveFileButtonClick // Нажатие на кнопку удаления файлов
OnDownloadFilesButtonClick // Нажатие на кнопку скачивания pas-файлов
OnRenameFolderButtonClick // Нажатие на кнопку переименования папки
OnRemoveFolderButtonClick // Нажатие на кнопку удаления паки
OnNewFolderButtonClick // Нажатие на кнопку создания новой папки
OnShareFilesButtonClick // Нажатие на кнопку расшаривания файлов
OnGetSharedLinkButtonClick // Нажатие на кнопку получения ссылки на расшаренный файл
OnUnshareFilesButtonClick // Нажатие на кнопку закрытия доступа к файлам
</source>

=== Менеджер редактора ===
Инкапсулирует работу с редактором. Файлы отдельно, редактор отдельно.
<source lang="Javascript">
UserFiles // Список пользовательских файлов в редакторе [hash<EditorFileData>]
SampleFiles // Список файлов примеров в редакторе [hash<EditorFileData>]
PublicFiles // Список публичных файлов в редакторе [hash<EditorFileData>]
SharedFiles // Список расшаренных файлов в редакторе [hash<EditorFileData>]
NewUserFiles // Список новых пользовательских файлов в редакторе [hash<EditorFileData>]

TabIDsHash // Владельцы и полные имена файлов по id вкладки [hash<EditorTabFileData>]

// -------------------------------- Методы
OpenFile // Открыть файл в редакторе
FileIsOpened // Проверяет, открыт ли файл в редакторе
ActiveFile // Делает активной вкладку заданного файла
CloseFile // Закрывает в редакторе заданный файл (меняет статус в менеджере)
CloseFileInEditor // Закрывает заданный файл в самом редакторе

GetCurrFileData // Возвращает информацию о текущем файле редактора

SetFileEditStatusSaved // Делает статус вкладки в редакторе нередактированной
ChangeTabFileData // Меняет для файла из текущей вкладки данные

GetFileFromDirectory // Возвращает данные открытого файла из заданного каталога (его или подкаталога)
</source>

2011-09-15T17:56:07Z

Juliet: /* Поиск ошибок */

Практикум на ЭВМ: I курс

2011-09-15T15:42:08Z

Juliet: /* Не знаю, что */

''2011/2012 учебный год''

= Тема 1. Ввод/вывод, переменные и типы данных, присваивание, условный оператор, оператор выбора =
== Занятие 1 (16 сентября) — Ввод/вывод, переменные и типы данных, присваивание ==

Запустите среду программирования '''PascalABC.NET''' (Пуск / Программирование и ППП / Программирование / PascalABC.NET).

Выполните в классе задания из разделов I-III (''повышенной сложности'' — по желанию). Задания раздела IV нужно выполнить дома.

'''Рекомендации к выполнению'''

а) Следует уделять внимание оформлению собственных решений (пустые строки, отступы, комментарии), ориентируясь на предоставленные образцы.

б) Переменные следует объявлять непосредственно перед их использованием (переменные для исходных данных в блоке ввода данных, вспомогательные переменные — в блоке вычислений).

в) Решения большинства заданий из этого пункта имеют следующую структуру:
# Ввод исходных данных
# Вычисление результата
# Вывод результата

Блоки решения можно выделять пустыми строками и сопровождать комментариями.

=== I. Простейший ввод/вывод, оператор присваивания, вычисление значения выражения ===

1. Рассмотрите пример, создайте файл с этой программой и запустите ее на выполнение:
<source lang="Pascal">
// Программа, печатающая приветствие - это комментарий к программе
program Hello;

begin
Writeln('Привет, мир');
end.
</source>

2. Изучите пример, демонстрирующий использование вещественных переменных:
<source lang="Pascal">
// Использование вещественных переменных

begin
// Объявление переменной с одновременным присваиванием значения
var a:real := 10.1;

// Вывод значения переменной
Writeln('a = ', a);

// Присваивание переменной нового значения
a := 5;

// Увеличение значения переменной
a += 0.6;

// Вывод значения переменной
Writeln('a = ', a);
end.
</source>

3. Рассмотрите примеры с вычислением периметра квадрата и периметра и длины гипотенузы прямоугольного треугольника:
<source lang="Pascal">
// Вычисление периметра квадрата по заданной стороне

begin

Writeln('Введите длину стороны квадрата:');

// Объявление переменной для хранения длины стороны
var a: real;

// Ввод длины стороны
Read(a);

// Вычисление периметра
var P: real := 4 * a;

Writeln('Периметр P = ', P);
end.
</source>
<source lang="Pascal">
// Вычисление гипотенузы и периметра прямоугольного треугольника по заданным катетам

begin

Writeln('Введите длины катетов (два числа, разделенные пробелом):');

// Объявление переменных для хранения катетов
var a, b: real;

Read(a, b);

// Тип переменной c определяется автоматически, как результат вычислений
// sqrt - функция вычисления квадратного корня
var c := sqrt(a*a + b*b);

Writeln('Гипотенуза c = ', c);

// Вычисление периметра треугольника
var P := a + b + c;

Writeln('Периметр P = ', P);
end.
</source>

4. Вычислите синус и косинус угла, заданного в радианах.

5. Найдите наибольшее целое число, которое не превышает корня заданного числа.

6. Вычислите значение выражения по заданным a, b и c: <math>\frac{a+b}{a-b}+\sqrt{\frac{c}{2}}</math>.

7. Вычислите значение функции y = 4(x–3)6 – 7(x–3)3 + 2 для нескольких заданных x. Воспользуйтесь вспомогательной переменной для (x–3)3.

=== II. Операции с целыми числами ===

''Используемые понятия'': тип '''integer''', операции '''div''' (вычисление частного от деления) и '''mod''' (вычисления остатка от деления), стандартный вид числа (напр. 123 = 1*100 + 2*10 + 3*1).

'''Основные задания'''

# Определить возраст человека в годах по возрасту, заданному в месяцах.
# Дано двузначное целое число. Вывести его правую и левую цифры.
# Дано трехзначное число. Вывести сумму и произведение его цифр.
# Даны две цифры. Пользуясь стандартным видом числа, сформируйте число, разрядами которого являются заданные цифры. Первая заданная цифра должна соответствовать второму разряду (разряды числа нумеруются справа налево).
# Дано двузначное число. Поменяйте в нем местами разряды десяток и единиц.
# Дано трехзначное число. Выполните в нем циклический сдвиг разрядов влево (разряд единиц становится разрядом десятков, разряд десятков — разрядом сотен, а разряд сотен — разрядом единиц).

'''Задания повышенной сложности'''

''Используемые понятия'': [http://ru.wikipedia.org/wiki/Битовые_операции битовые операции].

К ''битовым'' относятся бинарные операции '''and''', '''or''', '''not''', '''xor''', '''shl''', '''shr'''. Они производят побитовые манипуляции с операндами целого типа. Битовые операции '''and''', '''or''', '''not''' и '''xor''' осуществляются следующим образом: с каждым битом (0 принимается за False, 1 — за True) производится соответствующая логическая операция. Операции '''shl''' и '''shr''' выполняют сдвиг разрядов влево или вправо, при этом недостающие разряды дополняются нулями. Например:

00010101 '''and''' 00011001 = 00010001
00010101 '''or''' 00011001 = 00011101
00010101 '''xor''' 00011001 = 00001100
'''not''' 00010101 = 11101010
00010101 '''shl''' 310 = 10101000
00010101 '''shr''' 310 = 00000010

(по умолчанию операнды и результат представлены в двоичной форме).

В решениях удобно пользоваться [http://pascalabc.net/WDE/?file=00112.pas функцией перевода целого положительного числа в строковое двоичное представление] (в самой функции пока разбираться необязательно, ее можно скопировать в свою программу). Следует также помнить, что правила сложения и вычитания чисел «в столбик» работают вне зависимости от того, в какой системе счисления представлено (например, в двоичном представлении: 00001000 – 00000001 = 00000111).

'''Замечание''': для упрощения работы и проверки результата используйте тип byte (8-битное беззнаковое целое: 0..255) вместо integer.

# Дано целое число. Вывести в двоичном и десятичном видах результат операции not над ним. (Для сравнения удобно вывести само число в двоичном виде предварительно.)
# Даны два целых числа. Вывести в двоичном и десятичном видах результаты операций and, or и xor над ними. Что если исходные числа равны?
# Сдвинуть число 1 влево на 1, 2, 3, 5 и 10 разрядов. Сформулировать (и записать в комментарии в программе) смысл этой операции.
# Сдвинуть число 10000 вправо на 1, 2, 3, 5 и 10 разрядов. Сформулировать смысл этой операции.
# Дано целое число. Обнулить его младший бит (крайний правый бит в двоичном представлении).
# Дано целое число. Обнулить его младший бит. Установить его младший бит.
# Даны два целых числа. Сформировать число, каждый бит которого является наименьшим из соответствующих битов исходных чисел.
# Сформировать число с установленными третьим, пятым и седьмым битами, считая слева.
# Установить третий, пятый и седьмой биты в заданном числе.
# Дано целое число. Обнулить его крайний справа единичный бит (например, 00100100 ↦ 00100000). На основе этого проверить, является ли число степенью двойки.
# Проверить, имеет ли заданное целое число вид 2n – 1.
# Заполнить крайнюю справа непрерывную последовательность нулевых битов заданного числа единицами (например: 00100100 ↦ 00100111).
# Обнулить крайнюю справа непрерывную последовательность единичных битов заданного числа (например: 1001100 ↦ 10000000). На основе этого проверить, является ли данное число (положительной) разностью степеней двойки.

=== III. Операции с символами ===

# Определить код заданного символа
# Вывести символ, следующий за данным

=== IV. Задания на дом ===

# Дана длина ребра куба a. Найти объем куба и площадь его поверхности.
# Вычислите значение логарифма числа 1024 по основанию 2, пользуясь функцией ln, вычисляющей натуральный логарифм заданного числа, и формулой: <math>\log_a b = \frac{\ln b}{\ln a}</math>.
# Известна скорость лодки и пройденный ею путь. Вычислите время движения лодки.
# Вычислите длину окружности и площадь круга заданного радиуса. Используйте константу (<tt>const Pi=3.14159265;</tt>) для числа π.
# Найти расстояние между двумя точками с заданными координатами <math>(x_1, y_1)</math> и <math>(x_2, y_2)</math> на плоскости. Расстояние вычисляется по формуле <math>d=\sqrt{(x_1-x_2)^2+(y_1-y_2)^2}</math>.
# Даны длины сторон треугольника. Вычислите его площадь, пользуясь ''формулой Герона'' <math>S=\sqrt{p(p-a)(p-b)(p-c)}</math>, где p — полупериметр.
# Дана температура в градусах Цельсия, вычислите соответствующую ей температуру в градусах Фаренгейта. Шкалы Цельсия и Фаренгейта связаны соотношением <math>t^{\circ}C = \frac{5}{9}(t^{\circ}F-32)</math>.
# Даны радиусы двух концентрических окружностей. Вычислите площадь кольца, заключенного между ними.
# Известны периметр прямоугольника и длина его диагонали. Найти стороны прямоугольника.
# Поменять местами значение переменных. То же, ''не используя'' вспомогательную переменную.
# Вывести символ, предшествующий данному
# Определить, сколько месяцев осталось до дня рождения человека, если известен его возраст в месяцах.
# Определить последнюю цифру заданного целого числа.
# Даны три цифры, построить соответствующее трехзначное число.
# Дано трехзначное число. Выполнить циклический сдвиг его разрядов вправо.
# Дано трехзначное число. Поменять в нем местами разряды десятков и единиц.
# Дано трехзначное число. Обнулить в нем разряд десятков.
# Дано трехзначное число. Сформировать новое число, каждый разряд которого больше на единицу. Если разряд данного числа равен 9, то он должен стать равным 0.

== Занятие 2 (17 сентября) — Сравнения и логические операции ==
''Во всех заданиях пользоваться условным оператором нельзя, ответ выводится как результат сравнения или логической операции.''

''Используемые понятия'': логические операции '''not''', '''and''', '''or'''.

=== I. Основные задания ===

# Даны два целых числа. Вывести значение True, если первое число больше второго, и False в противном случае.
# Даны два целых числа. Вывести значение True, если первое число не равно второму, и False в противном случае.
# Даны три целых числа: A, B, C. Вывести значение True, если справедливо двойное неравенство A < B < C, и False в противном случае.
# Даны три целых числа. Вывести значение True, если они все равны, и False в противном случае.
# Даны два целых числа. Вывести значение True, если хотя бы одно из этих чисел является нечетным (нужно использовать функцию odd), и False в противном случае.
# Даны три вещественных числа. Вывести значение True, если все эти числа являются положительными, и False в противном случае.
# Даны три вещественных числа. Вывести значение True, если хотя бы одно из этих чисел является положительным, и False в противном случае.
# Даны числа x, y. Вывести значение True, если точка с координатами (x, y) лежит в четвертой координатной четверти, и False в противном случае.
# Даны числа x, y. Вывести значение True, если точка с координатами (x, y) лежит выше оси абсцисс, и False в противном случае.
# Даны целые числа a, b, c, являющиеся сторонами некоторого треугольника. Вывести значение True, если треугольник со сторонами a, b, c является равнобедренным, и False в противном случае.

=== II. Задания повышенной сложности ===

# Даны два целых числа: A, B. Вывести значение True, если числа A и B имеют одинаковую четность, и False в противном случае.
# Даны три целых числа: A, B, C. Вывести значение True, если число C находится между числами A и B, и False в противном случае. Указание: Следует рассмотреть два случая: A B.
# Дано трехзначное число. Вывести значение True, если цифры данного числа образуют возрастающую последовательность, и False в противном случае.
# Даны числа A, B, C (число A не равно 0). Рассмотрев ''дискриминант'' D = B2 − 4·A·C, вывести значение True, если квадратное уравнение A·x2 + B·x + C = 0 имеет вещественные корни, и False в противном случае.
# Даны целые числа a, b, c, являющиеся сторонами некоторого треугольника. Вывести значение True, если треугольник со сторонами a, b, c является прямоугольным, и False в противном случае.
# Даны целые числа a, b, c. Вывести значение True, если существует треугольник со сторонами a, b, c, и False в противном случае.
# Даны координаты поля шахматной доски x, y (целые числа, лежащие в диапазоне 1–8). Учитывая, что левое нижнее поле доски (1, 1) является черным, вывести значение True, если данное поле является белым, и False в противном случае.
# Даны координаты двух различных полей шахматной доски x1, y1, x2, y2 (целые числа, лежащие в диапазоне 1–8). Вывести значение True, если ладья за один ход может перейти с одного поля на другое, и False в противном случае.
# Даны координаты двух различных полей шахматной доски x1, y1, x2, y2 (целые числа, лежащие в диапазоне 1–8). Вывести значение True, если конь за один ход может перейти с одного поля на другое, и False в противном случае.

=== III. Задания на дом ===

# Даны два целых числа. Вывести значение True, если первое число не меньше, чем второе, и False в противном случае.
# Даны два целых числа. Вывести значение True, если первое совпадает со вторым, и False в противном случае.
# Даны два целых числа. Вывести значение True, если ровно одно из этих чисел является четным (функция odd и операция not), и False в противном случае.
# Дано трёхзначное число. Вывести значение True, если все цифры данного числа различны, и False в противном случае.
# Даны числа x, y. Вывести значение True, если точка с координатами (x, y) лежит во второй или третьей координатной четверти, и False в противном случае.
# Даны целые числа a, b, c, являющиеся сторонами некоторого треугольника. Вывести значение True, если треугольник со сторонами a, b, c является равносторонним, и False в противном случае.

== Не знаю, что ==
=== Поиск ошибок ===
Ошибки в программах — довольно частое явление. Нужно уметь находить и исправлять ошибки. К самым простым можно отнести ''ошибки синтаксиса''.

Внимательно изучите [http://pascalabc.net/wiki/index.php/Начало._Возможные_ошибки#Неописанная_переменная эту страницу]. Там приведены самые распространенные ошибки начинающих программистов. Но ошибки могут быть самыми разнообразными. Часто в их устранении помогает компилятор, он выдает сообщение об ошибке. Но '''ожидания компилятора не всегда соответствуют нашим желаниям'''!

Рассмотрим такую программу:
<source lang="Pascal">
var
a real;
begin
end.
</source>
Компиляция приводит к ошибке: '''Ожидалось ':='''' во второй строке. Если броситься исправлять эту ошибку, не подумав, мы получим следующее:
<source lang="Pascal">
var
a := real;
begin
end.
</source>
Ошибка: '''Ожидалась переменная'''. Ну, конечно, она ожидалась! Разве мы можем присвоить тип переменной? Вернемся к предыдущей программе и подумаем.

Практикум на ЭВМ: I курс

2011-09-15T15:01:22Z

Juliet: /* III. Задания на дом */

Практикум на ЭВМ: I курс

2011-09-12T10:42:07Z

Juliet:

Практикум на ЭВМ: I курс

2011-09-12T10:20:20Z

Juliet: /* Занятие 1 (16 сентября) — Ввод/вывод, переменные и типы данных, присваивание */

''2011/2012 учебный год''

= Тема 1. Ввод/вывод, переменные и типы данных, присваивание, условный оператор, оператор выбора =
== Занятие 1 (16 сентября) — Ввод/вывод, переменные и типы данных, присваивание ==

Запустите среду программирования '''PascalABC.NET''' (Пуск / Программирование и ППП / Программирование / PascalABC.NET).

Выполните в классе задания из разделов I-III. Задания раздела IV нужно выполнить дома.

'''Рекомендации к выполнению'''

а) Следует уделять внимание оформлению собственных решений (пустые строки, отступы, комментарии), ориентируясь на предоставленные образцы.

б) Переменные следует объявлять непосредственно перед их использованием (переменные для исходных данных в блоке ввода данных, вспомогательные переменные — в блоке вычислений).

в) Решения большинства заданий из этого пункта имеют следующую структуру:
# Ввод исходных данных
# Вычисление результата
# Вывод результата

Блоки решения можно выделять пустыми строками и сопровождать комментариями.

=== I. Простейший ввод/вывод, оператор присваивания, вычисление значения выражения ===

1. Рассмотрите пример, создайте файл с этой программой и запустите ее на выполнение:
<source lang="Pascal">
// Программа, печатающая приветствие - это комментарий к программе
program Hello;

begin
Writeln('Привет, мир');
end.
</source>

2. Изучите пример, демонстрирующий использование вещественных переменных:
<source lang="Pascal">
// Использование вещественных переменных

begin
// Объявление переменной с одновременным присваиванием значения
var a:real := 10.1;

// Вывод значения переменной
Writeln('a = ', a);

// Присваивание переменной нового значения
a := 5;

// Увеличение значения переменной
a += 0.6;

// Вывод значения переменной
Writeln('a = ', a);
end.
</source>

3. Рассмотрите примеры с вычислением периметра квадрата и периметра и длины гипотенузы прямоугольного треугольника:
<source lang="Pascal">
// Вычисление периметра квадрата по заданной стороне

begin

Writeln('Введите длину стороны квадрата:');

// Объявление переменной для хранения длины стороны
var a: real;

// Ввод длины стороны
Read(a);

// Вычисление периметра
var P: real := 4 * a;

Writeln('Периметр P = ', P);
end.
</source>
<source lang="Pascal">
// Вычисление гипотенузы и периметра прямоугольного треугольника по заданным катетам

begin

Writeln('Введите длины катетов (два числа, разделенные пробелом):');

// Объявление переменных для хранения катетов
var a, b: real;

Read(a, b);

// Тип переменной c определяется автоматически, как результат вычислений
// sqrt - функция вычисления квадратного корня
var c := sqrt(a*a + b*b);

Writeln('Гипотенуза c = ', c);

// Вычисление периметра треугольника
var P := a + b + c;

Writeln('Периметр P = ', P);
end.
</source>

4. Вычислите синус и косинус угла, заданного в радианах.

5. Найдите наибольшее целое число, которое не превышает корня заданного числа.

6. Вычислите значение выражения по заданным a, b и c: <math>\frac{a+b}{a-b}+\sqrt{\frac{c}{2}}</math>.

7. Вычислите значение функции y = 4(x–3)6 – 7(x–3)3 + 2 для нескольких заданных x. Воспользуйтесь вспомогательной переменной для (x–3)3.

=== II. Операции с целыми числами ===

''Используемые понятия'': тип '''integer''', операции '''div''' (вычисление частного от деления) и '''mod''' (вычисления остатка от деления), стандартный вид числа (напр. 123 = 1*100 + 2*10 + 3*1).

'''Основные задания'''

# Определить возраст человека в годах по возрасту, заданному в месяцах.
# Дано двузначное целое число. Вывести его правую и левую цифры.
# Дано трехзначное число. Вывести сумму и произведение его цифр.
# Даны две цифры. Пользуясь стандартным видом числа, сформируйте число, разрядами которого являются заданные цифры. Первая заданная цифра должна соответствовать второму разряду (разряды числа нумеруются справа налево).
# Дано двузначное число. Поменяйте в нем местами разряды десяток и единиц.
# Дано трехзначное число. Выполните в нем циклический сдвиг разрядов влево (разряд единиц становится разрядом десятков, разряд десятков — разрядом сотен, а разряд сотен — разрядом единиц).

'''Задания повышенной сложности'''

''Используемые понятия'': [http://ru.wikipedia.org/wiki/Битовые_операции битовые операции].

К ''битовым'' относятся бинарные операции '''and''', '''or''', '''not''', '''xor''', '''shl''', '''shr'''. Они производят побитовые манипуляции с операндами целого типа. Битовые операции '''and''', '''or''', '''not''' и '''xor''' осуществляются следующим образом: с каждым битом (0 принимается за False, 1 — за True) производится соответствующая логическая операция. Операции '''shl''' и '''shr''' выполняют сдвиг разрядов влево или вправо, при этом недостающие разряды дополняются нулями. Например:

00010101 '''and''' 00011001 = 00010001
00010101 '''or''' 00011001 = 00011101
00010101 '''xor''' 00011001 = 00001100
'''not''' 00010101 = 11101010
00010101 '''shl''' 310 = 10101000
00010101 '''shr''' 310 = 00000010

(по умолчанию операнды и результат представлены в двоичной форме).

В решениях удобно пользоваться [http://pascalabc.net/WDE/?file=00112.pas функцией перевода целого положительного числа в строковое двоичное представление] (в самой функции пока разбираться необязательно, ее можно скопировать в свою программу). Следует также помнить, что правила сложения и вычитания чисел «в столбик» работают вне зависимости от того, в какой системе счисления представлено (например, в двоичном представлении: 00001000 – 00000001 = 00000111).

'''Замечание''': для упрощения работы и проверки результата используйте тип byte (8-битное беззнаковое целое: 0..255) вместо integer.

# Дано целое число. Вывести в двоичном и десятичном видах результат операции not над ним. (Для сравнения удобно вывести само число в двоичном виде предварительно.)
# Даны два целых числа. Вывести в двоичном и десятичном видах результаты операций and, or и xor над ними. Что если исходные числа равны?
# Сдвинуть число 1 влево на 1, 2, 3, 5 и 10 разрядов. Сформулировать (и записать в комментарии в программе) смысл этой операции.
# Сдвинуть число 10000 вправо на 1, 2, 3, 5 и 10 разрядов. Сформулировать смысл этой операции.
# Дано целое число. Обнулить его младший бит (крайний правый бит в двоичном представлении).
# Дано целое число. Обнулить его младший бит. Установить его младший бит.
# Даны два целых числа. Сформировать число, каждый бит которого является наименьшим из соответствующих битов исходных чисел.
# Сформировать число с установленными третьим, пятым и седьмым битами, считая слева.
# Установить третий, пятый и седьмой биты в заданном числе.
# Дано целое число. Обнулить его крайний справа единичный бит (например, 00100100 ↦ 00100000). На основе этого проверить, является ли число степенью двойки.
# Проверить, имеет ли заданное целое число вид 2n – 1.
# Заполнить крайнюю справа непрерывную последовательность нулевых битов заданного числа единицами (например: 00100100 ↦ 00100111).
# Обнулить крайнюю справа непрерывную последовательность единичных битов заданного числа (например: 1001100 ↦ 10000000). На основе этого проверить, является ли данное число (положительной) разностью степеней двойки.

=== III. Операции с символами ===

# Определить код заданного символа
# Вывести символ, следующий за данным

=== IV. Задания на дом ===

# Дана длина ребра куба a. Найти объем куба и площадь его поверхности.
# Вычислите значение логарифма числа 1024 по основанию 2, пользуясь функцией ln, вычисляющей натуральный логарифм заданного числа, и формулой: <math>\log_a b = \frac{\ln b}{\ln a}</math>.
# Известна скорость лодки и пройденный ею путь. Вычислите время движения лодки.
# Вычислите длину окружности и площадь круга заданного радиуса. Используйте константу (<tt>const Pi=3.14159265;</tt>) для числа π.
# Найти расстояние между двумя точками с заданными координатами <math>(x_1, y_1)</math> и <math>(x_2, y_2)</math> на плоскости. Расстояние вычисляется по формуле <math>d=\sqrt{(x_1-x_2)^2+(y_1-y_2)^2}</math>.
# Даны длины сторон треугольника. Вычислите его площадь, пользуясь ''формулой Герона'' <math>S=\sqrt{p(p-a)(p-b)(p-c)}</math>, где p — полупериметр.
# Дана температура в градусах Цельсия, вычислите соответствующую ей температуру в градусах Фаренгейта. Шкалы Цельсия и Фаренгейта связаны соотношением <math>t^{\circ}C = \frac{5}{9}(t^{\circ}F-32)</math>.
# Даны радиусы двух концентрических окружностей. Вычислите площадь кольца, заключенного между ними.
# Известны периметр прямоугольника и длина его диагонали. Найти стороны прямоугольника.
# Поменять местами значение переменных. То же, ''не используя'' вспомогательную переменную.
# Вывести символ, предшествующий данному
# Определить, сколько месяцев осталось до дня рождения человека, если известен его возраст в месяцах.
# Определить последнюю цифру заданного целого числа.
# Даны три цифры, построить соответствующее трехзначное число.
# Дано трехзначное число. Выполнить циклический сдвиг его разрядов вправо.
# Дано трехзначное число. Поменять в нем местами разряды десятков и единиц.
# Дано трехзначное число. Обнулить в нем разряд десятков.
# Дано трехзначное число. Сформировать новое число, каждый разряд которого больше на единицу. Если разряд данного числа равен 9, то он должен стать равным 0.

== Занятие 2 (17 сентября) — Сравнения и логические операции ==
''Во всех заданиях пользоваться условным оператором нельзя, ответ выводится как результат сравнения или логической операции.''

''Используемые понятия'': логические операции '''not''', '''and''', '''or'''.

=== I. Основные задания ===

# Даны два целых числа. Вывести значение True, если первое число больше второго, и False в противном случае.
# Даны два целых числа. Вывести значение True, если первое число не равно второму, и False в противном случае.
# Даны три целых числа: A, B, C. Вывести значение True, если справедливо двойное неравенство A < B < C, и False в противном случае.
# Даны три целых числа. Вывести значение True, если они все равны, и False в противном случае.
# Даны два целых числа. Вывести значение True, если хотя бы одно из этих чисел является нечетным (нужно использовать функцию odd), и False в противном случае.
# Даны три вещественных числа. Вывести значение True, если все эти числа являются положительными, и False в противном случае.
# Даны три вещественных числа. Вывести значение True, если хотя бы одно из этих чисел является положительным, и False в противном случае.
# Даны числа x, y. Вывести значение True, если точка с координатами (x, y) лежит в четвертой координатной четверти, и False в противном случае.
# Даны числа x, y. Вывести значение True, если точка с координатами (x, y) лежит выше оси абсцисс, и False в противном случае.
# Даны целые числа a, b, c, являющиеся сторонами некоторого треугольника. Вывести значение True, если треугольник со сторонами a, b, c является равнобедренным, и False в противном случае.

=== II. Задания повышенной сложности ===

# Даны два целых числа: A, B. Вывести значение True, если числа A и B имеют одинаковую четность, и False в противном случае.
# Даны три целых числа: A, B, C. Вывести значение True, если число C находится между числами A и B, и False в противном случае. Указание: Следует рассмотреть два случая: A B.
# Дано трехзначное число. Вывести значение True, если цифры данного числа образуют возрастающую последовательность, и False в противном случае.
# Даны числа A, B, C (число A не равно 0). Рассмотрев ''дискриминант'' D = B2 − 4·A·C, вывести значение True, если квадратное уравнение A·x2 + B·x + C = 0 имеет вещественные корни, и False в противном случае.
# Даны целые числа a, b, c, являющиеся сторонами некоторого треугольника. Вывести значение True, если треугольник со сторонами a, b, c является прямоугольным, и False в противном случае.
# Даны целые числа a, b, c. Вывести значение True, если существует треугольник со сторонами a, b, c, и False в противном случае.
# Даны координаты поля шахматной доски x, y (целые числа, лежащие в диапазоне 1–8). Учитывая, что левое нижнее поле доски (1, 1) является черным, вывести значение True, если данное поле является белым, и False в противном случае.
# Даны координаты двух различных полей шахматной доски x1, y1, x2, y2 (целые числа, лежащие в диапазоне 1–8). Вывести значение True, если ладья за один ход может перейти с одного поля на другое, и False в противном случае.
# Даны координаты двух различных полей шахматной доски x1, y1, x2, y2 (целые числа, лежащие в диапазоне 1–8). Вывести значение True, если конь за один ход может перейти с одного поля на другое, и False в противном случае.

=== III. Задания на дом ===

# Даны два целых числа. Вывести значение True, если первое число не меньше, чем второе, и False в противном случае.
# Даны два целых числа. Вывести значение True, если первое совпадает со вторым, и False в противном случае.
# Даны два целых числа. Вывести значение True, если ровно одно из этих чисел является четным (функция odd и операция not), и False в противном случае.
# Дано трёхзначное число. Вывести значение True, если все цифры данного числа различны, и False в противном случае.
# Даны числа x, y. Вывести значение True, если точка с координатами (x, y) лежит во второй или третьей координатной четверти, и False в противном случае.
# Даны целые числа a, b, c, являющиеся сторонами некоторого треугольника. Вывести значение True, если треугольник со сторонами a, b, c является равносторонним, и False в противном случае.

Практикум на ЭВМ: I курс

2011-09-12T10:12:09Z

Juliet: /* IV. Задания на дом */

Практикум на ЭВМ: I курс

2011-09-12T10:10:21Z

Juliet: /* IV. Задания на дом */