Язык программирования 11l

_{(This page in English\Эта страница на английском)}

_{_{_{_{_{████
██
██
██
██
██
██
██████████}}}}}

11l — это компилируемый язык программирования общего назначения, обеспечивающий простое и прямое отображение программы на аппаратную часть и стремящийся следовать принципу нулевых накладных расходов как C++ (неиспользуемые возможности языка не добавляют накладных расходов времени выполнения). 11l — статически типизированный, но ощущается как динамически типизируемый язык (как например Python).
Дизайн 11l направлен на максимальную краткость и лаконичность.
Также 11l пытается совместить хорошую читаемость и выразительность кода (как в Python) с производительностью C++.

Явное отличие 11l от всех других языков программирования заключается в том, что его ключевые слова организованы в виде дерева, а не просто списка.
В корне этого дерева располагаются 11 базовых ключевых слов, которые можно сокращать до одной буквы. [Короткие однобуквенные ключевые слова выглядят странно на первый взгляд, но это всего лишь дело привычки.]
Дерево всех ключевых слов 11l

── C/in\С/св
── I/if\Е/если ──┬── likely\часто
                 └── unlikely\редко
── E/else\И/иначе
── F/fn\Ф/фн ──┬── args\арг
               ├── result\результат
               ├── destructor\деструктор
               └── virtual\виртуал ──┬── new\новая
                                     ├── override\переопр
                                     ├── final\финал
                                     ├── abstract\абстракт
                                     └── assign\опред
── L/loop\Ц/цикл ──┬── continue\продолжить
                   ├── break\прервать
                   ├── remove_current_element_and_continue\удалить_текущий_элемент_и_продолжить
                   ├── remove_current_element_and_break\удалить_текущий_элемент_и_прервать
                   ├── on_continue\при_продолжении
                   ├── on_break\при_прерывании
                   ├── was_no_break\не_был_прерван
                   ├── index\индекс
                   ├── first_iteration\первая_итерация
                   ├── last_iteration\последняя_итерация
                   ├── next\след
                   └── prev\пред
── N/null\Н/нуль
── R/return\Р/вернуть
── S/switch\В/выбрать ──┬── break\прервать
                        └── fallthrough
── T/type\Т/тип ──┬── base\базовый
                  ├── enum\перечисл
                  └── interface\интерфейс
── V/var\П/пер
── X/exception\К/исключение ──┬── handle\обработка
                              ├── throw\возбудить
                              ├── try\контроль
                              ├── catch\перехват
                              └── try_end

Примеры

Python

11l

C++

while True:
    if instr[i] == "[":
        nesting_level += 1
    elif instr[i] == "]":
        nesting_level -= 1
        if nesting_level == 0:
            break
    i += 1

while (true) {
    switch (instr[i]) {
    case '[':
        nesting_level++;
        break;
    case ']':
        if (--nesting_level == 0)
            goto break_;
        break;
    }
    i++;
    ...
}
break_:

Python

11l

was_break = False
for i in range(1, len(self.children), 2):
    if self.children[i].token.value(source) in ('E', 'И', 'else', 'иначе'):
        res += char_or_str(self.children[i+1], char_val)
        was_break = True
        break
    res += 'a == ' + char_or_str(self.children[i], char_key) \
           + ' ? ' + char_or_str(self.children[i+1], char_val) + ' : '
if not was_break: # or else:
    res += 'throw KeyError(a)'

...

for child in self.children:
    res += child.to_str()
    if child is not self.children[-1]:
        res += ', '

...

for line_number, line in enumerate(file.readlines(), 1):
    print(str(line_number) + '. ' + line.rstrip("\n"))


...

while i < len(source) and ('0' <= source[i] <= '9'
                        or 'a' <= source[i] <= 'f'
                        or 'A' <= source[i] <= 'F' or source[i] == '_'):
    i += 1

...

load64(state[8*(x+5*y):8*(x+5*y)+8])

...

elif i_next_str(":‘") and instr[find_ending_pair_quote(i+2)+1: # ’
                                find_ending_pair_quote(i+2)+2] == '<':
    ...
...

if source[lexem_start:lexem_start+3] == '(.)':
    i += 2
    category = Token.Category.NAME

...

