PL course in ReScript

Announcements
22

The lectures are great! Really cool that we get bits of your wisdom on how functional language compilers are implemented in addition to the nice illustration of theory.

Question: is there a place where we can report bugs? In lecture 3.1 I believe “rename” should only work on the free variables instead of recursively changing names of b.v. It should match “subst” on lambda abstractions. As you pointed out in the lecture it’s a special form of substitution after all.

23

At least we can watch the lecture videos, if you upload it to youtube. Hopefully auto generated translated caption would work nicely.

2 Likes
24

Question: is there a place where we can report bugs?

Thanks for the feedback, would you create a thread on the forum? I will have my colleagues watch that thread

25

I’ve created a new thread per your suggestion. BTW congratulations on your appointment at IDEA. Does that have any implication for ReScript? For example does this mean that there is more interest for wider adoption and maybe native targets? In the lectures you mentioned targeting LLVM.

1 Like
26

Happy holiday season! We have uploaded some videos to Youtube, hope it will be useful!
Best – Hongbo

7 Likes
27

Hmmmm, YouTube’s automatic subtitles are not available. Can you activate them?

Also see:
https://support.google.com/youtube/answer/6373554?hl=en&ref_topic=7296214#zippy=%2Cautomatic-captions-on-long-form-videos-and-shorts

3 Likes
28

Thank you for sharing this. This is a topic I am particularly interested on but there are not many tutorials about it. Having it in such a great language (rescript) is even better

29

Just read the first lecture,and I have the impression that the slides do not hold for themselves. Am I correct? Are the videos mandatory to understand them?

30

Thanks for pointing this out! YouTube’s automatic subtitles are on now.

3 Likes
31

Yes, you are correct. I’m one of Hongbo’s colleagues working on preparing the course material and we are sorry that the slides are a bit sketchy. Youtube’s automatic translation might help if you want to follow the videos. You are also very welcome to ask questions by opening a new thread whenever you have difficulty grasping what we covered in the lectures and we will response asap.

1 Like
32

I confirmed that the auto-generated subtitle is working now! Thank you!

33

It has the english subtitle that is not auto-generated. Thank you for your work!

2 Likes