Este é o aplicativo Linux chamado Refined, cuja versão mais recente pode ser baixada como 0.11.3sourcecode.tar.gz. Ele pode ser executado online no provedor de hospedagem gratuita OnWorks para estações de trabalho.
Baixe e execute on-line este aplicativo chamado Refined with OnWorks gratuitamente.
Siga estas instruções para executar este aplicativo:
- 1. Baixe este aplicativo em seu PC.
- 2. Entre em nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que você deseja.
- 3. Carregue este aplicativo em tal gerenciador de arquivos.
- 4. Inicie o emulador OnWorks Linux online ou Windows online ou emulador MACOS online a partir deste site.
- 5. No sistema operacional OnWorks Linux que você acabou de iniciar, acesse nosso gerenciador de arquivos https://www.onworks.net/myfiles.php?username=XXXXX com o nome de usuário que deseja.
- 6. Baixe o aplicativo, instale-o e execute-o.
SCREENSHOTS
Ad
Refinado
DESCRIÇÃO
Refined é uma biblioteca Scala que aprimora tipos com restrições de tempo de compilação usando tipos de refinamento no estilo predicado. Ela permite incorporar lógica de validação em tipos como Refined[Int, Positive], garantindo que valores inválidos sejam rejeitados em tempo de compilação ou execução, aumentando assim a segurança e reduzindo a repetição repetitiva na modelagem de domínio.
Recursos
- Suporte rico a predicados (por exemplo, restrições positivas, não vazias e de intervalo)
- Refinamentos verificados em tempo de compilação para valores constantes
- Integração perfeita com programação de nível de tipo e sem forma
- Validação automática via implícitos e macros
- Interoperabilidade com Circe, Cats e outras bibliotecas funcionais
- Reduz o clichê na verificação de invariantes durante o tempo de execução
Linguagem de Programação
Scala
Categorias
Este é um aplicativo que também pode ser obtido em https://sourceforge.net/projects/refined.mirror/. Ele foi hospedado no OnWorks para ser executado online da maneira mais fácil em um de nossos sistemas operacionais gratuitos.
