[Haskell-cafe] transcoding - Haskell?!

[Joachim Durchholz]

Am 12.06.20 um 20:25 schrieb Branimir Maksimovic:
> 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

Except if you have a library that has all the monkey works, the shelf 
number where you can find that work will be at least as long as the work 
itself.
You can't beat entropy...

> 
> Greets, Branimir.
> 
> On 6/12/20 8:14 PM, MigMit wrote:
>> I wonder if this would be true: 
>> https://www.theolognion.com/circular-ts-js-ts-js-transpiling-yields-impressive-results/ 
>>
>>
>>> On 12 Jun 2020, at 19:44, Branimir Maksimovic 
>>> <branimir.maksimovic at 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 
>>>> 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.
> _______________________________________________
> 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.