En primer lugar, no he terminado SICP. Todavía tengo que estudiar uno y medio capítulos. No sé si estas cosas suenan profundas, pero esto es lo que aprendí / reaprendí.
- Evaluación aplicativa y de orden normal. Aprendí bastante en el curso en línea de Scala. En el primer capítulo, se preguntará por qué demonios necesita una evaluación de orden normal y, al menos, obtendrá la respuesta al final del tercer capítulo (o simplemente observe las declaraciones cond).
- Diferentes tipos de recursión: debo admitir que no sabía esto. Aprendí cola, árbol y recursión lineal. En general, me sentí cómodo trabajando con funciones recursivas y de orden superior mientras trabajaba en los ejercicios.
- ¡El hecho de que los lenguajes de programación no necesitan tener construcciones iterativas! Se pueden simular por recursión de cola.
- El poder de la abstracción y la programación dirigida por datos (que se puede traducir aproximadamente en características como la interfaz y las clases de tipos en otros lenguajes de programación).
- Los autores hablan sobre “construir idiomas sobre otro idioma para controlar la complejidad”. Un ejemplo es el lenguaje de compuerta lógica construido sobre Scheme. Están hablando sobre el uso de lenguajes específicos de dominio y el uso del nivel correcto de abstracciones.
- Programación funcional, modelo de sustitución y transparencia referencial. El modelo donde puede sustituir la función por el cuerpo de la función y verla como una ecuación matemática bajo ciertas condiciones.
- ¿Cómo la mutación complica las cosas y destruye la transparencia referencial? Luego se introduce el modelo de entorno como reemplazo del modelo de sustitución. Una vez que aprendí el modelo de entorno, tenía sentido completamente cómo funciona el sombreado en lenguajes de programación. Además, entendí el concepto de alcance léxico.
- El Capítulo 3 también presenta el paradigma orientado a objetos. Las clases y los objetos se simulan utilizando procedimientos y estados locales. Una vez que haya leído esto, la forma en que funciona la llamada al método, el polimorfismo y la encapsulación tiene sentido. Es posible que haya leído acerca de los objetos que se comunican entre sí al “enviar mensajes”. Puedes verlo claramente.
- Streams y pereza en lenguajes de programación. Estructuras de datos infinitos? ¿Qué? El código de tamiz de Eratóstenes escrito usando secuencias es muy elegante y directo. Me encantó.
- Intérprete: [evaluar y aplicar]. El hecho de que son solo dos funciones recursivas mutuamente dado el árbol de sintaxis abstracta en el nivel conceptual. ¡Okay! Estoy de acuerdo en que lo estoy simplificando un poco. Pero espero que entiendas la idea. Pero los intérpretes reales necesitan tener dos pases o admitir encabezados de función para admitir la recursividad mutua y también incluyen mucha optimización, como la compilación Just In-Time.
El capítulo final trata sobre la compilación en código máquina y aún no lo he revisado. El cuarto capítulo también tiene ejercicios para agregar características al Esquema después de crear un evaluador metacircular, una evaluación no determinista, etc. Espero poder digerirlo algún día.
Finalmente, encontré que la sintaxis de Lisp es simple y hermosa. Hubo algunos ejercicios como construir y agregar características al programa de diferenciación simbólica, escribir un solucionador de rompecabezas N-Queens usando solo funciones como mapear, reducir, filtrar, mapear (y en general, pensar en términos de ellos), escribir un evaluador meta-circular que disfruté mucho
- Cómo comparar dos algoritmos de recomendación en términos de problema de cola larga
- ¿Cuáles son las diferencias entre las estructuras de datos y los algoritmos?
- ¿Cuál es el algoritmo de compresión de texto más utilizado en la industria?
- Quiero comparar una consulta con varios documentos y asignarles una clasificación. ¿Qué algoritmo necesito usar?
- ¿Cómo pruebo que no existen estados recurrentes nulos en un estado finito DTMC (cadena de Markov de tiempo discreto)?
