PL course @ HNU CE undergrad

Programming Languages course @ HNU CE undergrad

2020년 2학기 한남대학교 컴퓨터공학과 프로그래밍언어 과목 홈페이지입니다.

Textbooks and Reference materials

교과서 (주교재와 부교재)

• Programming in Haskell (2nd edition), by Graham Hutton, Cambridge University Press
• 함수형 언어 산책 (도커 기반의 함수형 언어 실습에서 빅 데이터 처리 프레임워크까지), 이동규 지음, 제이펍

참고도서

• Types and Programming Languages, by Benjamin C. Pierce, The MIT Press
• Practical Foundations for Programming Languages (Second Edition), by Robert Harper. Cambridge University Press.
• Seven Languages in Seven Weeks, by Bruce Tate, Pragmatic Bookshelf (아래 책의 영문 원서)
• 브루스 테이트의 세븐 랭귀지 (프로그래머라면 알아야 할 미래를 품은 7가지 언어), 임백준 옮김, 한빛미디어 (위 책의 번역서)

Programming languages and related tools for course activities

• Haskell with Jupyter notebook using a Docker image based on the ihaskell-notebook running IHaskell kernel.
• For others, see the second textbook.

Links

about Docker and WSL 2

Windows 10 version 2004 build 19041 or later (or, preview releases via Windows Insider Program) supporting WSL 2 is requierd for course activities, unless your preferred development machine is either Linux or Mac OS X.

Videos

• Docker가 뭐고 왜 쓰는건가요? -- 얄팍한 코딩사전 on YouTube
• WSL 2: Getting started -- David Bombal on YouTube
• WSL 2 with Docker getting started -- David Bombal on YouTube
• Windows 10 2004 살펴보기.윈도우에서 쉽게 리눅스를 실행하자.(WSL2)Windows SubSystem for Linux -- OrangeStar on YouTube
• 예비 개발자를 위한 개발 영상 - 008.Windows에 도커 설치하기 -- Foorogrammer-크롤러 on YouTube

Blog posts

• WSL 2(Windows Subsystem For Linux 2) 정식 버전 사용하기
  • Windows 10 최신 업데이트(버전 2004)를 기준으로 설치하는 방법을 자세히 설명한 글
• window10에서 wsl2로 docker와 kubernetes 설치 해보기
  
  • 지금은 위 블로그 글에서처럼 window 참가자 프로그램을 설정을 하지 않아도 일반 Windows 10 최신 업데이트(버전 2004, 빌드 19041 이상)에서 WSL 2가 지원되고 있다.
  • 이 수업에서는 활용하지 않으므료 쿠버네티스(Kubernetis)는 설치하지 않아도 상관없다.
• Using WSL2 in a Docker Linux container on Windows to run a Minecraft Java Edition
  • 마찬가지로 지금은 Windows 10 최신 업데이트에서 WSL 2가 지원되므로 위 블로그 글에 나온 3가지 설치 방법 중에서 WSL 수동 설치 프로그램이 아닌 GUI로 설치하거나 wsl --install 명령어로 설치하거나 하는 다른 두 방법 중 하나로 설치하면 됨
• wsl2 기반으로 Docker Desktop 설정하기
  • 위에 두 개보다 간단하게 핵심만 정리하고 있는 블로그 글. WSL2에 배포판(우분투 등)도 설치가 따로 잘 되었고 Docker Desktop도 설치가 잘 되고 난 후 연동하는 설정에 대한 설명입니다.

on Programming Paradigms

• 함수형 프로그래밍이 뭔가요? -- 얄팍한 코딩사전 on YouTube