Skip to main content

Pemrograman Fungsional

0%

Focus Mode is ON. Click ‘X’ at right bottom to close it.

Previous
Course data

Pemrograman Fungsional

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

00. Course Overview

Rancangan Pengajaran: Functional Programming

Video Kuliah 00: Sekilas Pemrograman Fungsional

01. Pengenalan Haskell: Pure Functional Programming

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

02. Expression dan Evaluation

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

03. Partial Evaluation dan Currying

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

04. Higher Order Function

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

05. Lazy Evaluation

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)

06. Lambda Calculus dan Type System

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)

07. Parser Combinator, Quiz dan Review

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)

08. Mid Term Exam

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

09. React: Functional Component

Pekan 09: Functional Component React

Video External: Functional Component on React

10. React Hooks

Pekan 10: React Hook

Tutorial React Functional Component dan Hooks

11. Introduction to Erlang

Pekan 11: Erlang Basics

12. Erlang OTP: Process and Concurrency

Pekan 12: Erlang OTP: Process and Concurrency

13. Advanced Topic: Implementation of Type System

Topik: Implementation of Type System (tba)

Pekan 13: (external) Introduction to Type Inference

Materi: Strongly Type Language (new: 2021)

Tutorial: Type Inferencing (new: 2021)

14. Advanced Topic: Going FaaS - Serverless

Topik Tambahan: Paralel Haskell

Materi: Going FaaS - Serverless (new: 2021)

Tutorial: Serverless with Netlify (new: 2021)

16. Final Term

Contoh dan Bahan Persiapan Ujian Praktikum Akhir

Evaluasi Dosen Oleh Mahasiswa - E-learning
Next

Categories
- All categories
Explore
Social and Political Sciences

Mathematics and Natural Sciences

Computer Sciences

Health Sciences

Business and Economic Sciences

Law

Psychological Sciences

Art, Language and Humanities

Engineering

Administrative Sciences

Vocational Program

Environmental Sciences

Strategic and Global Sciences

Non Degree Program

ALL KELAS MASTER NDP

Kelas Assesmen NDP
Others
Testing

Testing Danial

Kelas Praktikum

Praktikum BIMTEK B

Praktikum Sosiologi

Kelas Praktikum MOOCs FEB

Kelas Praktikum FIA

BD MOOCs

Kelas Praktikum MOOCs FT UI

2023

2024

PKSA

Kelas Praktikum MOOCS FIA UI

Kelas Praktikum FT

Praktikum MOOCs FISIP

MOOCS 2023

Kelas Praktikum FK

PKSA

2024

MOOCS

PELATIHAN

PRAKTIKUM

Praktikum

Kelas Praktikum MOOCS FEB 2024

UAT

Kelas Praktikum IDOLS

OCW
Home
Calendar
Explore
Social and Political Sciences Mathematics and Natural Sciences Computer Sciences Health Sciences Business and Economic Sciences Law Psychological Sciences Art, Language and Humanities Engineering Administrative Sciences Vocational Program Environmental Sciences Strategic and Global Sciences
Help & Guideline
UI MOOCs guide for teacher (on Idols) UI MOOCs guide for teacher (on PJJ website)
Lokapasar

Search

Search

Toggle search input

English ‎(en)‎

Bahasa Indonesia ‎(id)‎ English ‎(en)‎

You are currently using guest access

Log in

Categories Collapse Expand

All categories

Explore

Social and Political Sciences

Mathematics and Natural Sciences

Computer Sciences

Health Sciences

Business and Economic Sciences

Law

Psychological Sciences

Art, Language and Humanities

Engineering

Administrative Sciences

Vocational Program

Environmental Sciences

Strategic and Global Sciences

Non Degree Program

ALL KELAS MASTER NDP

Kelas Assesmen NDP

Others

Testing

Testing Danial

Kelas Praktikum

Praktikum BIMTEK B

Praktikum Sosiologi

Kelas Praktikum MOOCs FEB

Kelas Praktikum FIA

BD MOOCs

Kelas Praktikum MOOCs FT UI

2023

2024

PKSA

Kelas Praktikum MOOCS FIA UI

Kelas Praktikum FT

Praktikum MOOCs FISIP

MOOCS 2023

Kelas Praktikum FK

PKSA

2024

MOOCS

PELATIHAN

PRAKTIKUM

Praktikum

Kelas Praktikum MOOCS FEB 2024

UAT

Kelas Praktikum IDOLS

OCW

Home Calendar Explore Collapse Expand

Social and Political Sciences Mathematics and Natural Sciences Computer Sciences Health Sciences Business and Economic Sciences Law Psychological Sciences Art, Language and Humanities Engineering Administrative Sciences Vocational Program Environmental Sciences Strategic and Global Sciences

Help & Guideline Collapse Expand

UI MOOCs guide for teacher (on Idols) UI MOOCs guide for teacher (on PJJ website)

Course information

Pemrograman Fungsional

Teacher: Ade Azurat

Skill Level: Beginner

Contact site support

You are currently using guest access (Log in)

Data retention summary

Get the mobile app

div#histatsC {position: absolute;top:50%;right:0px;}body>div#histatsC {position: fixed;}

Powered by Moodle

IDOLS Instagram

IDOLS Instagram

Privacy Policy Terms & Conditions

UI Massive Open Online Courses © 2026. All right reserved.