25 Jul 2024 |
Hécate | yeah we can see that but asking for OCaml support on a Haskell channel is not the way to get it :') | 20:46:54 |
| Jeffrey Phillips Freeman (He, UTC-4) changed their display name from Jeffrey Phillips Freeman (He, UTC+7) to Jeffrey Phillips Freeman (He, UTC-4). | 20:58:43 |
/-+ | Is there any room for Ocaml and scheme | 21:40:21 |
sm | you should probably look on their websites. (There is a matrix room search but I don't trust it right now) | 21:42:34 |
/-+ | We were giving an assignment in our college to develop a small compiler with this languages.please I hope you guys can be of help to me | 21:58:56 |
/-+ | I know is a challenging task | 21:59:13 |
jasagredo | Check here: https://ocaml.org/community it points to a Matrix room specifically for OCaml. | 22:20:18 |
beep-beep-beep-boop | In reply to @/-+:matrix.org Is there any room for Ocaml and scheme the #ocaml channel on libera is pretty active | 22:25:29 |
26 Jul 2024 |
| 柱間 changed their profile picture. | 01:46:55 |
| @mad:matrix.org joined the room. | 05:35:55 |
greatvoid | In reply to @/-+:matrix.org We were giving an assignment in our college to develop a small compiler with this languages.please I hope you guys can be of help to me Basic steps:
- define data structures for the AST of the language you want to compile
- write a parser to read the source code that translates it to the AST objects
- write some functions that translate the AST objects to the target code
Fortunately in haskell / ocaml / scheme you can simply write the various translation steps down as pure functions. This will be much easier than in an imperative language, since parsers and compilers are basically just translation functions.
And do look up combinator parsing if you haven‘t already. That is a flexible and natural way to to parsing with functional languages (as an alternative to the lex/yacc style and their reimplementations). | 08:03:10 |
greatvoid | In reply to @/-+:matrix.org We were giving an assignment in our college to develop a small compiler with this languages.please I hope you guys can be of help to me * Basic steps:
• define data structures for the AST of the language you want to compile
• write a parser to read the source code that translates it to the AST objects
• write some functions that translate the AST objects to the target code
Fortunately in haskell / ocaml / scheme you can simply write the various translation steps down as pure functions. This will be much easier than in an imperative language, since parsers and compilers are basically just translation functions.
And do look up combinator parsing if you haven‘t already. That is a flexible and natural way to to parsing with functional languages (as an alternative to the lex/yacc style tools and their reimplementations). | 08:04:16 |
| @tweyuo:matrix.org joined the room. | 08:15:05 |
| Tom Savage changed their display name from tcsavage to Tom Savage. | 08:22:08 |
| Tom Savage set a profile picture. | 08:23:34 |
| @tweyuo:matrix.org left the room. | 08:25:08 |
MangoIV | is there a haddock room on matrix? | 11:44:49 |
MangoIV | I have the problem that 'GHC.Exts.ByteArray#' doesn't highlight correctly. | 11:45:25 |
MangoIV | hah! found it. | 11:49:38 |
Rene | In reply to @clementd-42:matrix.org Do you want the handler to decide on what it returns? Or do you want a type you can reuse in different contexts ? Yes, the handler would return different r s depending on the input. The JSON RPC standard has a set Response structure where one of the fields contains the results of the operation and it can be anything that can be represented in JSON. I've used the RpcResponse r return type with Scotty but Servant's type-level DSL seems to not allow it. Using a sum type to represent specific responses seems to be working fine. | 12:34:46 |
MangoIV | https://gitlab.haskell.org/ghc/ghc/-/merge_requests/12934
if you have the passion to have a look - please roast my haddock! | 13:17:23 |
Profpatsch | pretty good | 14:14:12 |
| 柱間 changed their profile picture. | 14:30:53 |
MangoIV | I haven't followed the proposals for the exception backtrace stuff, maybe someobody here knows - why does displayException @SomeException behave like displayException @(ExceptionWIthContext _) ? Wouldn't it have been enough to also having to wrap it into ExceptionWithContext ? This is especially weird as `displayException @(ExceptionWIthContext SomException) does weird things like printing the callstack twice 👀 | 16:44:08 |
MangoIV | * I haven't followed the proposals for the exception backtrace stuff, maybe someobody here knows - why does displayException @SomeException behave like displayException @(ExceptionWIthContext _) ? Wouldn't it have been enough to also having to wrap it into ExceptionWithContext ? This is especially weird as `displayException @(ExceptionWIthContext SomException)` does weird things like printing the callstack twice 👀 | 16:44:15 |
| Kyle Butt left the room. | 17:16:35 |
| Kyle Butt joined the room. | 17:16:57 |
| @tyupo:matrix.org joined the room. | 19:35:37 |
| @tyupo:matrix.org left the room. | 19:36:48 |
27 Jul 2024 |
| nicball changed their display name from _unsafePerformNicball to nicball. | 04:53:46 |