В рейтинге участвует:

групп:

каналов:

Виртуальный сервер на SSD - недорого!

Аренда выделенных и виртуальных серверов (VDS/VPS), хостинг, аренда IP-адресов, администрирование, круглосуточная поддержка

qwarta.ru подробнее

Резервное копирование с проверкой на вирусы!!!

Удобный сервис создания резервных копий на любой сервер сети интернет. Отслеживайте изменения, проверяйте на вирусы. Надежно защитите свой бизнес!

go.backupland.com

Выбираете сервер? Любая конфигурация на заказ!

Аренда физических серверов любых конфигураций под любые запросы - 1С бухгалтерия, игровые сервера, нагруженные проекты, интернет-магазины!

qwarta.ru подробнее

Size: a a a

Compiler Development

847 membersпожаловаться на группу
2020 May 21

IK

Ivan Kochurkin in Compiler Development
Konstantin
Круто, спасибо. А какие-нибудь инструменты есть, с чего начинать знакомиться с этой темой?
Есть инструмент на основе ANTLR, который позволяет задействовать сами грамматики (их целый репозиторий) для генерации кода на их основе: https://github.com/renatahodovan/grammarinator
GitHub
renatahodovan/grammarinator
ANTLR v4 grammar-based test generator. Contribute to renatahodovan/grammarinator development by creating an account on GitHub.
источник
12:00пожаловаться#1

K

Konstantin in Compiler Development
Ivan Kochurkin
Есть инструмент на основе ANTLR, который позволяет задействовать сами грамматики (их целый репозиторий) для генерации кода на их основе: https://github.com/renatahodovan/grammarinator
GitHub
renatahodovan/grammarinator
ANTLR v4 grammar-based test generator. Contribute to renatahodovan/grammarinator development by creating an account on GitHub.
Спасибо
источник
12:20пожаловаться#2

SG

Semyon Grigorev in Compiler Development
Vlad
А есть в природе что-то типа EBNF, только наоборот. Некая формальная запись, чтобы из дерева сгенерить текст на заданном языке?
Это про pretty printing типа такого? https://homepages.inf.ed.ac.uk/wadler/papers/prettier/prettier.pdf
источник
12:36пожаловаться#3

SG

Semyon Grigorev in Compiler Development
В статье, конечно не про формализм, но чтобы лучше задачу понимать.
источник
12:37пожаловаться#4

RS

Rifat S in Compiler Development
Какие есть императивные языки программирования, в которых запрещен aliasing (то есть нельзя, например, определить функцию func(int &a, int &b), а затем вызвать func(x, x), так как переменные a и b внутри func будут синонимами)?
источник
13:12пожаловаться#5

AT

Alexander Tchitchigi... in Compiler Development
Rifat S
Какие есть императивные языки программирования, в которых запрещен aliasing (то есть нельзя, например, определить функцию func(int &a, int &b), а затем вызвать func(x, x), так как переменные a и b внутри func будут синонимами)?
Rust, Pony.
источник
13:14пожаловаться#6

BD

Berkus Decker in Compiler Development
если подразумевать что int& это mut ссылка
источник
13:15пожаловаться#7

AT

Alexander Tchitchigi... in Compiler Development
Alexander Tchitchigin
Rust, Pony.
Не считая языков конкретно для верификации типа WhyML или, там, Frama C.
источник
13:17пожаловаться#8

MM

Mikhail Maltsev in Compiler Development
Rifat S
Какие есть императивные языки программирования, в которых запрещен aliasing (то есть нельзя, например, определить функцию func(int &a, int &b), а затем вызвать func(x, x), так как переменные a и b внутри func будут синонимами)?
Fortran вроде бы
источник
14:13пожаловаться#9

FO

FORTRAN ONE LOVE in Compiler Development
Mikhail Maltsev
Fortran вроде бы
Можно
источник
14:15пожаловаться#10

FO

FORTRAN ONE LOVE in Compiler Development
Mikhail Maltsev
Fortran вроде бы
module test
  implicit none
contains
  subroutine add1(a, b, res)
    integer :: a, b
    integer, intent(out) :: res
    a = 1
    b = 2
    res = a + b
  end subroutine add1
end module test
program main
  use test
  implicit none
  integer res, a
  a = 1
  call add1(a, a, res)
  print *, res
end program main


Ответ: 4
источник
14:25пожаловаться#11

MM

Mikhail Maltsev in Compiler Development
А с массивами?
источник
14:26пожаловаться#12

PS

Peter Sovietov in Compiler Development
Mikhail Maltsev
А с массивами?
Из Мучника
источник
14:30пожаловаться#13

VT

Vasiliy Tereshkov in Compiler Development
а это кто
Я тоже этот самый человек!
Будем знакомы :) А можно посмотреть ваш проект?
источник
15:25пожаловаться#14

а

а это кто in Compiler Development
Vasiliy Tereshkov
Будем знакомы :) А можно посмотреть ваш проект?
Когда доделаю,тогда покажу :)
источник
15:31пожаловаться#15

K

Kakadu in Compiler Development
Кто-нить видел исследования, где сравнивают скорость выделения объектов (в минорной куче, например) между разными языками/средами исполнения?
источник
15:32пожаловаться#16

dt

d t in Compiler Development
По меньшей мере есть бенчмарки от разработчиков зыков\vm. Я такие видел где-то в репозиториях d - dlang.org. И также вроде в репозиториях .net.
источник
15:40пожаловаться#17

M

MaxGraey in Compiler Development
Kakadu
Кто-нить видел исследования, где сравнивают скорость выделения объектов (в минорной куче, например) между разными языками/средами исполнения?
В смысле? Измерить оферхед над вызовом malloc из libc + возможный оверхед на инициализацию добавления информации для GC если он присутствует?
источник
15:40пожаловаться#18

AD

Artyom Drozdov in Compiler Development
Kakadu
Кто-нить видел исследования, где сравнивают скорость выделения объектов (в минорной куче, например) между разными языками/средами исполнения?
не очень понятно как сравнивать: в языках с GC ты можешь получить основное пенальти при деаллокации
источник
15:41пожаловаться#19

а

а это кто in Compiler Development
Можно ли назвать reference counting видом GC? Вроде пишут что RC требует меньше памяти и процессорного времени чем Tracing GC, но я не уверена так ли это.
источник
15:41пожаловаться#20