Posted 2024-01-15Updated 2024-01-17Programming Language3 minutes read (About 522 words)Intro_to_PL (Week 4)Type InferenceAnalysis the constraints (e.g., a > 0 infers a : int).Read more
Posted 2024-01-08Updated 2024-01-21Programming Language2 minutes read (About 236 words)Overview of OCamlFrom website: https://cs3110.github.io/textbook/chapters/basics/functions.htmlRead more
Posted 2023-12-30Updated 2024-01-04Programming Language5 minutes read (About 741 words)Intro_to_PL (Week 3)Functional ProgrammingA language is functional programming when avoiding mutation in most cases using functions as valuesRead more
Posted 2023-12-27Updated 2024-01-01Programming Language3 minutes read (About 404 words)Intro_to_PL (Week 2)Build Compound TypesThree types: Each of: Tuple One of: Option Self reference: ListRead more
Posted 2023-12-17Updated 2024-01-01Programming Language4 minutes read (About 548 words)Intro_to_PL (Week 1)Static / Dynamic EnvironmentStatic Environment checks type, which does not run the program.Read more