A decade of developing a programming language

Re:A decade of developing a programming language by andrewcobby on Tuesday November 14, 2023 @10:22PM (#38272924)

I had a similar experience this year as I’m working on an ML-cousin to Golang. I actually found that ChatGPT (gpt4) was really good and breaking down the step of implementing a Hindley-Milner type system in a language I could understand. It could also provide follow up clarifications to my questions too. I then implemented it a small bit at a time and as the complexity grew I started to better understand the algorithm.

EDIT: ChatGPT could actually demonstrate the whole process for type checking small chunks of code, including: assigning them type variables, collecting constraints and then unification. It would even then point out if there was a type error in the code snippet!

[ Parent | on HN ]

Re:A decade of developing a programming language by chewxy on Tuesday November 14, 2023 @11:16PM (#38273298)

I'm curious how you went. Here's my attempt: https://github.com/chewxy/hm , the core of which (i.e. the interface type) is what powers most of the languages I wrote (different languages I wrote have different unification schemes)

[ Parent | on HN ]

Re:A decade of developing a programming language by andrewcobby on Wednesday November 15, 2023 @07:30AM (#38275954)

Cool to see an implementation in Go, nice! Here's where I got to with my first attempt: https://github.com/cobbweb/flite. There's definitely stuff I'd do a bit different, my second attempt is actually a project to learn Rust with, but I'm already considering switch to Ocaml haha!

[ Parent | on HN ]