Size: a a a

Compiler Development

2020 January 31

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
Alexander Tchitchigin
А как же PureScript?! На циганщину променяли?!! 😂
ну и хаскель и немного пруверы)
источник

is

ilya sheprut @optozorax in Compiler Development
Кто-нибудь уже делал языки программирования на макросах раста?
источник

AT

Alexander Tchitchigin in Compiler Development
ilya sheprut @optozorax
Кто-нибудь уже делал языки программирования на макросах раста?
Есть машина Тьюринга на типах раста. Или это был интерпретатор Brainfuck?
источник

SM

Sailor Moon in Compiler Development
bouncepaw ⛅
Всем привет! Делаю прикольный язык программирования хенланг. Пока на стадии написания парсера. Будет транспилироваться в схему.
а посмотреть можно? :)
источник

is

ilya sheprut @optozorax in Compiler Development
Alexander Tchitchigin
Есть машина Тьюринга на типах раста. Или это был интерпретатор Brainfuck?
А можно ссылочку? Первые результаты в гугле не дают ничего толкового
источник

AT

Alexander Tchitchigin in Compiler Development
ilya sheprut @optozorax
А можно ссылочку? Первые результаты в гугле не дают ничего толкового
источник

M

MaxGraey in Compiler Development
норм, на типах тайпскрипта тоже делали виртуальную машину, не раз уже выкладывали тут
источник

AT

Alexander Tchitchigin in Compiler Development
MaxGraey
норм, на типах тайпскрипта тоже делали виртуальную машину, не раз уже выкладывали тут
Вы так говорите, как будто это что-то хорошее! 😄
источник

M

MaxGraey in Compiler Development
Alexander Tchitchigin
Вы так говорите, как будто это что-то хорошее! 😄
В тьюринг полном языке должно быть все тьюринг полное (и система типов/макросов тоже) 😄
источник

b⛅

bouncepaw ⛅ in Compiler Development
FORTRAN ONE LOVE
Ура! А бек в фортран будет?
Вряд ли
источник

b⛅

bouncepaw ⛅ in Compiler Development
Andrei Kurosh
В чем ключевые особенности?
https://t.me/bpblog/1056 отсюда вниз
Telegram
Уютная тумбочка
Придумал крутой язык программирования henlang.

Henlang — сокращение от incomprehensible language, непостижимый язык. Также, hen это курица, то есть курояз. Также, 変 (хэн) это странный по-японски, то есть странный язык.

Вот несколько примеров кода на хенланге: вычисление n-ного числа Фибоначчи, вычисление факториала n, длина связанного списка.

Fibonacci←λn{
 1ι∋n⇒nι;
 n-(1)Fibonacci+(n-(2)Fibonacci)
}

Factorial←λn{
 n=(0)⇒1;
 n-(1)Factorial(n)
}

Length←λa{
 a∅?⇒1;
 a⁰Length+(1)
}

А вот проверка замкнутости графа, реализованного на хеш-таблицах.

GraphAcyclic?←λg{
 gτ∅?⇒⊤;
 g#λk,v{v∅?}∃(|)~⇒⊥;
 g GraphTearLeaf(
   g#λk,v{v∅?⇒k;⊥}ω∃(=⊥~)
 ) GraphAcyclic?
}

GraphTearLeaf←λg,l{
 gτ↓!(l)
 g#λk,v{gτset!(vπ↓(=(l))))}
 g
}

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

