Course Content
- Start Date: 21/02/22
- Category: Computer Sciences
- Announcements
- Forum Umum, pengumuman dan tanya jawab umum
- Diskuy: Diskusi Terbuka FunPro
- Learn You Haskell for Great Good (Online Free Book)
- Write you a Haskell (Advanced Topic with implementation tutorial and source code)
- Haskell Fan Site (Rekomenasi: representasi kriptografi dalam haskell, alternatif topik untuk tugas kelompok)
- Evaluasi Hasil Pemelajaran
- Rancangan Pengajaran: Functional Programming
- Video Kuliah 00: Sekilas Pemrograman Fungsional
- Label
- Pekan 01: Weekly asynchronous discussion and reflection
- Pengenalan Haskell (Mengacu pada Haskell School of Expression)
- Coba Run Haskell tanpa installasi (Online REPL)
- Rekaman Video Sinkronos 01 (14 Sept 2020): Sekilas Functional Programming
- Rekaman Audio Sinkronos 01 (14 Sept 2020): Sekilas Functional Programming
- Video Tutorial 1: Pengenalan Haskell
- Tugas Satu Pengenalan Haskell
- Label
- Pekan 02: Expression Evaluation - Weekly asynchronous discussion and reflection
- Slide Pekan 02: Harap pahami ini hanya sebagian dari materi, peserta perlu membaca buku untuk materi yang lengkap demi ujian yang baik.
- Rekaman Video Sinkronos 02 (21 Sept 2020): Expression and Evaluation
- Rekaman Audio Sinkronos 02 (21 Sept 2020): Expression and Evaluation
- Video Kuliah 02: Komputasi, Ekspresi dan Datatype - Part 1
- Video Kuliah 02: Komputasi, Ekspresi dan Datatype - Part 2
- Video Kuliah 02: Komputasi, Ekspresi dan Datatype - Part 3
- Video Kuliah 02: Komputasi, Ekspresi dan Datatype - Part 4
- Video Tutorial 2: Expression dan Evaluation - Part 1
- Video Tutorial 2: Expression dan Evaluation - Part 2
- Tugas Dua Expression dan Evaluation
- Pekan 03: Partial Evaluation and Currying - Weekly asynchronous discussion and reflection
- Slide Pekan 03: Harap pahami ini hanya sebagian dari materi, peserta perlu membaca buku untuk materi yang lengkap demi ujian yang baik.
- Rekaman Video Sinkronos 03 (28 Sept 2020): Partial Evaluation and Currying
- Rekaman Audio Sinkronos 03 (28 Sept 2020): Partial Evaluation and Currying
- Latihan Pekan 03
- Video Kuliah 03: Currying, Partial Evaluation, Composition - Part 1
- Video Kuliah 03: Currying, Partial Evaluation, Composition - Part 2
- Video Kuliah 03: Currying, Partial Evaluation, Composition - Part 3
- Video Tutorial 3: Partial Evaluation and Currying
- Tugas 3 Partial Evaluation and Currying
- Label
- Pekan 04: Higher Order Function - Weekly asynchronous discussion and reflection
- Slide Pekan 04: Harap pahami ini hanya sebagian dari materi, peserta perlu membaca buku untuk materi yang lengkap demi ujian yang baik.
- Rekaman Video Sinkronos 04 (5 Okt 2020): Higher Order Function and Polymorphism
- Rekaman Audio Sinkronos 04 (5 Okt 2020): Higher Order Function and Polymorphism
- Contoh Soal Pra UAS 2019
- Video Kuliah 04: Higher Order Function - Part 1
- Video Kuliah 04: Higher Order Function - Part 2
- Video Tutorial 4: Higher Order Function and Lazy Evaluation
- Tugas 4 Higher Order Function dan Lazy Evaluation
- Label
- Pekan 05: Lazy Evaluation - Weekly asynchronous discussion and reflection
- Slide Pekan 05: Lazy Evaluation + Arahan Tugas Kelompok + Tugas Pengganti
- Rekaman Video Sinkronos 05 (12 Okt 2020): Lazy Evaluation
- Rekaman Audio Sinkronos 05 (12 Okt 2020): Lazy Evaluation
- Studi Mandiri: Lazy List dan List Comprehension
- Latihan Pekan 05: Lazy Evaluation
- Video Kuliah 05: Lazy Evalution
- Tutorial: Lazy Evaluation (new: 2021)
- Label
- Pekan 06: Lambda Calculus - Weekly asynchronous discussion and reflection
- Slide Pekan 06: Simply Typed Lambda Calculus
- Rangkuman (Lecture Notes) Lambda Calculus
- Rekaman Video Sinkronous 06 (19 Okt 2020): Simply Typed Lambda Calculus (Part 1)
- Rekaman Audio Sinkronous 06 (19 Okt 2020): Simply Typed Lambda Calculus (Part 1)
- Rekaman Video Sinkronous 07 (26 Okt 2020): Simply Typed Lambda Calculus (Part 2)
- Rekaman Audio Sinkronous 07 (26 Okt 2020): Simply Typed Lambda Calculus (Part 2)
- A Tutorial Introduction to the Lambda Calculus - Raul Rojas (Terjemahan)
- LambdaGuru (Typing)
- λ Interpreter
- Video Kuliah 06: Simply Typed Lambda Calculus - Part 1
- Video Kuliah 06: Simply Typed Lambda Calculus - Part 2
- Video Kuliah 06: Simply Typed Lambda Calculus - Part 3
- External: A Brief Lambda Calculus
- Tutorial: Representasi Lambda Calculus (new: 2021)
- Nice other video about experience in using Haskell
- Example Project for 2 persons team: JSON Parser
- Video External: 5 Years of Haskell in Industry
- Tugas 5 Individu: Church's Numeral Interpretation
- Submit Topik Kelompok dan anggota kelompoknya.
- Materi: Monad (new: 2021)
- Tutorial: Parser Combinator (new: 2021)
- Forum Tanya Jawab UTS
- Functional Programming Exercises (Recommended to try before Exams!)
- Contoh Panduan Umum UTS Fun Pro 2020
- Contoh Tugas UTS 2021: Parser Combinator
- Contoh Soal Essay 1 nomor (pilih kerjakan 1 nomor saja) - 30 menit
- Contoh Panduan Pengerjaan Soal Programming
- Pekan 09: Functional Component React
- Video External: Functional Component on React
- Label
- Pekan 10: React Hook
- Tutorial React Functional Component dan Hooks
- Pekan 11: Erlang Basics
- Pekan 12: Erlang OTP: Process and Concurrency
- Topik: Implementation of Type System (tba)
- Pekan 13: (external) Introduction to Type Inference
- Materi: Strongly Type Language (new: 2021)
- Tutorial: Type Inferencing (new: 2021)
- Topik Tambahan: Paralel Haskell
- Materi: Going FaaS - Serverless (new: 2021)
- Tutorial: Serverless with Netlify (new: 2021)
- Contoh dan Bahan Persiapan Ujian Praktikum Akhir
- Evaluasi Dosen Oleh Mahasiswa - E-learning
