¿Cómo se pueden recibir datos por teclado? Veo que no lo han explicado.

Yo tuve que agregar dart:convert para poder usar el encoding

import 'dart:convert' show utf8;

var opcion = int.parse(stdin.readLineSync(encoding: utf8));

Hola Sebastian, con

de Dart puedes hacer esto.

import 'dart:io';

main() {
    var line = stdin.readLineSync(encoding: Encoding.UTF_8);
    print(line);
}