adl
adl copied to clipboard
adl-lang
ADL (Algebraic Data Language)
Hi, it would be nice if the generated TypeScript code would be compatible with The fix is make sure that all "catch" blocks have an `: unknown` type annotation. Thank...
``` csharp module example { struct AStruct { BStruct b = {}; }; struct BStruct { String foo = "abc $10"; }; }; ``` The generate java `A.java` has the...
aeson 2.0 has breaking changes. Here is the error I got: ``` src/ADL/Core/Value.hs:181:77: error: • Couldn't match type ‘Data.Aeson.KeyMap.KeyMap JS.Value’ with ‘HM.HashMap T.Text JS.Value’ ``` I found this migration guide...
`adlc version` 1.1.4 For the following adl ``` module hw { struct HW {}; }; ``` `adlc java -O out --generate-transitive --include-rt hw.adl` AdlVoid.java is not written to `out/org/adl/runtime/`. This...
Currently the rule is that ADL types `Float` and `Double` are serialised as json numbers. This won't work for NaN and Inf across the language bindings. A possible alternate rule...
The documentation mentions that we can have the following ADL type: ``` newtype Date = String; ``` be converted to the following Haskell type: ```haskell type Date = Day ```...
So far I've just hand translated the https://github.com/timbod7/adl/blob/master/haskell/compiler/tests/demo1/input/picture.adl and added some support to the adl runtime.
ADL has been actively used in a range of projects for more than 4 years. It's worked well, though usage has suggested some improvements that are difficult to make in...
Discussion edits on adlast.adl that exposes the names of primitives as union branches and also limits scope of `TypeExpr` type params to zero, one or many depending on case. I...
Hello it appears that when we use ADL newtype then the TypeScript output is: ```typescript type MyNewType = string; ``` This is not a proper newtype and isn't type safe....