Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revisionNext revision | Previous revision | ||
| teaching:cc7110:2019:presentaciones [2019/06/12 14:46] – etanter | teaching:cc7110:2019:presentaciones [2019/06/12 14:49] (current) – etanter | ||
|---|---|---|---|
| Line 46: | Line 46: | ||
| ===WebAssembly (Darío)=== | ===WebAssembly (Darío)=== | ||
| - | WebAssembly es un lenguaje bytecode de bajo nivel y portable. Fue diseñado inicialmente para reemplazar Javascript en los navegadores web, pero ahora puede ser usado en cualquier otro contexto. WebAssembly está pensado para ser el posible objetivo de compilación de lenguajes de alto nivel como C, o Rust. | + | WebAssembly es un lenguaje bytecode de bajo nivel y portable. Fue diseñado inicialmente para reemplazar Javascript en los navegadores web, pero ahora puede ser usado en cualquier otro contexto. WebAssembly está pensado para ser el posible objetivo de compilación de lenguajes de alto nivel como C o Rust. |
| - | * Formal overview: https:// | + | |
| - | * homepage: https:// | + | * homepage: https:// |
| Line 56: | Line 56: | ||
| Los tipos graduales permiten la suave transición entre el chequeo estático y el chequeo dinámico, basada en la precisión de las anotaciones de tipos introducidas por los programadores. Esto permite obtener los beneficios de lenguajes estáticamente tipados como Java, Scala, Haskell, y Ocaml, y lenguajes dinámicamente tipados como Javascript, Python, y Ruby. | Los tipos graduales permiten la suave transición entre el chequeo estático y el chequeo dinámico, basada en la precisión de las anotaciones de tipos introducidas por los programadores. Esto permite obtener los beneficios de lenguajes estáticamente tipados como Java, Scala, Haskell, y Ocaml, y lenguajes dinámicamente tipados como Javascript, Python, y Ruby. | ||
| - | * Paper original (Gradual Typing for FP): [[https:// | + | |
| - | * Gradual Typing for Objects: [[https:// | + | * blog post de Siek: https:// |
| - | * Abstracting Gradual Typing: [[http:// | + | |
| + | * Abstracting Gradual Typing: [[http:// | ||