Pull to refresh
0
Karma
0
Rating
Dark Hole @abyrkov

Beginner fronted developer

  • Followers
  • Following
  • Posts
  • Comments

Руководство для практикующего специалиста, как читать научные статьи по языкам программирования

Semantics *Mathematics *IT Terminology Professional literature Studying in IT
Translation
Неделю назад я пошутил, что статьи по принципам языков программирования POPL должны соответствовать критерию «интеллектуального запугивания», чтобы их принимали для публикации. Конечно, это неправда, но факт в том, что статьи по языкам программирования выглядят особенно устрашающе для специалистов-практиков (или академик действительно работает в другой области компьютерных наук!). Они битком набиты математическими символами и такими фразами как «суждения», «операционная семантика» и тому подобное. Там много тонких вариантов записи, но вы можете в основном уловить суть статьи, усвоив несколько базовых понятий. Так что вместо рассказа об очередной научной статье я подумал, что сегодня лучше напишу краткое практическое руководство по расшифровке научных статей на тему языков программирования. Здесь я следую книге Бенджамина Пирса «Типы в языках программирования» в качестве авторитетного источника.
Читать дальше →
Total votes 28: ↑26 and ↓2 +24
Views 12K
Comments 4

Information

Rating
Does not participate
Location
Пушкин, Санкт-Петербург и область, Россия
Registered
Activity