After careful examination of the paper, I inferred that it mostly implemented simple loop translation, and worked only as long as the problem was small and easy to refine by direct translation token by token. It also had problems with preserving semantics of these simple loops. So while I am certain that Facebook AI tries to address important problems, the solution seems very far from practical application to large code bases and even attempts to translate the same language from one library to another. -- Best regards Michal On Sat, Jun 13, 2020 at 2:03 PM wrote:

Send Haskell-Cafe mailing list submissions to haskell-cafe@haskell.org

To subscribe or unsubscribe via the World Wide Web, visit http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe or, via email, send a message with subject or body 'help' to haskell-cafe-request@haskell.org

You can reach the person managing the list at haskell-cafe-owner@haskell.org

When replying, please edit your Subject line so it is more specific than "Re: Contents of Haskell-Cafe digest..." Today's Topics:

1. transcoding - Haskell?! (Gregory Guthrie) 2. Re: transcoding - Haskell?! (Branimir Maksimovic) 3. Re: transcoding - Haskell?! (MigMit) 4. Re: transcoding - Haskell?! (Branimir Maksimovic) 5. Re: transcoding - Haskell?! (Henning Thielemann)

---------- Forwarded message ---------- From: Gregory Guthrie To: "haskell-cafe@haskell.org" Cc: Bcc: Date: Fri, 12 Jun 2020 17:33:47 +0000 Subject: [Haskell-cafe] transcoding - Haskell?!

I think it would choke on Haskell code!

Haskell has so many language extensions and pragmas, and people use many local extensions with monads to basically create DIY DSL’s – that the code becomes very dense and context specific.

*Facebook's TransCoder AI Converts Code From One Programming Language Into Another* *VentureBeat*

* Kyle Wiggers June 9, 2020*

Facebook says its TransCoder can convert code from one high-level programming language into another. The system, which Facebook researchers describe as “a neural transcompiler,” uses an unsupervised learning approach to translate between languages like C++, Java, and Python. The researchers trained TransCoder on a public GitHub corpus featuring more than 2.8 million open source repositories. To evaluate its capabilities, the researchers extracted 852 parallel functions in C++, Java, and Python from the online GeeksforGeeks platform and developed a new computational accuracy metric that tests whether hypothesis functions generate the same outputs as a reference when given the same inputs. Wrote the researchers, “TransCoder can easily be generalized to any programming language, does not require any expert knowledge, and outperforms commercial solutions by a large margin.”

Dr. Gregory Guthrie

Maharishi International University

----------------------------------------------------------------

---------- Forwarded message ---------- From: Branimir Maksimovic To: haskell-cafe@haskell.org Cc: Bcc: Date: Fri, 12 Jun 2020 19:44:01 +0200 Subject: Re: [Haskell-cafe] transcoding - Haskell?!

It would choke on assembler as well. Digital computer hard AI is impossible, because there is no

algorithm for making algorithms. Mathematicaly impossible...

Greets, Branimir.

On 6/12/20 7:33 PM, Gregory Guthrie wrote:

I think it would choke on Haskell code!

Haskell has so many language extensions and pragmas, and people use many local extensions with monads to basically create DIY DSL’s – that the code becomes very dense and context specific.

*Facebook's TransCoder AI Converts Code From One Programming Language Into Another* *VentureBeat*

* Kyle Wiggers June 9, 2020*

Facebook says its TransCoder can convert code from one high-level programming language into another. The system, which Facebook researchers describe as “a neural transcompiler,” uses an unsupervised learning approach to translate between languages like C++, Java, and Python. The researchers trained TransCoder on a public GitHub corpus featuring more than 2.8 million open source repositories. To evaluate its capabilities, the researchers extracted 852 parallel functions in C++, Java, and Python from the online GeeksforGeeks platform and developed a new computational accuracy metric that tests whether hypothesis functions generate the same outputs as a reference when given the same inputs. Wrote the researchers, “TransCoder can easily be generalized to any programming language, does not require any expert knowledge, and outperforms commercial solutions by a large margin.”

Dr. Gregory Guthrie

Maharishi International University

----------------------------------------------------------------

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to:http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

---------- Forwarded message ---------- From: MigMit To: Branimir Maksimovic Cc: haskell-cafe Bcc: Date: Fri, 12 Jun 2020 20:14:18 +0200 Subject: Re: [Haskell-cafe] transcoding - Haskell?! I wonder if this would be true: https://www.theolognion.com/circular-ts-js-ts-js-transpiling-yields-impressi...