GraphAcyclic? assign function g {
 g table-empty? then true
 else g map function k, v {
   v null?
источник

FO

FORTRAN ONE LOVE in Compiler Development
bouncepaw ⛅
Вряд ли
Ну и смысл в вашем яп? Ни на хлеб намазать, ни в рот положить :(
источник

b⛅

bouncepaw ⛅ in Compiler Development
Sailor Moon
а посмотреть можно? :)
Telegram
Уютная тумбочка
Придумал крутой язык программирования henlang.

Henlang — сокращение от incomprehensible language, непостижимый язык. Также, hen это курица, то есть курояз. Также, 変 (хэн) это странный по-японски, то есть странный язык.

Вот несколько примеров кода на хенланге: вычисление n-ного числа Фибоначчи, вычисление факториала n, длина связанного списка.

Fibonacci←λn{
 1ι∋n⇒nι;
 n-(1)Fibonacci+(n-(2)Fibonacci)
}

Factorial←λn{
 n=(0)⇒1;
 n-(1)Factorial(n)
}

Length←λa{
 a∅?⇒1;
 a⁰Length+(1)
}

А вот проверка замкнутости графа, реализованного на хеш-таблицах.

GraphAcyclic?←λg{
 gτ∅?⇒⊤;
 g#λk,v{v∅?}∃(|)~⇒⊥;
 g GraphTearLeaf(
   g#λk,v{v∅?⇒k;⊥}ω∃(=⊥~)
 ) GraphAcyclic?
}

GraphTearLeaf←λg,l{
 gτ↓!(l)
 g#λk,v{gτset!(vπ↓(=(l))))}
 g
}

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

GraphAcyclic? assign function g {
 g table-empty? then true
 else g map function k, v {
   v null?
источник

AT

Alexander Tchitchigin in Compiler Development
MaxGraey
В тьюринг полном языке должно быть все тьюринг полное (и система типов/макросов тоже) 😄
Я-то юмор понимаю, но только что зашло несколько новичков - они же могут за чистую монету принять! Немного безответственно это. 😉
источник

b⛅

bouncepaw ⛅ in Compiler Development
FORTRAN ONE LOVE
Ну и смысл в вашем яп? Ни на хлеб намазать, ни в рот положить :(
Академический интерес
источник

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
Alexander Tchitchigin
Вы так говорите, как будто это что-то хорошее! 😄
ну не много не мало, а один из лучших языков написан на ts
источник

FO

FORTRAN ONE LOVE in Compiler Development
Зигохистоморфный Препроморфизм
ну не много не мало, а один из лучших языков написан на ts
И это не фортран 😞
источник

ЗП

Зигохистоморфный Препроморфизм in Compiler Development
FORTRAN ONE LOVE
И это не фортран 😞
это formality
источник

AT

Alexander Tchitchigin in Compiler Development
bouncepaw ⛅
Telegram
Уютная тумбочка
Придумал крутой язык программирования henlang.

Henlang — сокращение от incomprehensible language, непостижимый язык. Также, hen это курица, то есть курояз. Также, 変 (хэн) это странный по-японски, то есть странный язык.

Вот несколько примеров кода на хенланге: вычисление n-ного числа Фибоначчи, вычисление факториала n, длина связанного списка.

Fibonacci←λn{
 1ι∋n⇒nι;
 n-(1)Fibonacci+(n-(2)Fibonacci)
}

Factorial←λn{
 n=(0)⇒1;
 n-(1)Factorial(n)
}

Length←λa{
 a∅?⇒1;
 a⁰Length+(1)
}

А вот проверка замкнутости графа, реализованного на хеш-таблицах.

GraphAcyclic?←λg{
 gτ∅?⇒⊤;
 g#λk,v{v∅?}∃(|)~⇒⊥;
 g GraphTearLeaf(
   g#λk,v{v∅?⇒k;⊥}ω∃(=⊥~)
 ) GraphAcyclic?
}

GraphTearLeaf←λg,l{
 gτ↓!(l)
 g#λk,v{gτset!(vπ↓(=(l))))}
 g
}

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

GraphAcyclic? assign function g {
 g table-empty? then true
 else g map function k, v {
   v null?
После J, Factor и Fortress что-то не впечатляет... Я со всей симпатией, не подумайте плохого, пожалуйста. 😊
источник

МБ

Михаил Бахтерев in Compiler Development
Alexander Tchitchigin
Есть машина Тьюринга на типах раста. Или это был интерпретатор Brainfuck?
Философский вопрос: а чего такого особенного? Есть у нас виртуальная машина типов (что мешает её так рассматривать?) для неё написали программу. Вроде ok, ничего особенного?
источник