Реализация расширения Active Patterns для языка OCaml
#БлогкомпанииОбразовательныепроектыJetBrains #Программирование #ocaml #activepatterns #patternmatching IV
https://habr.com/ru/post/522076/
#БлогкомпанииОбразовательныепроектыJetBrains #Программирование #ocaml #activepatterns #patternmatching IV
https://habr.com/ru/post/522076/
t.me
Реализация расширения Active Patterns для языка OCaml
О проекте Весной 2020 года в рамках весенней практики в Computer Science Center я занимался разработкой новой конструкции для языка программирования OCaml под чу...
Let vs where в Ocaml/Haskell
#Haskell #Функциональноепрограммирование #ocaml #let #where IV
https://habr.com/ru/post/547204/
#Haskell #Функциональноепрограммирование #ocaml #let #where IV
https://habr.com/ru/post/547204/
t.me
Let vs where в Ocaml/Haskell
Языки Ocaml и Haskell ведут родословную из языка ISWIM, описанного в знаменитой статье Питера Лендина "The next 700 programming languages". В ней автор, отталкив...
[Перевод] Пишем эмулятор Game Boy на OCaml
#Программирование #Разработкаигр #Игрыиигровыеконсоли #ocaml #gameboy #эмуляторы #эмуляторыконсолей IV
https://habr.com/ru/post/645237/
#Программирование #Разработкаигр #Игрыиигровыеконсоли #ocaml #gameboy #эмуляторы #эмуляторыконсолей IV
https://habr.com/ru/post/645237/
Хабр
Пишем эмулятор Game Boy на OCaml
Введение
Последние несколько месяцев я работал над проектом под названием CAMLBOY — эмулятором Game Boy, написанным на OCaml, который работает в браузере. Протестировать его можно на следующей...
Последние несколько месяцев я работал над проектом под названием CAMLBOY — эмулятором Game Boy, написанным на OCaml, который работает в браузере. Протестировать его можно на следующей...
Формальная верификация кода на Coq: тактики
#Функциональноепрограммирование #Coq #OCaml #formalverification #формальнаяверификация #proofengineer #пруфинженер IV
https://habr.com/ru/articles/748720/
#Функциональноепрограммирование #Coq #OCaml #formalverification #формальнаяверификация #proofengineer #пруфинженер IV
https://habr.com/ru/articles/748720/
Хабр
Формальная верификация кода на Coq: тактики
Данная статья является переводом моей статьи: Formalization of code in Coq - tactics , написанной в период работы над проектом coq-tezos-of-ocaml. Суть проекта: часть исходного кода протокола...
[Перевод] Языки программирования, взорвавшие мой мозг
#turbopascal #basic #ocaml #opalanf #erlang #rust #prolog
https://habr.com/ru/companies/ruvds/articles/856496/
#turbopascal #basic #ocaml #opalanf #erlang #rust #prolog
https://habr.com/ru/companies/ruvds/articles/856496/
Хабр
Языки программирования, взорвавшие мой мозг
Я программирую с восьми лет, и основную часть жизни был разработчиком в том или ином качестве. На протяжении своей жизни кодера, как любителя, так и профессионала, я изучил множество языков...