if token.category in (Token.Category.NUMERIC_LITERAL,
                      Token.Category.STRING_LITERAL):
    key = '(literal)'
elif token.category == Token.Category.NAME:
    key = '(name)'
elif token.category == Token.Category.CONSTANT:
    key = '(constant)'
elif token.category in (Token.Category.STATEMENT_SEPARATOR,
                        Token.Category.DEDENT):
    key = ';'
else:
    key = token.value(source)

...

import csv
for row in csv.reader(open('data.csv', newline = '', encoding = 'utf-8')):
    ...


L(i) (1 .< .children.len).step(2)
   I .children[i].token.value(source) C (‘E’, ‘И’, ‘else’, ‘иначе’)
      res ‘’= char_or_str(.children[i+1], char_val)
      L.break
   res ‘’= ‘a == ’char_or_str(.children[i], char_key)‘ ? ’
                ‘’char_or_str(.children[i+1], char_val)‘ : ’

L.was_no_break
   res ‘’= ‘throw KeyError(a)’

...

L(child) .children
   res ‘’= child.to_str()
   I !L.last_iteration
      res ‘’= ‘, ’

...

L(line) file.read_lines()
   V line_number = L.index + 1
   print(line_number‘. ’line)

...


L i < source.len & source[i] C (‘0’..‘9’, ‘a’..‘f’, ‘A’..‘F’, ‘_’)
   i++


...

load64(state[8*(x+5*y) .+ 8])

...

E I i_next_str(":‘") & // ’
    instr[find_ending_pair_quote(i+2)+1 .+ 1] == ‘<’
   ...
...

I source[lexem_start .+ 3] == ‘(.)’
   i += 2
   category = NAME

...

V key = S token.category
   NUMERIC_LITERAL, STRING_LITERAL
      ‘(literal)’
   NAME
      ‘(name)’
   CONSTANT
      ‘(constant)’
   STATEMENT_SEPARATOR, DEDENT
      ‘;’
   E
      token.value(source)


...


L(row) csv:read(‘data.csv’)
   ...


main_window.pos.x = 10
main_window.pos.y = 20

...

width = active_window.rect.right - active_window.rect.left

...

infile.seek(8, os.SEEK_CUR)

...

dot_pos = token.value(source).find('.')
if dot_pos == -1:
    dot_pos = len(token.value(source))

main_window.pos.
   .x = 10
   .y = 20

...

V width = active_window.rect. {.right - .left}

...

infile. .seek(.tell() + 8)

...

V dot_pos = token.value(source). {.find(‘.’) ? .len}

Python:

import os

for root, dirs, files in os.walk('.'):
    dirs[:] = [d for d in dirs if d[0] != '.'] # exclude hidden folders (e.g. `.hg`)
    for name in files:
        if name.endswith(('.py', '.txt')):
            file_bytes = open(os.path.join(root, name), 'rb').read()
            if b"\r" in file_bytes or b"\t" in file_bytes:
                print(R"Unallowed character (\r or \t) found in file '" + os.path.join(root, name)[2:] + "'")

11l:

