к
ну так с мегапарсеком примерно так же
Size: a a a
2020 December 04
к
просто бнф на хаскеле
DB
ну так с мегапарсеком примерно так же
Мегапарсек может взорваться.
к
ну ладно, это валидно
к
а хотя ну нафиг эти парсеры
DB
ну ладно, это валидно
Но неприятно. А хэппи, вроде, не должен. Там же таблица вроде, А не рекурсиавный вызов рекурсианого комбинатора
к
я сделаю лисповый синтаксис
к
как у Pie
DB
я сделаю лисповый синтаксис
Норм тема. Конкретный синтаксис можно в любое время присобачить
к
ну моя цель на самом деле простая
к
я не понимаю почему в популярных завтип языках ифы и кейсы не генерируют равенства в контекст
BK
я программистом стал потому что большинство писателей только писательством себе на жизнь заработать не могут, а тут была хорошая волна на которую я удачно запрыгнул
писать я хочу еще со времени когда впервые прочитал Хоббита в 5 лет
все еще хочу писать, но писать плохо и издаваться толку нет, а писать хорошо можно только если писать много и читать много
поэтому пишу плохое в стол и стараюсь стать лучше
писать я хочу еще со времени когда впервые прочитал Хоббита в 5 лет
все еще хочу писать, но писать плохо и издаваться толку нет, а писать хорошо можно только если писать много и читать много
поэтому пишу плохое в стол и стараюсь стать лучше
один в один практически ситуация, даром что я все-таки не хотел бы полностью уходить в тексты
но и в программировании долго задерживаться не собираюсь, надеюсь уйти куда-нибудь через пару-тройку лет
но и в программировании долго задерживаться не собираюсь, надеюсь уйти куда-нибудь через пару-тройку лет
DB
один в один практически ситуация, даром что я все-таки не хотел бы полностью уходить в тексты
но и в программировании долго задерживаться не собираюсь, надеюсь уйти куда-нибудь через пару-тройку лет
но и в программировании долго задерживаться не собираюсь, надеюсь уйти куда-нибудь через пару-тройку лет
Из постмодерна выхода нет
BK
Из постмодерна выхода нет
есть, разумеется
к
чтобы
pred : (n : Nat) -> {p : 0 < n} -> Nat
pred (Succ n) {LTES _} = n
let x = if 0 < n then pred n else 0
pred : (n : Nat) -> {p : 0 < n} -> Nat
pred (Succ n) {LTES _} = n
let x = if 0 < n then pred n else 0
DB
есть, разумеется
Разумеется, нет
BK
есть, разумеется
но нужно ли?
KV
Я с детства мечтал стать программистом, вот теперь пытаюсь вспомнить, нафига
DB
есть, разумеется
LO
Я с детства мечтал иметь много денег и ничего не делать