Do you use Compact Regions GHC Haskell feature?

The best software development environment I've ever seen: youtube.com/watch?v=72y2EC…

I've implemented STM primops in the External STG Interpreter. Now I'm using the STM tests from GHC test suite to iron out the bugs.

Does your editor support Debug Adapter Protocol?

I think it would be worthwhile to have quickcheck tests for GHC native RTS. I'd expect to find lots of bugs in complex C code.

AFAIK ghc-debug can not decode all closure types. (right?) So I plan to make an experiment manually, I'd like to modify the GHC RTS GC to dump the whole heap to a file during the traversal and then analyse it with custom offline tools.

I plan to check feasibility of the bidirectional state conversion between the native Haskell RTS and External STG Interpreter

It would be great to have a Haskell EDSL like specification of GHC native RTS internal C structures. It would make easy and safe to develop native RTS tools. i.e. whole RTS state snapshot I/O

What is the future of Haskell and GHC?

Does Haskell have fellow FP language and community? Or are other Haskell like languages viewed as alien competitors?

Check this excellent talk from Ben Gamari to get and overview of GHC RTS youtube.com/watch?v=zOFrGS…

An Introduction to Interpreters and JIT Compilation stefan-marr.de/2023/09/pliss-… Last week, I attended PLISS and had great time. In my own lectures, I talked, probably unsurprisingly, about how one can build interpreters, and how JIT compilation works. 😀 Slides in the blog post.

Initial result: External STG Interpreter shows current program point on Haskell source code

What was your method to learn GHC RTS codebase?

I think Gephi has a maximum canvas size

I did not know about the rr-project. You can record and replay native program execution. This project is a great source of inspiration for debugger developers. rr-project.org

I'm trying to locate a memory leak with GHC tooling. I want to see how far I can get. I also want to experience its convenience. If I get stuck then I'll switch to my custom tooling as an extension.

I'm learning Idris!