Mathematica 14

Artículo original ↗ Discusión en Hacker News ↗

Mathematica 14 impulsa una nueva valoración del lenguaje computacional insignia de Wolfram como una herramienta única, potente pero idiosincrática, para matemáticas simbólicas, visualización y computación científica “con todo incluido”. Los usuarios elogian su biblioteca estándar profunda e integrada, sus capacidades de álgebra computacional de primera clase y su histórico interfaz de notebooks, especialmente en física y en investigación intensiva en matemáticas. Al mismo tiempo, muchos señalan su pronunciada curva de aprendizaje, sus internals opacos, el costo de la licencia y el modelo de código cerrado, y la personalidad polarizante de su creador como factores que limitan su adopción más amplia frente a ecosistemas abiertos como Python o R.

Casos de uso y usuarios

  • Se informa de un uso intensivo en física teórica/de altas energías y en algunos programas de posgrado en matemáticas, principalmente para trabajo simbólico, integrales y ecuaciones diferenciales.
  • También se usa en física computacional, optimización a gran escala, finanzas (p. ej., mesas de FX) y campos académicos “cercanos a las matemáticas”.
  • Popular para tinkering de afición, búsquedas de acertijos, procesamiento puntual de datos e imágenes, gráficos y como una calculadora sobredimensionada.

Fortalezas y capacidades únicas

  • Ampliamente considerado de primera categoría para computación simbólica cuando SymPy/Maxima/Maple fallan o son engorrosos.
  • Potente CAS con amplias bibliotecas: integrales, DSolve, bases de Groebner, optimización, resolución SAT/LP, estadística, teoría de grupos, etc.
  • Gran capacidad de visualización y flujo de trabajo interactivo en notebooks; gráficos paramétricos, 3D y exploratorios fáciles.
  • “Trae todo incluido” con una gran biblioteca estándar coherente y acceso integrado a datos externos (p. ej., clima, finanzas, datos de objetos).
  • Buena documentación con ejemplos; la selección automática de algoritmos numéricos suele “simplemente funcionar”.

Debilidades y puntos de dolor

  • Curva de aprendizaje pronunciada y lenguaje idiosincrásico; muchos describen momentos frecuentes de “WTF”.
  • Funciona como una caja negra: funciones como Simplify/Integrate pueden quedarse colgadas o explotar sin introspección sobre los pasos internos.
  • Pesado y lento de iniciar; excesivo para tareas simples; la gestión del estado y reiniciar el entorno son engorrosos.
  • No es ideal para sistemas grandes o programación de propósito general en comparación con Python/R; ecosistema limitado de terceros.

Diseño del lenguaje, tipos y semántica

  • El núcleo es un sistema de reescritura de términos basado en reglas (todo es una expresión), conceptualmente parecido a Lisp pero orientado a las matemáticas simbólicas.
  • No existe un sistema de tipos real; algunos emulan tipos mediante coincidencia de patrones y predicados, pero esto es ad hoc y rara vez se usa de forma consistente.
  • La discusión señala que es difícil diseñar un sistema de tipos estático que cubra las operaciones polimórficas y simbólicas de Mathematica.

Licencias, acceso y alternativas

  • El costo y las licencias (límites de kernel, límites de máquina, comprobaciones en línea) son grandes desincentivos; preocupa invertir tiempo en una herramienta propietaria.
  • Se mencionan opciones gratuitas o más baratas: SymPy, Maxima/wxMaxima, Maple, Mathics; por lo general son más débiles simbólicamente o menos pulidas.
  • Vías gratuitas: paquete para Raspberry Pi, Wolfram Engine gratuito, cuentas básicas de Wolfram Cloud.

UI y metadiscusión

  • La UI de notebooks es elogiada; algunos debaten la prioridad histórica frente a sistemas anteriores como Mathcad.
  • Algunos desearían un flujo de trabajo más cercano a las herramientas/editoriales de programación convencionales.
  • El hilo incluye un debate recurrente sobre el ego del creador; los moderadores instan a centrarse en aspectos técnicos/de contenido en lugar de la personalidad.