Everything about V (programming language)

🧭 Start here: a 6-step reading path

1. Read the overview: V (programming language)A 5-minute orientation
2. Skim a recent paper: Prompting Is Programming: A Query Language for Large Language ModelsInfluential work since 2022
3. Pick up a classic book: Julius CaesarThe most-reprinted book on the subject
4. Read the landmark paper: Stan : A Probabilistic Programming LanguageCited 6,172 times
5. Go sideways: Rust (programming language)A closely related topic
6. Go sideways: Rust syntaxA closely related topic

🏆 Landmark papers (most cited)

• Stan : A Probabilistic Programming Language

  Bob Carpenter, Andrew Gelman, Matthew D. Hoffman · 2017 · Journal of Statistical Software · 6,172 citations

• ELIZA—A Computer Program For the Study of Natural Language Communication Between Man and Machine

  Joseph Weizenbaum · 1966 · Communications of the ACM · 3,818 citations

• A programmable programming language

  Matthias Felleisen, Robert Bruce Findler, Matthew Flatt · 2018 · Communications of the ACM · 62 citations

• CRN++: Molecular programming language

  Marko Vasić, David Soloveichik, Sarfraz Khurshid · 2020 · Natural Computing · 35 citations

• Incremental programming language development

  Marjan Mernik, Viljem Žumer · 2005 · Computer Languages, Systems & Structures · 34 citations

• The Y programming language

  David R. Hanson · 1981 · ACM SIGPLAN Notices · 22 citations

• The SNOBOL3 Programming Language

  D. J. Farber, R. E. Griswold, I. P. Polonsky · 1966 · Bell System Technical Journal · 21 citations

• Mixed language programming

  Bo Einarsson, W. Morven Gentleman · 1984 · Software: Practice and Experience · 17 citations

🆕 Influential since 2022

• Prompting Is Programming: A Query Language for Large Language Models

  Luca Beurer-Kellner, Marc Fischer, Martin Vechev · 2023 · Proceedings of the ACM on Programming Languages · 120 citations

• Automatic Programming: Large Language Models and Beyond

  Michael R. Lyu, Baishakhi Ray, Abhik Roychoudhury · 2025 · ACM Transactions on Software Engineering and Methodology · 56 citations

• Scallop: A Language for Neurosymbolic Programming

  Ziyang Li, Jiani Huang, Mayur Naik · 2023 · Proceedings of the ACM on Programming Languages · 53 citations

• Turing.jl: A General-Purpose Probabilistic Programming Language

  Tor Erlend Fjelde, Kai Xu, David Widmann · 2025 · ACM Transactions on Probabilistic Machine Learning · 37 citations

• The Go programming language and environment

  Russ Cox, Robert Griesemer, Rob Pike · 2022 · Communications of the ACM · 27 citations

📚 Books worth reading

• Julius CaesarWilliam Shakespeare · 1656
• Mastering today's softwareEdward G. Martin, Charles S. Parker · 1992
• Unix System V Release 4: Programmer's GuideAT & T Bell Laboratories. Technical Publication Dept. · 1990
• UNIX in a NutshellArnold Robbins · 1999
• Using R for Introductory StatisticsJohn Verzani · 2004
• VBScript in a nutshellPaul Lomax, Ron Petrusha · 2000
• Introduction to simulation using SIMANClaude Dennis Pegden · 1990
• Smalltalk VWilf R. LaLonde, Wilf Lalonde · 1994

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics

• Rust (programming language) Rust is a general-purpose programming language that emphasizes performance, type safety, concurrency, and memory safety. Rust supports multiple programming…
• Rust syntax The syntax of Rust is the set of rules defining how a Rust program is written and compiled. Rust's syntax is similar to that of C and C++, although many…
• D (programming language) D, also known as dlang, is a multi-paradigm system programming language created by Walter Bright at Digital Mars and released in 2001. Andrei Alexandrescu…
• Constructor (object-oriented programming) In class-based, object-oriented programming, a constructor (abbreviation: ctor) is a special type of function called to create an object. It prepares the…
• Variable shadowing In computer programming, variable shadowing occurs when a variable declared within a certain scope (decision block, method, or inner class) has the same…
• Swift (programming language) Swift is a high-level general-purpose, multi-paradigm, compiled programming language created by Chris Lattner in 2010 for Apple Inc. and maintained by…
• Go (programming language) Go (often referred to as Golang) is a high-level, general-purpose programming language that is statically typed and compiled. Originally designed in 2007…
• Namespace In computing, a namespace is a set of signs (names) that are used to identify and refer to objects of various kinds. A namespace ensures that all of a…