Larisa Safina— profesor titular de la Universidad de Innopolis, actualmente recibiendo un doctorado en la Universidad del Sur
Estudia lenguajes de programación como Haskell, Kotlin y otros.
Haskelists, programación funcional y lenguajes populares.
- ¿Qué hiciste exactamente en la magistratura de software de la Universidad Innopolis?
- Era un programa comprado en una universidad.Carnegie Mellon. Se ha formado a lo largo del tiempo e incluye cursos sobre análisis de software, arquitectura y métodos. La parte más importante e interesante comienza con el segundo semestre: los estudiantes se dividen en equipos y trabajan en proyectos reales. Finalmente, nuestra efectividad fue evaluada por la forma en que manejamos este proyecto.
— ¿Cuál fue tu proyecto?
— Trabajamos para Rusnano y nuestro proyecto fuecontrol remoto de la iluminación en algunas ciudades: encendido de la iluminación según un horario. Tenían una solución antigua, pero querían cambiar a una nueva.
En este proyecto, todos hicieron todo, era importante queTodos intentaron algún papel. Por supuesto, algunas personas tienen una tendencia a una, otras tienen otra. Pero en nuestro proyecto, todos logramos hacer un código, trabajar los requisitos, las pruebas e incluso la arquitectura. Este es el objetivo principal de tales proyectos.
- Se volvió interesante con qué idiomas trabajas.
— Durante mis estudios y trabajo, tuve quetrabajar con múltiples idiomas. Actualmente, por ejemplo, estoy escribiendo en Kotlin. Me gusta más. Pero escribimos el proyecto con Rusnano principalmente en C#. Muy a menudo tengo que lidiar con Java, siendo tester, escribí pruebas en Python, Java, C#. Para mi propio placer, a menudo estudio lenguajes de programación funcionales, por ejemplo, Haskell, y lenguajes formales, por ejemplo, para demostrar teoremas, Coq.
Programacion funcionales un paradigma de programación en el que el procesolos cálculos se interpretan como el cálculo de los valores de funciones en el sentido matemático de estas últimas (a diferencia de funciones como subrutinas en la programación de procedimientos).
Haskell- lenguaje funcional puro estandarizadoprogramación de propósito general. Es uno de los lenguajes de programación más comunes con soporte para computación diferida. Dado que el lenguaje es funcional, la principal estructura de control es una función.
Coq- herramienta de software interactivaPruebas de teoremas utilizando nuestro propio lenguaje de programación funcional (Gallina) con tipos dependientes. Le permite escribir teoremas matemáticos y sus demostraciones, modificarlos cómodamente y comprobar su corrección. Coq se utiliza para la verificación del programa.
Lenguaje formal- en lógica matemática e informática -un conjunto de palabras finitas (cuerdas, cadenas) sobre un alfabeto finito. El concepto de lenguaje se utiliza con mayor frecuencia en la teoría de los autómatas, la teoría de la computabilidad y la teoría de los algoritmos. La teoría científica que se ocupa de este objeto se llama teoría de los lenguajes formales.
— Todo esto suena genial, pero estos lenguajes no se utilizan actualmente en proyectos reales; Haskell, por ejemplo, rara vez se utiliza, aunque no recuerdo ningún proyecto que lo haya utilizado.
- Probablemente no estoy de acuerdo contigo.Por ejemplo, Haskell se utiliza en producción. Sí, no muy a menudo, pero no porque sea un mal lenguaje, sino porque es bastante difícil formar un equipo de Haskellistas. Sin embargo, conozco gente que trabaja con Haskell en producción. Sólo lo hago por mi propio placer. No he visto otros lenguajes funcionales en producción, pero es bueno entenderlos para el desarrollo general. En cuanto a los lenguajes para demostrar teoremas, en el mundo académico, si estás en este tema en particular, se utilizan con bastante frecuencia.
- Pero se utilizan específicamente para matemáticas.modelar y demostrar teoremas; en otras palabras, con fines científicos. Si nos fijamos en las vacantes, los Haskellists prácticamente no son necesarios en ninguna parte; todos quieren C+, Java, Python, Ruby, Go o incluso van al front-end, respectivamente: JavaScript. Pero conocer a los Haskelistas es una historia realmente sorprendente.
— Digamos que ayudan a formalizaralgunas cosas que se pueden ver en la realidad. De los lenguajes de demostración de teoremas a Haskell, en principio, no hay mucha distancia, y de Haskell a la industria también está a tiro de piedra. Es decir, no todo es tan malo e inútil.
Probablemente todo esto tenga que ver con el entorno en el que me encuentro. Y esto no me parece muy raro.
Dinamarca, doctorado y microservicios.
— ¿Por qué entonces estos idiomas no son populares en el resto del mundo? ¿Y por qué te resultan interesantes?
- Básicamente, porque no hay una necesidad urgente.usalos, usalos a ellos. Si es posible resolver un problema de una manera más sencilla, si no es súper crítico, y si no es algún tipo de sistema Boeing, y puedes arreglártelas con armas más pequeñas, entonces se eligen otros lenguajes. ¿Por qué me gustan? No lo sé. ¿Te gusta algo: flores, libros, gatos? ¿Por qué te gustan los gatos?
- Sellos a todos les gusta. Me gusta lo que obtienes en Dinamarca PhD. ¿Cómo llegaste después de Innopolis?
- Cuando estudié en una magistratura, excepto la principal.Cursos que tuvimos que tomar elektivy. Y una de las optativas que tomé estaba relacionada con el tema de los microservicios, o más precisamente con el lenguaje de programación de microservicios: Jolie. Su autor está trabajando actualmente en Dinamarca. Mi tarea consistía en realizar cambios, refinar e implementar uno de los posibles operadores.
Barra lateral
Cuando conseguí un trabajo en la Universidad de Innopolis ya estabatrabajo, el jefe me preguntó qué quería hacer y mi respuesta fue obtener un doctorado. En ese momento surgió la oportunidad de convertirse en candidato a un título académico de ese profesor de Dinamarca, el inventor del idioma Jolie. Por ello, organizamos un doctorado conjunto entre la Universidad de Innopolis y una universidad danesa, la Universidad del Sur de Dinamarca.
- ¿Qué estás investigando exactamente en Dinamarca?
- En Dinamarca, estamos trabajando en un proyecto, élligeramente asociado con microservicios y, en principio, con la interacción de elementos dentro de sistemas distribuidos. Mis líderes científicos propusieron la formalización, una especificación global para microservicios. Mostraron que puede mostrar una especificación para cada elemento.
Podemos usarlo si lo tenemos.algún tipo de sistema de elementos que interactúan. Si podemos derivar una especificación general del comportamiento de todos los elementos sin un orquestador (sin algún nodo que controle a todos los demás), entonces podemos derivar una especificación para cada nodo a partir de él, y viceversa. De esta forma nos protegemos de errores, ya que si hiciéramos una especificación para cada nodo por separado, luego podríamos encontrarnos con problemas con su interacción.
Universidad del Sur de Dinamarca. Foto: ricochet64/Shutterstock
Imagina el escenario:desea enviar dinero a un banco, que debe transferirlo a otro. Y escribiste una especificación para un banco que los transfiere al segundo banco, y en el segundo olvidaste decir que debería recibir algo. Y por tanto tu transferencia nunca llegará al destinatario. Una vez que tengas una descripción global de este sistema, especificando todos los roles y acciones que debe realizar cada uno de los participantes, podrás derivar una especificación del comportamiento de cada uno de los participantes, y así protegerte de tal problema.
Mis supervisores formalizaron esto,escribiendo dos lenguajes teóricos para describir el modelo global de nodos y el comportamiento de un nodo específico. Mi tarea es implementar y probar, para mostrar qué tan efectivo es el modelo propuesto en comparación con otros.
¿Por qué subvenciones para mujeres? Es una pena.
— Cuando escribí que quería hablar contigo sobre TI y las mujeres, dijiste que no sería muy fácil hablar de ello, pero que estabas dispuesto a expresarlo. ¿Por qué tienes esta opinión?
— Creo que este es un tema bastante delicado.Y me preguntaba si valía la pena hablar de esto y revolver el avispero. Porque, de verdad, es como caminar por un campo minado. No importa lo que digas, alguien se ofenderá y algunos pensarán que estás hablando de algún tipo de herejía salvaje.
- ¿Por qué piensas eso?
— En principio, a menudo veo reacciones diferentes de la gente ante estas preguntas. Estos temas se discuten a menudo. Y veo diversidad de opiniones.
— Cuando fuiste a la Universidad de Kazán a estudiar la especialidad masculina, ¿ya no se consideraba una especialidad masculina?
- Sí, no entiendo de dónde viene la opinión, que se trata de una especialidad masculina. Teníamos alrededor del 50% de las niñas en el VIC (en la Universidad de Kazan - "Alta tecnología").
- Y cuando te fuiste, ¿hubo una diferencia de actitud hacia lo que estás haciendo en Dinamarca y en Rusia?
- Nunca he experimentado serde alguna manera menospreciado por motivos de género. Si quiere decir si alguien aquí en Dinamarca me ha dicho que soy un especialista masculino, entonces no. Pero la diferencia es que aquí realmente quieren que haya más mujeres tanto en TI como en el mundo académico. Y no sólo quieren, toman algunas medidas y, a veces, desde mi punto de vista, hacen incluso más de lo necesario y de lo que vale la pena.
- ¿Y qué medidas se toman?
- Bueno, de lo que es, por ejemplo, estos sonProgramación sólo para mujeres. Un colega dijo que esto es una herejía y esto solo crea segregación entre los programadores hombres y mujeres. Estuve de acuerdo con este enfoque, pero el organizador del curso se sorprendió un poco. Y después de un rato pregunté cómo iban estos cursos. Y resultó que muchas chicas vinieron allí, para muchas había una diferencia: ir solo en una compañía femenina o mixta. Muchos querían ir puramente en la hembra, la diferencia era visualmente palpable, no fue un accidente. Y me di cuenta de que si no veía este problema, al estar en mi torre de marfil, no notaba que las chicas pudieran sentirse avergonzadas o que, por algún motivo, no querían relacionarse con los jóvenes, esto no significa que no haya ningún problema.
Barra lateral
Y en cuanto a otras cosas que son diferentes enEn Europa y Rusia, en términos de atraer diligentemente a las mujeres, existe una cuota. Se podrán reservar plazas, por ejemplo becas, específicamente para mujeres. Y esto, desde mi punto de vista, crea una tendencia no muy buena, porque a menudo las mujeres que obtienen estos lugares no siempre saben si los obtuvieron porque ellas mismas son geniales, hicieron algo muy genial o los obtuvieron porque alguien Decidió que no había suficientes mujeres en esta zona. Esta es la otra cara de la moneda. Hay un efecto positivo: recibió una subvención y un efecto negativo: la razón por la que la recibió.
— ¿Te gustaría recibir algún día una beca por ser mujer?
"En general, creo que es bastante ofensivo". (Risas)
— ¿Es una pena recibir una beca por ser mujer y no por ser una buena especialista?
- Sí, porque esto sugiere que no fue mi trabajo el que se evaluó, sino mi género.
— ¿Crees que alguna vez, en Rusia o Dinamarca, tu trabajo ha sido evaluado precisamente por ser mujer, o la valoración de tu trabajo por parte de las personas que te rodean ha cambiado porque eres mujer?
- Sabes, de alguna manera, como recuerdo, no tuve que lidiar con esto. Tal vez sea ingenuo y no sepa que esto estaba pasando, pero nadie me dijo: "Esto es bueno para una niña".
Discriminación positiva, decreto para hombres y estereotipos no asesinos.
— ¿Cómo reaccionaron tus padres ante tu elección de carrera? ¿Positivamente? ¿O tenían alguna visión diferente de lo que deberías hacer?
— En realidad, cuando estaba en la escuela, despuésDespués de graduarme, quería estudiar idiomas, pero mis padres me sugirieron que eligiera matemáticas y programación, porque ellos mismos veían los idiomas como una herramienta que se podía aprender más tarde, y las matemáticas y la programación como algo más fundamental. Es curioso cuántos científicos tratan las matemáticas como una herramienta.
Y para ser honesto, siempre me he preguntado por quéHay una especie de aura malsana de complejidad en las especialidades técnicas. Creo que esto es deshonesto y simplemente asusta a las chicas. Por ejemplo, nunca he oído a chicas que quieren estudiar lingüística que les digan: “¡Oh, ahí está la gramática histórica, es tan difícil!” O a las chicas que querían ser arquitectas les dijeron: “Oh, allí también tendrás que trabajar mucho en la resistencia de los materiales”. Ahora puedo confundir, más bien, a las chicas ingenieras, o que les guste la anatomía con los médicos. Pero por alguna razón son precisamente las ciencias técnicas las que tienen esto.
- Soy de San Petersburgo, y muy a menudo escuché: para quién estudié, para quién trabajé o en lo que estaba interesado no es para una mujer. Y mis amigos dijeron lo mismo si de repente estuvieran interesados en las matemáticas, la programación o la ciencia.
— Me parece que, por el contrario, en nuestra regiónmás patriarcal que el tuyo, así que por supuesto que me sorprende. Creo que tiene algo que ver con el entorno específico. Quizás en mi juventud... no, no puedo decir que tuve suerte, en la universidad me trataron como debía ser. Pero, por ejemplo, conducir. Nunca había recibido tantos insultos por motivos de género como mientras conducía. A pesar de que esto no tiene absolutamente ningún fundamento. Por eso, sé que existen estereotipos imposibles de eliminar y muchas mujeres los enfrentan. ¿Por qué no los encontré en términos de trabajo? Probablemente porque estaba rodeado de personas ajenas al entorno para quienes esto sería normal.
— ¿Cuáles son las opiniones de sus colegas daneses? Resulta que si participan en iniciativas, por ejemplo cursos para mujeres, ven este problema.
- Sí definitivamente.A veces discutimos estos temas, como en los cursos. O, por ejemplo, creo que no es del todo justo que una mujer pierda a menudo una determinada cantidad de tiempo mientras está de baja para cuidar a un hijo. En términos generales, pierde un año de experiencia. En Dinamarca existe la solución de que un hombre pueda obtener los mismos seis meses de baja por maternidad que una mujer si así lo desea. Si él no los toma, entonces la mujer no puede tomarlos. Y simplemente se queman.
— Sólo hay un año de baja por maternidad, del cual¿Es responsabilidad del hombre pasar seis meses y de la mujer seis meses? Y si un hombre no quiere gastarlos, entonces, en consecuencia, la mujer se queda de baja por maternidad durante seis meses y luego vuelve a trabajar, ¿entendí bien?
- Por lo que recuerdo, sí. El punto es que un hombre no está obligado a irse de licencia por un hijo, pero esta vez no puede ser usado por una mujer. Es decir, evita tales situaciones que solo una mujer estará de baja por maternidad. Aquí o te pasas estos mismos medio año, o no. Creo que esta es una muy buena idea.
Barra lateral
— Y a aquellas personas que tuvieron la idea de crear cursos para mujeres, les hablaste sobre la discriminación positiva. ¿Entiendo correctamente que estos son hombres?
— Mi colega, el organizador de estos cursos paramujeres, no enseñaban allí, porque para crear un ambiente cómodo en estos cursos no debería haber profesores varones. En general sí, son hombres, claro.
— Si en Rusia las personas que se preocupan por la discriminación contra las mujeres son las mujeres, precisamente en su ejemplo de la universidad de Dinamarca no sólo se preocupan las mujeres, sino también los hombres.
- Bueno, no antes, pero también. Y creo que eso es bastante normal.
- Para Rusia, esto es absolutamente anormal, porque hemos desarrollado una actitud extraña en este sentido.
— Ya sabes, el problema con el tema de género es queConocemos algunos casos especiales y no tenemos un panorama general. Tengo la sensación de que en Rusia no todo es tan brillante a este respecto. Aunque una colega que organiza cursos para mujeres cree que en Rusia y en los países de la antigua URSS esto es mucho mejor. Porque la mayoría de las programadoras que conoce provienen de la ex Unión Soviética. Porque aquí se considera normal, en su opinión, ir a estudiar para ser programador, pero aquí hay que hacer esfuerzos para atraer chicas.
— ¿Quizás el problema es que las programadoras de los países de la CEI están huyendo de los países de la CEI?
- Bueno, sin embargo, existen.Y no son sólo las mujeres las que huyen. En cuanto a la situación extrema de este joven, olvidé mencionarlo. Dije que pensaba que era injusto que una mujer perdiera un año de experiencia y luego tuviera que hacer el mismo nivel de trabajo porque necesitaba seguir compitiendo en la profesión. Al mismo tiempo, elegí un doctorado para mí, no para mi familia. A lo que mi colega respondió: “Al menos tienes una opción”. Es decir, puedes elegir un trabajo si quieres, o puedes elegir una familia si quieres. Pero muchas veces esta opción no está disponible. Se supone que el objetivo principal de una mujer es formar una familia, tener hijos, alimentarla, etc.
- ¿No tiene la sensación de que tales cursos son "bolígrafos para mujeres"?
"Para ser honesto, todavía lo pienso un poco".Más precisamente, si funciona para alguien, entonces es genial y bueno. Pero yo mismo no me sentiría muy cómodo. No creo que sea una idea genial, sigue siendo una especie de aislamiento.
- Entiendo correctamente:Debido a que originalmente estaba en un ambiente científico, ¿no nota problemas de actitud entre los científicos? Porque el propio entorno intelectual y cultural supone que lo principal no es quién es la persona, sino lo que hizo.
— Quizás este entorno requiera que te calles.Mantén la boca cerrada y no digas cosas desagradables a otras personas, tal vez ella sea realmente inteligente. Difícil de decir. Pero sí, cuando digo que estoy en mi torre de marfil lo que quiero decir es que estoy un tanto desconectado de la realidad cotidiana.
"Escupe a todos y ve a conquistar".
— ¿Quieres seguir estudiando e investigando en el futuro?
"Es como el Plan A." Es decir, no es un hecho que siempre podré obtener una posición que me interese en la academia, pero como plan “B” es regresar a la industria.
- ¿Notan una diferencia en la calidad de la educación entre la Universidad Innopolis y la Universidad de Dinamarca? No se trata de cuál está desactualizado, sino de la diferencia en los enfoques de la educación.
- En Dinamarca, no estoy tan familiarizado con el sistema.enseñanza El curso que enseñé en Dinamarca fue bastante inusual para las universidades rusas, creo, pero decir que debería estar en todas partes o, por el contrario, que no debería estar en ninguna parte, no puedo.
Barra lateral
Si hablas brevemente sobre este curso, élLlamado el "Proyecto del primer año de estudio" en el que los mentores dan tareas interesantes. Los estudiantes en grupos pueden elegir en cuál de ellos quieren trabajar. El mentor ayuda a encontrar la dirección correcta para resolver el problema. El propósito del curso es enseñar a los estudiantes de primer año a estudiar, resolver problemas, trabajar en equipo y hacer una buena presentación. En la Universidad de Innopolis, hay algo similar al segundo año, pero no lo enseñé. En KSU, había una escuela más clásica, pero era posible elegir a los jóvenes elegidos alegres.
— ¿Qué les puedes decir a las chicas que están en una situación diferente, a las que les dicen que las matemáticas y la programación no son asunto de mujeres, pero quieren dedicarse a las ciencias?
— Cuando hablamos de chicas que quierenSi nos adentramos en programación y especialidades técnicas, lo más probable es que estemos hablando de adolescentes. Se trata todavía de una persona muy joven sobre la que se puede influir. Por supuesto, no es muy saludable que las niñas tengan que escuchar semejantes tonterías con estereotipos. Si una persona tiene la capacidad, le aconsejaría que no escuche a los demás, sino que se dedique a las matemáticas y la programación.
Pero a veces hay una situación en la queRealmente puede que no sea el suyo, y esto se aplica no sólo a las ciencias técnicas. Por ejemplo, una persona quiere ir a la escuela de arte, pero no dibuja muy bien. Le costará estudiar, aunque quizás logre ponerse al día. Pero a veces es más honesto decir que no es lo tuyo, y tal vez sea mejor no sufrir y hacer otra cosa. De una forma u otra, vale la pena evaluar adecuadamente estas frases, que a menudo abusan del “aura de misterio” de las ciencias técnicas. Por tanto, escupe a todos y ve a conquistar.