News for hackers. Stuff that matters.
Re:Kalium – idiomatic source-to-source translation of Pascal... by WalterGR on Friday March 16, 2018 @12:55AM (#16598726)
Numerous application of semantics-preserving transformations to the code...

Are there existing frameworks for doing this to code? Perhaps even ones that support transformations within multiple languages?

[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by tyler_larson on Friday March 16, 2018 @11:32AM (#16601333)
This is perfect. Now I can translate all my Pascal into Haskell.
[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by tome on Friday March 16, 2018 @01:38PM (#16602390)
Translates Haskell into Pascal, you say ...
[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by abc_lisper on Thursday March 15, 2018 @07:02PM (#16597239)
Can it convert tex source code?
[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by squiggleblaz on Thursday March 15, 2018 @08:39PM (#16597741)
I doubt it. Try looking at the supported subset: https://int-index.github.io/kalium/pascal.pdf It's not a long document (two pages).

TeX is written in a subset of Pascal too (so it can compile to C).

I can't find any particular documentation of what subset TeX uses, but considering the strong limitations in the Kalium documentation, I would be very much surprised if Kalium was a superset of the WEB2C supported subset of Pascal that TeX uses.

[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by mycall on Thursday March 15, 2018 @09:31PM (#16597937)
> so it can compile to C

I'm confused as there are P2C converters, although I don't know how good they work.

[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by abc_lisper on Friday March 16, 2018 @08:53AM (#16600280)
Actually Tex is built with a p2c translation
[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by WalterGR on Friday March 16, 2018 @12:52AM (#16598713)
Try looking at the supported subset: ...

Not being a Pascal user, what isn't supported?

[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by aetherspawn on Thursday March 15, 2018 @07:02PM (#16597242)
No commits for 2 years.
[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by WalterGR on Friday March 16, 2018 @12:50AM (#16598704)
That's good to point out.

https://int-index.github.io/kalium/pascal.pdf :

"Even if your program compiles, the implemented subset of Pascal is quite limited right now, but will be extended over time."

No commits in 2 years gives insight into what to expect from "extended over time".

[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by quickthrower2 on Thursday March 15, 2018 @09:01PM (#16597824)
That's the problem with a strong type system and a designing a tool that does one job well.
[ Parent | on HN ]
Re:Kalium – idiomatic source-to-source translation of Pascal... by mycall on Thursday March 15, 2018 @09:32PM (#16597943)
Good point. Looking at last check-in date sometimes doesn't mean bitrot or missing forward compatibility.
[ Parent | on HN ]