Обзор языка ОССАМ


1. Парадигма программирования – набор параллельных процессов, взаимодействующих через программные каналы путем «столкновений» в канале, когда один процесс выводит, а другой вводит данные, путем передачи сообщения.

2. Типы данных: BYTE,BOOL,INT16,INT32,INT,REAL32,REAL64,CHAN.

3. Объявление данных:

CHAN OF INT ch // канал для передачи целых данных

BOOL b

[10] INT a // массив из 10 целых чисел

[3][2] CHAN OF REAL32 *

присваивание выражения:

X:=4.0(REAL32)*a/b

(преобразование типов автоматически – отсутствует, только явное)

CHAN OF INT C

C?X // чтение из канала с целого х

C!1 // запись в канал с целого 1

Мы с вами изучали архитектурные особенности микролокальных сетей и пришли к такому выводу, что без изучения средств программирования понять как их применять и понять особенности взаимодействия в этой микролокальной сети очень сложно. Например никто из вас не понимает почему так важна топология сетей для какой-то решаемой задачи. Собственно это можно понять, рассматривая средства программирования, которые есть для микролокальных сетей.

Язык ОККАМ это строго типизированный язык, то есть для того чтобы выполнить ту или иную операцию в этом языке необходимо использовать данные того типа, которые подразумевает данная операция. Неявных преобразований типов в языке просто нет, то есть надо явно указывать, если необходимо выполнить то или иное преобразование данных к другому типу. Такие языки называются строго типизированными языками.

Загрузка...