formal-semantics
Jakie są dokładne zasady auto-dereferencji Rusta?
Uczę się / eksperymentuję z Rustem i w całej elegancji, którą znajduję w tym języku, jest jedna osobliwość, która mnie zaskak ... ef.
Jakie są dokładne zasady auto-dereferencji? Czy ktoś może podać jakieś formalne uzasadnienie takiej decyzji projektowej?
Semantyka dla skryptów Bash?
Bardziej niż jakikolwiek inny język, który znam, "nauczyłem się" Basha przez Googlowanie za każdym razem, gdy potrzebuję jaki ... ykę formalną", jest ten artykuł o "istocie JavaScript" . Być może nieco mniej formalnym przykładem jest raport Haskell 2010 .