Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon



Batchfile is a pl created in 1985.

#264on PLDB 37Years Old 4.0kUsers
0Books 0Papers 72kRepos

Try now: Riju

A batch file is a kind of script file in DOS, OS/2 and Microsoft Windows. It consists of a series of commands to be executed by the command-line interpreter, stored in a plain text file. A batch file may contain any command the interpreter accepts interactively and use constructs that enable conditional branching and looping within the batch file, such as IF, FOR, and GOTO labels. Read more on Wikipedia...

Example from Riju:
echo "Hello, world!"
Example from hello-world:
@echo off echo Hello World
Example from Wikipedia:
C:\>set /p ="Message 1"<nul >data.txt C:\>set /p ="Message 2"<nul >>data.txt C:\>set /p ="Message 3"<nul >>data.txt C:\>type data.txt Message 1Message 2Message 3

Language features

Feature Supported Example Token
REM A comment
Line Comments
REM A comment
Print() Debugging echo
Case Insensitive Identifiers
dafny.html · batch.html · ini.html

View source

PLDB - Build the next great programming language · v2022 · Day 32 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub ·