Add support for Sophia smart contract language

[zxq9]

This PR adds support for the Sophia contract language.

Checklist:

• I am adding a new language.
  • The extension of the new language is used in hundreds of repositories on github.com.
    • Search results for each extension:
      • https://github.com/search?utf8=%E2%9C%93&type=Code&ref=searchresults&q=extension%3Aaes+contract+NOT+nothack
  • I have included a real-world usage sample for all extensions added in this PR:
    • Sample source(s):
      • https://github.com/zxq9/linguist/blob/master/samples/Sophia/all_syntax.aes
      • https://github.com/zxq9/linguist/blob/master/samples/Sophia/aeproof.aes
      • https://github.com/zxq9/linguist/blob/master/samples/Sophia/Option.aes
    • Sample license(s):
      • ISC
  • I have included a syntax highlighting grammar: https://github.com/mradkov/vscode-sophia
  • I have updated the heuristics to distinguish my language from others using the same extension.

[lildude]

Please remove the contrived samples/Sophia/all_syntax.aes sample. We prefer real-world samples as they're more reflective of real-world usage.

The grammar license file appears to be manually curated and not from using the add-grammar script. Please add the file created by that script when you ran it in place of the current file.

If you don't have the file, running bundle exec licensed cache -c vendor/licenses/config.yml should generate it.

Update: please also update the OP to link to the original sources of the samples and not the files added to your fork of this repo.

[marc0olo]

cool to see this being tackled, thanks for the PR @zxq9! 😎

in case some other real examples are needed:

• https://github.com/aeternity/dex-contracts-v2/tree/master/contracts
• https://github.com/aeternity/state-channel-demo/blob/develop/contract/contracts/RockPaperScissors.aes
• https://github.com/aeternity/aeternity-fungible-token/blob/master/contracts/fungible-token-full.aes
• https://github.com/aeternity/tipping-contract/blob/develop/contracts/v4/Tipping_v4.aes
• https://github.com/aeternity/tipping-oracle-service/blob/master/contracts/OracleService.aes
• https://github.com/aeternity/ga-multisig-contract/blob/master/contracts/SimpleGAMultiSig.aes
• https://github.com/aeternity/wordbazaar-contracts/tree/main/contracts

not sure though if https://github.com/mradkov/vscode-sophia is up to date. maybe @radrow, @ghallak or @hanssv can confirm that.

anyway, can't wait to finally see syntax highlighting for Sophia on GitHub <3

[radrow]

Yet another real-life example: https://github.com/aeternity/hyperchains-contract/blob/master/contracts/Election.aes

[radrow]

@marc0olo The VS code extension is slightly outdated (eg it lacks main keyword and <- from list comprehensions), but should work for most uses

[zxq9]

Thanks for the heads up @radrow , I'll give the new syntax elements a look and update this.

[marc0olo]

@zxq9 the syntax highlighting grammar is about to be updated to the latest state 😃 see mradkov/vscode-sophia#9

[lildude]

Nudge nudge @zxq9. This PR is still waiting on you. It won't be merged until you address the requested changes.

[lildude]

Closing as stale.