...

On 12 Jun 2020, at 19:44, Branimir Maksimovic < branimir.maksimovic@gmail.com> wrote:

It would choke on assembler as well. Digital computer hard AI is impossible, because there is no

algorithm for making algorithms. Mathematicaly impossible...

Greets, Branimir.

...

I think it would choke on Haskell code! Haskell has so many language extensions and pragmas, and people use many local extensions with monads to basically create DIY DSL’s – that the code becomes very dense and context specific.

Facebook's TransCoder AI Converts Code From One Programming Language Into Another VentureBeat Kyle Wiggers June 9, 2020

Facebook says its TransCoder can convert code from one high-level

On 6/12/20 7:33 PM, Gregory Guthrie wrote: programming language into another. The system, which Facebook researchers describe as “a neural transcompiler,” uses an unsupervised learning approach to translate between languages like C++, Java, and Python. The researchers trained TransCoder on a public GitHub corpus featuring more than 2.8 million open source repositories. To evaluate its capabilities, the researchers extracted 852 parallel functions in C++, Java, and Python from the online GeeksforGeeks platform and developed a new computational accuracy metric that tests whether hypothesis functions generate the same outputs as a reference when given the same inputs. Wrote the researchers, “TransCoder can easily be generalized to any programming language, does not require any expert knowledge, and outperforms commercial solutions by a large margin.”

...

Dr. Gregory Guthrie Maharishi International University ----------------------------------------------------------------

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to:

http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

Only members subscribed via the mailman list are allowed to post.

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

---------- Forwarded message ---------- From: Branimir Maksimovic To: MigMit Cc: haskell-cafe Bcc: Date: Fri, 12 Jun 2020 20:25:58 +0200 Subject: Re: [Haskell-cafe] transcoding - Haskell?! As long as there is math behind that it could work. There is no algorithm for creative thinking. Same way that if you put it on rng 1000 monkeys will sooner or later create Shakespeare :P

Greets, Branimir.

...

I wonder if this would be true: https://www.theolognion.com/circular-ts-js-ts-js-transpiling-yields-impressi...

...

On 12 Jun 2020, at 19:44, Branimir Maksimovic < branimir.maksimovic@gmail.com> wrote:

It would choke on assembler as well. Digital computer hard AI is impossible, because there is no

algorithm for making algorithms. Mathematicaly impossible...

Greets, Branimir.

On 6/12/20 7:33 PM, Gregory Guthrie wrote:

...

I think it would choke on Haskell code! Haskell has so many language extensions and pragmas, and people use many local extensions with monads to basically create DIY DSL’s – that the code becomes very dense and context specific.

Facebook's TransCoder AI Converts Code From One Programming Language Into Another VentureBeat Kyle Wiggers June 9, 2020

Facebook says its TransCoder can convert code from one high-level

On 6/12/20 8:14 PM, MigMit wrote: programming language into another. The system, which Facebook researchers describe as “a neural transcompiler,” uses an unsupervised learning approach to translate between languages like C++, Java, and Python. The researchers trained TransCoder on a public GitHub corpus featuring more than 2.8 million open source repositories. To evaluate its capabilities, the researchers extracted 852 parallel functions in C++, Java, and Python from the online GeeksforGeeks platform and developed a new computational accuracy metric that tests whether hypothesis functions generate the same outputs as a reference when given the same inputs. Wrote the researchers, “TransCoder can easily be generalized to any programming language, does not require any expert knowledge, and outperforms commercial solutions by a large margin.”

...

...

...

Dr. Gregory Guthrie Maharishi International University ----------------------------------------------------------------

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to:

http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

Only members subscribed via the mailman list are allowed to post.

_______________________________________________ Haskell-Cafe mailing list To (un)subscribe, modify options or view archives go to: http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe Only members subscribed via the mailman list are allowed to post.

---------- Forwarded message ---------- From: Henning Thielemann To: Gregory Guthrie Cc: haskell-cafe@haskell.org Bcc: Date: Fri, 12 Jun 2020 21:51:30 +0200 (CEST) Subject: Re: [Haskell-cafe] transcoding - Haskell?!

On Fri, 12 Jun 2020, Gregory Guthrie wrote:

...

I think it would choke on Haskell code!

Haskell has so many language extensions and pragmas, and people use many local extensions with monads to basically create DIY DSL’s – that the code becomes very dense and context specific.

It could have its use to convert legacy code in legacy languages to shiny new Haskell code. :-)_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe

-- Pozdrawiam Michał