ООО

LWT 6

ЖДЕМ-С

Состряпал вот такую презентацию.. Если будет интерес, то можно будет записать очередной крутой скринкаст🚬

Опа, он вышел в релиз!
https://github.com/ocsigen/lwt/releases/tag/6.0.0

К слову, оно (intel_hex) теперь доступно для установки через OPAM... Там много, что не сделано, не знаю, когда найду время, желание и силы на все это :<

Ух! OCaml Platforms все хорошеет и хорошеет 🐫

OCaml tips. Работа с байтовыми данными на OCaml

https://ocamlportal.ru/recipes/working-with-bytes.html

Смотреть на ВК видео.
Смотреть на Ютабе.

#ocaml #video #ocamltips #ocamlportal

Внес несколько изменений на ocamlportal.ru: добавил рецепт про ведения пакетa в OPAM, актулизировал инфу про lwt 6, добавил ссылки на коммуните на главную страницу

Там Раст вроде как вышел...

Короче, на Окамле можно писать гуй под МакОсь 🚬

К слову, от меня снова начали отписываться.... По моему это заговор против моей евангелисткой деятельности за Окамл в массы 👀

Добавлена в OPAM библиотека — intel_hex.0.2

Ну там ничего существенного, один фикс и добавлена в доку инфа про выдаваемые исключения

#share

intel_hex.0.3

Много что переделал, стало лучше, добавил поддержку extended адресации

Выпуск Lwt.6.1.0

Крохотный минорный релиз с исправлениями по дата рейсу, установки под виндой и остальным вещам. В ppx расширении теперь нормально указываются аннотаци типов let%lwt x : t = … in …

Что самое интересное, уменьшение происходит и из-за того, что некоторые придурки улетают в черный список, за свой бред в адрес того, что я делаю

Вау, рубисты обновили главную страницу
https://www.ruby-lang.org/en/
Выглядит шикарно

Abstract IO pattern

Хотел бы поговорить про IO, как вы знаете, я написал уже достаточно библиотек на Окамле и всегда, когда приходиться с вводом-выводом сталкиваешься с этим, а именно с тем, что пользователь захочет использовать твою библиотеку в разных средах с разными библиотеками (самый классический пример, он использует Lwt для асинхрощены и ему не прикольно, что твое блокирующие решение станет узким горлом — он хотел бы использовать твою библиотеку в контексте lwt нативно с соответствующей поддержкой асинка, а другой захочется использовать в ее в простом синхронном контексте, а другой вообще обработанный Джейн Стрит использует ее в рамках Async либы.

Неужели придется писать библиотеку для разных библиотек, то есть одно и тоже по сотню раз? Конечно, нет. Тут не долго думая, вы сами придете к мысли, что требуется абстрагирование и тут самым подходящим будет использовать module type. Образцовый пример это библиотека Cohttp.

module type IO = sig
  type 'a t
  and out_channel

  val ( let* ) : 'a t -> ('a -> 'b t) -> 'b t
  val return : 'a -> 'a t
  val stdout : out_channel
  val print_endline : out_channel -> string -> unit t
end

module Sync_impl = struct
  type 'a t = 'a
  and out_channel = Stdlib.out_channel

  let stdout = Stdlib.stdout
  let ( let* ) x f = f x
  let return x = x

  let print_endline oc s =
    let* _ = Out_channel.output_string oc s in
    Out_channel.output_string oc "\n"
end

module Make (IO : IO) = struct
  open IO

  let print_hello_and_bye () =
    let* _ = print_endline stdout "hello" in
    print_endline stdout "bye"
end

module Lib = Make (Sync_impl)

let () = Lib.print_hello_and_bye ()

Добавлена статья (рецепт) про абстрагировании IO при разработке библиотек — это важно обеспечения совместимости с разными IO библиотеками (Stdlib, Lwt, Async, Eio, etc)

https://ocamlportal.ru/recipes/agnostic-io.html

#ocamlportal

Неловкий скринкаст про работу загрузчиков для МК AVR, в видео разбираю написанный мной крохотный загрузчик, из чего он состоит и по какому алгоритму работает.

https://youtu.be/gp72gTeLquM