Smalltalk는 객체 지향 프로그래밍 언어의 하나로, 1970년대 초에 애드거 다익스트라와 앨런 케이에 의해 개발되었다. 이 언어는 프로그래밍의 객체 지향 개념을 혁신적으로 발전시켰고, 이후 여러 객체 지향 언어의 기초가 되었다. Smalltalk는 모든 것이 객체로 표현될 수 있는 시스템을 특징으로 하며, 프로그래머가 객체를 조작하는 방식에 중점을 둔다.

Smalltalk는 주로 인터프리터 기반 언어로 설계되었으며, 그래픽 사용자 인터페이스와 통합된 개발 환경을 제공하여, 개발자들이 코드와 객체를 시각적으로 조작할 수 있도록 지원한다. 이 언어는 메시지 전달, 상속, 다형성 등 객체 지향 프로그래밍의 핵심 개념을 지원하며, 코드의 재사용성과 확장성을 높인다.

Smalltalk의 주요 특징 중 하나는 동적인 타입 시스템으로, 변수가 선언될 때 데이터 타입을 미리 지정할 필요가 없다. 객체와 메시지의 개념이 중심이 된 설계는 개발자가 프로그램의 논리를 명확하고 직관적으로 표현할 수 있게 한다.

여러 버전과 파생 언어가 존재하지만, 가장 잘 알려진 버전은 Smalltalk-80이다. Smalltalk는 교육적 목적으로 많이 사용되며, 비즈니스 애플리케이션 및 연구 프로젝트 등에서도 활용된다. Smalltalk의 영향력은 현대 객체 지향 언어와 개발 방법론에 깊은 흔적을 남겼으며, 여전히 프로그래밍 언어와 소프트웨어 개발의 중요한 사례로 꼽힌다.