L(fname) fs:walk_dir(‘.’, dir_filter' d -> d[0] != ‘.’)
   I fname.ends_with((‘.py’, ‘.txt’)) & File(fname).read_bytes().find(("\r".code, "\t".code)) != N
      print(‘Unallowed character (\r or \t) found in file '’fname[2..]‘'’)

algoprog.ru

Пересечение отрезков:

Python

11l

(p1x, p1y, p2x, p2y) = map(int, input().split())
(m1x, m1y, m2x, m2y) = map(int, input().split())

def point_belongs_to_segment(px, py, sx, sy, ex, ey):
    return (ex - sx)*(py - sy) - (ey - sy)*(px - sx) == 0 \
       and (sx - px)*(ex - px) + (sy - py)*(ey - py) <= 0

def cross(v0x, v0y, v1x, v1y):
    return v0x * v1y - v0y * v1x


if point_belongs_to_segment(p1x, p1y, m1x, m1y, m2x, m2y) or \
   point_belongs_to_segment(p2x, p2y, m1x, m1y, m2x, m2y) or \
   point_belongs_to_segment(m1x, m1y, p1x, p1y, p2x, p2y) or \
   point_belongs_to_segment(m2x, m2y, p1x, p1y, p2x, p2y) or \
   (cross(p2x - p1x, p2y - p1y, m2x - p1x, m2y - p1y)
  * cross(p2x - p1x, p2y - p1y, m1x - p1x, m1y - p1y) < 0 and
    cross(m2x - m1x, m2y - m1y, p1x - m1x, p1y - m1y)
  * cross(m2x - m1x, m2y - m1y, p2x - m1x, p2y - m1y) < 0):
    print('YES')
else:
    print('NO')

V (p1x, p1y, p2x, p2y) = input().split(‘ ’).map(Int)
V (m1x, m1y, m2x, m2y) = input().split(‘ ’).map(Int)
V p1 = (p1x, p1y)
V p2 = (p2x, p2y)
V m1 = (m1x, m1y)
V m2 = (m2x, m2y)

F point_belongs_to_segment(p, s, e)
   R cross(e - s, p - s) == 0
     & dot(s - p, e - p) <= 0

I point_belongs_to_segment(p1, m1, m2) |
  point_belongs_to_segment(p2, m1, m2) |
  point_belongs_to_segment(m1, p1, p2) |
  point_belongs_to_segment(m2, p1, p2) |
  (cross(p2 - p1, m2 - p1)
 * cross(p2 - p1, m1 - p1) < 0 &
   cross(m2 - m1, p1 - m1)
 * cross(m2 - m1, p2 - m1) < 0)
   print(‘YES’)
E
   print(‘NO’)

Постройте квадрат:

Python

11l

(ax, ay, bx, by) = map(int, input().split())

abx = bx - ax
aby = by - ay

perp_abx = -aby
perp_aby = abx

acx = (abx + perp_abx) / 2
acy = (aby + perp_aby) / 2

adx = (abx - perp_abx) / 2
ady = (aby - perp_aby) / 2

print(ax + acx, ay + acy, ax + adx, ay + ady)

V (ax, ay, bx, by) = input().split(‘ ’).map(Int)
V a = (ax, ay)
V b = (bx, by)
V ab = b - a

V perp_ab = perp(ab)


V ac = (ab + perp_ab) / 2


V ad = (ab - perp_ab) / 2

print_elements(a + ac, end' ‘ ’)
print_elements(a + ad)

Rosetta Code

Документация

Производительность

Транспайлер Python → 11l → C++ можно использовать как ускоритель кода на Python.
Вот результаты для программы преобразования пк-разметки в HTML (в качестве исходных данных был взят исходник статьи по пк-разметке):

(Shed Skin не представлен здесь, т.к. он не поддерживает локальные функции.)
[Вот архив с использовавшейся программой для сравнения производительности [под Windows] (требуются установленный Python 3.6 или выше и следующие Python-пакеты: pywin32, cython).]

А вот результаты для задачи Простое число (при K = 1000000):

Вот соответствующий исходный код решения данной задачи на языке Python

import math

k = int(input())
n = k * 17
primes = [True] * n
primes[0] = primes[1] = False

for i in range(2, int(math.sqrt(n)) + 1):
    if not primes[i]:
        continue
    for j in range(i * i, n, i):
        primes[j] = False

for i in range(n):
    if primes[i]:
        if k == 1:
            print(i)
            break
        k -= 1

А этот код {…

# Copyright (c) Project Nayuki. All rights reserved. Modified with permission.

def is_right_triangle(x1, y1, x2, y2):
    a = x1**2 + y1**2
    b = x2**2 + y2**2
    c = (x2 - x1)**2 + (y2 - y1)**2
    return (a + b == c) or (b + c == a) or (c + a == b)

LIMIT = 51
ans = 0
for x1 in range(LIMIT):
    for y1 in range(LIMIT):
        for x2 in range(LIMIT):
            for y2 in range(LIMIT):
                # For uniqueness, ensure that (x1,y1) has a larger angle than (x2,y2)
                if y2 * x1 < y1 * x2 and is_right_triangle(x1, y1, x2, y2):
                    ans += 1
print(ans)

(На основе этого решения.)

} решения задачи №91 Проекта Эйлер в ~500 раз быстрее (если сравнивать транспайлер Python → 11l → C++ с CPython):

Скачать

Форум

Статьи