XDUCE. XDUCE ("transduce") é uma linguagem de programação digitada especificamente projetada para processamento de dados XML.
Baixe Agora

XDUCE. Classificação e resumo

XDUCE. Tag

programação Xml. linguagem de programação Digitado Processador XML. Funções polimórficas

XDUCE. Descrição

XDUCE ("transduce") é uma linguagem de programação digitada especificamente projetada para processamento de dados XML. XDUCE ("transduce") é uma linguagem de programação digitada especificamente projetada para processamento de dados XML. Pode-se ler um documento XML como um valor XDUCE, extrair informações a partir dele ou convertê-lo para outro formato e escreva o valor de resultado como um documento XML. Como o XDUCE é digitado estaticamente, os programas XDUCE nunca produzem erros de tipo de tempo de execução e os documentos XML resultantes sempre estão em conformidade com os tipos especificados.Aqui são alguns recursos "XDUCE": · XDUCE apresenta tipos de expressão regulares, que são semelhantes no tipo de documento. Definições (DTD). · XDUCE fornece uma noção poderosa de subtirtação. (Permite qualquer relação de subtração que você pode esperar da sua intuição na relação de inclusão de expressões regulares.) Não só dá flexibilidade substancial na programação, mas também é útil para a evolução do esquema ou integração. · A XDUCE suporta a correspondência regular de padrões de expressão, que combina se-expressões, verificações de tag e extração de subnodos. O que é novo nesta versão: · Adicionado um suporte para o polimorfismo paramétrico. · Os tipos podem conter variáveis de tipo escrito "TY X", por exemplo, tipo alist = Entry , dados ] * e digite o formulário de substituição escrito "t {{x -> u}}" para significar Substituição de u para x em t, por exemplo, alist {{x -> baby}} · As funções podem ser polimórficas, por exemplo, diversão Search {{X} (Dados de Val como um ): B ) = ... onde os parâmetros do tipo podem ser declarados e tipos de parâmetros e o tipo de resultado podem mencionar os parâmetros do tipo. · Um aplicativo para funções polimórficas não precisa de argumentos de tipo. Eles são inferidos automaticamente. · Uma variável de tipo pode ser associada à sua restrição como "TY X como t". Então, uma variável tipo "TY X" abrevia "TY X como Anyelm". Funções incorporadas também podem ser polimórficas: extern f: {x} a -> b · Restrições: · Tipo variáveis podem ser variadas por tipos de elementos, então este é um erro: diversão errado {{x}} (val x como um , b [])]: qualquer = x · Os parâmetros do tipo de marcação-ambígua produzem um aviso, por exemplo, divertido Ambig {{x}} ( val x como (um , c [] | a ], ty x)): qualquer teste = x · padrões não podem mencionar variáveis de tipo: diversão errado {{x}} (val x como um ): qualquer = filtro x {(val y como um ) {y}} · Um tipo de substituição não pode mencionar um nome de tipo recursivo: digite errado = alist {{x -> errado}}

XDUCE. Software Relacionado