JT
Но вроде в любом языке можно сделать
func()[i] = VALUE
func()[i] = VALUE
Ну хотелось бы в результате получить что-то нормальное
Но неизвесно что выйдет
Size: a a a
2021 January 25
AT
Начните с отказа от указателей и вменяемой семантики массивов. А там, глядишь, и синтаксических извращений не потребуется.
БГ
Но вроде в любом языке можно сделать
func()[i] = VALUE
func()[i] = VALUE
А куда результат функции уйдёт?)
JT
А куда результат функции уйдёт?)
Сразу используется без сохранения
Как например
IDENT := func() * 2 + 5;
Как например
IDENT := func() * 2 + 5;
JT
Начните с отказа от указателей и вменяемой семантики массивов. А там, глядишь, и синтаксических извращений не потребуется.
А что значит
Вменяемой семантики массивов?
Вменяемой семантики массивов?
AT
А что значит
Вменяемой семантики массивов?
Вменяемой семантики массивов?
Значит, как минимум, не как в C, где массивов нет вообще, а есть только указатели.
JT
Значит, как минимум, не как в C, где массивов нет вообще, а есть только указатели.
Ну вообще, я планирую линковаться с С кодом
Поэтому наверное нормальным язык не выйдет.......
Поэтому наверное нормальным язык не выйдет.......
AT
Но можно же просто выражения синтаксически разделить на левые и правые так что
assign ::= lexpr ':=' rexpr.AT
Ну вообще, я планирую линковаться с С кодом
Поэтому наверное нормальным язык не выйдет.......
Поэтому наверное нормальным язык не выйдет.......
Haskell умеет линковаться с C-кодом, так что не аргумент! 😃
JT
Но можно же просто выражения синтаксически разделить на левые и правые так что
assign ::= lexpr ':=' rexpr.Но тогда прийдется дублировать
Ибо arr[i] может быть как rvalue и lvalue
Ибо arr[i] может быть как rvalue и lvalue
AT
Но можно же просто выражения синтаксически разделить на левые и правые так что
assign ::= lexpr ':=' rexpr.При этом,
lexpr вкладывается в rexpr.AT
Но тогда прийдется дублировать
Ибо arr[i] может быть как rvalue и lvalue
Ибо arr[i] может быть как rvalue и lvalue
rexpr ::= lexpr | ... 😉JT
Haskell умеет линковаться с C-кодом, так что не аргумент! 😃
Ну до создателей хаскеля(ghc) мне далеко........
JT
При этом,
lexpr вкладывается в rexpr.Хмм, тогда не прийдется делать дополнительных проверок......
AK
ASSIGN -> IDENT := EXPR
| IDENT [ EXPR ] := EXPR
Но вопрос: что делать если массив возврашен функцией?
| IDENT [ EXPR ] := EXPR
Но вопрос: что делать если массив возврашен функцией?
Я в своем языке делал примерно так:
assign = lvalue "=" expr
lvalue = lvalue_index | lvalue_member | lvalue_identifier
lvalue_index = expr "[" expr "]"
lvalue_member = expr "." identifier
lvalue_identifier = identifier
expr = ...
AT
Хмм, тогда не прийдется делать дополнительных проверок......
На уровне проверки типов/статической семантики всё равно придётся.
AK
если у вас си-подобный язык, то для присваивания по адресу можно добавить
lvalue_address = "*" "(" expr ")"JT
rexpr ::= lexpr | ... 😉А разве не наоборот?
Ведь func() это 100% lexpr
А func()[5] это можеь быть rexpr
И получается что
rexpr -> lexpr [ lexpr ]
Ведь func() это 100% lexpr
А func()[5] это можеь быть rexpr
И получается что
rexpr -> lexpr [ lexpr ]
JT
Ой, лево и право перепутал
JT
func() это rexpr
func()[5] это lexpr
Lexpr -> rexpr [ rexpr ]
Да, все работает)
func()[5] это lexpr
Lexpr -> rexpr [ rexpr ]
Да, все работает)