🤡

Да не, просто у APL там синтаксис интересный вот

Да и со сложенькой тоже арбайтает.

#!/usr/bin/env -S awk -f
BEGIN {
  fizz=3;
  buzz=5;
  fizzbuzz=15;
  c_fizz=fizz;
  c_buzz=buzz;
  c_fizzbuzz=fizzbuzz;
  inc=1;
  hundred=100;
  while (inc <= hundred) {
    if (inc==c_fizzbuzz) {
      print "FizzBuzz";
      c_fizzbuzz=c_fizzbuzz+fizzbuzz;
      c_fizz=c_fizz+fizz;
      c_buzz=c_buzz+buzz;
    } else
    if (inc==c_buzz) {
      print "Buzz";
      c_buzz=c_buzz+buzz;
    } else
    if (inc==c_fizz) {
      print "Fizz";
      c_fizz=c_fizz+fizz; 
    } else
    print inc;
    ++inc;
  }
}

 hundred=100;
🧐

Там не то что синтаксис, там символы интересные.

Загугли Agda и Idris Я знаю человека, который на ЭТОМ пишет, за сотни нефти. За такие сотни, что он год назад уволился со своего финтеха в NYC, уехал в Техасчину, купил нехилую тачку и пинает хуи.

Ну и ещё он хаскелист, да...

Ну у них синтаксис не особо интересных

идрис это просто хаскель где :: и : заменены местами

а Агда это Агда

Не, не. Там символы из матана, как в APL. Не помню уж в каком из них.

Кстати, как правильно писать FizzBuzz на расте.

Про Агду наверное, просто ты можешь использовать юникод для большей читаемости, это больше как бонус

Ты так и в Haskell можешь и в Coq

Ну вот дедушкафуд так и пишет. Я когда вижу его код, мой мозг взрывается, немножк.

ну в Агде и Coq все так делают