Size: a a a

2020 July 02

AI

Alex Ilizarov in rust_offtopic
Твоя инновация это использование привычного языка?
источник

b

badtrousers in rust_offtopic
Alex Ilizarov
Выглядит как язык программирования 😐
я тебе так скажу: Если у тебя есть только молоток, то всё вокруг выглядит как гвоздь
источник

b

badtrousers in rust_offtopic
Alex Ilizarov
Твоя инновация это использование привычного языка?
больше, чем просто использование естественного языка
источник

AI

Alex Ilizarov in rust_offtopic
Я не уверен что многие программисты знают про quid pro quo
источник

AI

Alex Ilizarov in rust_offtopic
Т.е. вот лично для меня пример оторван от жизни
источник

b

badtrousers in rust_offtopic
ну ты делал интернет–магазин когда-то?
источник

AI

Alex Ilizarov in rust_offtopic
badtrousers
ну ты делал интернет–магазин когда-то?
Не делал, но суть представляю
источник

b

badtrousers in rust_offtopic
этот пример это по сути модель для транзакций в интернет-магазине, только в юридической среде
источник

AI

Alex Ilizarov in rust_offtopic
lawyerlang?)
источник

b

badtrousers in rust_offtopic
где ты продаешь не апельсины покупателю, а хочешь продать услуги с набором каких-то процессов
источник

b

badtrousers in rust_offtopic
Alex Ilizarov
lawyerlang?)
ну это только одно из применений, не надо же зацикливаться
источник

AI

Alex Ilizarov in rust_offtopic
Юристы не дураки конечно, но я не уверен что они могут строить непротиворечивые формальные стсьемы
источник

b

badtrousers in rust_offtopic
включи фантазию. или мне нужно 10 самых разных практических примеров насыпать, чтобы стала очевидна универсальность этого подхода?
источник

AI

Alex Ilizarov in rust_offtopic
Глянь любой закон, там полно недомолвок и противоречий
источник

b

badtrousers in rust_offtopic
Alex Ilizarov
Юристы не дураки конечно, но я не уверен что они могут строить непротиворечивые формальные стсьемы
юристы только этим вообще-то и занимаются
источник

AI

Alex Ilizarov in rust_offtopic
И это все в формальности не упаковывается потому что пишется для людей
источник

AI

Alex Ilizarov in rust_offtopic
И проверяется мозгом судьи
источник

b

badtrousers in rust_offtopic
Alex Ilizarov
Глянь любой закон, там полно недомолвок и противоречий
в mergers and aquisitions, например, все более, чем четко
источник

AI

Alex Ilizarov in rust_offtopic
badtrousers
юристы только этим вообще-то и занимаются
Ага, вот только полной формализации там нету, а законы как дышло, куда повернул то и вышло
источник

AI

Alex Ilizarov in rust_offtopic
Потому что они для лбдей
источник