InglésFrancésEspañol

Ad


icono de página de OnWorks

Descargar Teoría de la categoría para programadores para Linux

Descarga gratuita de la aplicación Category Theory for Programmers Linux para ejecutar en línea en Ubuntu en línea, Fedora en línea o Debian en línea

Esta es la aplicación de Linux llamada Teoría de categorías para programadores cuya última versión se puede descargar como ReleasingScalaeditiontoprint! .Zip. Se puede ejecutar en línea en el proveedor de alojamiento gratuito OnWorks para estaciones de trabajo.

Descargue y ejecute en línea esta aplicación llamada Teoría de categorías para programadores con OnWorks de forma gratuita.

Siga estas instrucciones para ejecutar esta aplicación:

- 1. Descargue esta aplicación en su PC.

- 2. Ingrese en nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 3. Cargue esta aplicación en dicho administrador de archivos.

- 4. Inicie el emulador en línea OnWorks Linux o Windows en línea o el emulador en línea MACOS desde este sitio web.

- 5. Desde el SO OnWorks Linux que acaba de iniciar, vaya a nuestro administrador de archivos https://www.onworks.net/myfiles.php?username=XXXXX con el nombre de usuario que desee.

- 6. Descarga la aplicación, instálala y ejecútala.

SCREENSHOTS

Ad


Teoría de categorías para programadores


DESCRIPCIÓN

Esta es una versión en PDF no oficial de "Teoría de categorías para programadores" de Bartosz Milewski, convertida de su serie de publicaciones de blog (con permiso). La teoría de categorías para programadores se publicó el 12 de agosto de 2019. Basado en la etiqueta de lanzamiento v1.3.0. Consulte errata-1.3.0 para conocer los cambios y correcciones desde la impresión. Scala Edition ya está disponible en rústica. Publicar. Basado en la etiqueta de lanzamiento v1.3.0. Consulte errata-scala para conocer los cambios y correcciones desde la impresión. La mejor forma de crear el libro es utilizando el administrador de paquetes de Nix. Después de instalar Nix, escriba nix-shell en el directorio raíz del proyecto. Esto descargará todas las dependencias y herramientas necesarias para construir el libro (TeXLive, fuentes y paquetes requeridos, tema de Pygments para resaltar la sintaxis, etc.).



Caracteristicas

  • Utilice el administrador de paquetes de Nix para crear el libro
  • Más información sobre la programación declarativa
  • Puedes conocer productos y coproductos
  • Aprenda todo sobre los tipos de datos algebraicos simples
  • Comprender adjuntos libres y olvidadizos
  • Aprenda todo lo que necesita saber sobre mónadas, monoides y categorías.


Esta es una aplicación que también se puede obtener de https://sourceforge.net/projects/cat-theory-programmers.mirror/. Se ha alojado en OnWorks para poder ejecutarlo online de la forma más sencilla desde uno de nuestros Sistemas Operativos gratuitos.


Servidores y estaciones de trabajo gratuitos

Descargar aplicaciones de Windows y Linux

  • 1
    AstrOrzPlayer
    AstrOrzPlayer
    AstrOrz Player es un reproductor multimedia gratuito
    software, parte basado en WMP y VLC. los
    jugador tiene un estilo minimalista, con
    más de diez colores temáticos, y también puede
    b ...
    Descargar AstrOrzPlayer
  • 2
    movistartv
    movistartv
    Kodi Movistar+ TV es un ADDON para XBMC/
    Kodi que permite deshacerse de un
    decodificador de los servicios IPTV de
    Movistar integrado en uno de los
    mediacenters ma...
    descargar movistartv
  • 3
    Código :: Bloques
    Código :: Bloques
    Code::Blocks es un programa gratuito, de código abierto,
    IDE multiplataforma C, C++ y Fortran
    construido para satisfacer las necesidades más exigentes
    de sus usuarios. Está diseñado para ser muy
    extens ...
    Descargar Código::Bloques
  • 4
    En medio de
    En medio de
    Interfaz de Minecraft en medio o avanzada
    y el seguimiento de datos / estructura es una herramienta para
    mostrar una descripción general de un Minecraft
    mundo, sin realmente crearlo. Eso
    puede ...
    Descargar en medio
  • 5
    MSYS2
    MSYS2
    MSYS2 es una colección de herramientas y
    bibliotecas que le proporcionan una
    entorno fácil de usar para la construcción,
    instalar y ejecutar Windows nativo
    software. Con ...
    Descargar MSYS2
  • 6
    libjpeg-turbo
    libjpeg-turbo
    libjpeg-turbo es un códec de imagen JPEG
    que usa instrucciones SIMD (MMX, SSE2,
    NEON, AltiVec) para acelerar la línea de base
    Compresión y descompresión JPEG activadas
    x86, x8 ...
    Descargar libjpeg-turbo
  • Más "

Comandos de Linux

Ad