Re: [racket-users] Migrating from a "model-driven" language framework to Racket

2020-12-17 Thread Guillaume Savaton
Several months have passed since I started this thread. I have finally decided to write a blog series about this experiment. There are seven posts planned, the first four of which are already published: - General introduction

Re: [racket-users] Migrating from a "model-driven" language framework to Racket

2020-05-26 Thread Guillaume Savaton
Le mardi 26 mai 2020 21:45:21 UTC+2, johnbclements a écrit : > > In your case, the type checker would also be “resolving” lightweight > expressions like (assign (h1 a) a) into fully-decorated expressions like > (assign (port-ref half-adder h1 a) (port-ref full-adder a)) . > Does this make sense?

Re: [racket-users] Migrating from a "model-driven" language framework to Racket

2020-05-26 Thread Guillaume Savaton
Le mardi 26 mai 2020 21:41:14 UTC+2, Sam Tobin-Hochstadt a écrit : > > I think the best way to implement what you describe for a "better > version" is as follows: > > Expand `(instance h1 half-adder-arch)` into something like > > (define-syntax h1 (half-adder-arch-info)) > I have seen this d

Re: [racket-users] Migrating from a "model-driven" language framework to Racket

2020-05-26 Thread Guillaume Savaton
Le mardi 26 mai 2020 03:59:59 UTC+2, johnbclements a écrit : > > > So far, I have made two attempts to work around these issues: (1) by > creating a metamodel-like data structure using Racket structs, and > transforming syntax objects into struct instances; or (2) using syntax > objects only and

[racket-users] Re: Migrating from a "model-driven" language framework to Racket

2020-05-22 Thread Guillaume Savaton
Hi Stephen. Thanks for your answer. Le vendredi 22 mai 2020 13:57:53 UTC+2, Stephen De Gabrielle a écrit : > > What are the Racket Syntax Classes you have implemented? Can you provide > an example? > The project consists in creating a simple hardware description language. I am preparing a simpl

[racket-users] Migrating from a "model-driven" language framework to Racket

2020-05-21 Thread Guillaume Savaton
to further illustrate what I want to do and where I am stuck. Have you experienced similar concerns in one of your projects? What design patterns would you recommend ? Do you know any well-commented real-life example that I could use for inspiration? Thanks in advance for your answers. Guillau