1. Куча / Говнокод #27377

    +1

    1. 01
    2. 02
    3. 03
    4. 04
    5. 05
    6. 06
    7. 07
    8. 08
    9. 09
    10. 10
    11. 11
    12. 12
    13. 13
    14. 14
    15. 15
    16. 16
    17. 17
    18. 18
    %% This function is needed as a hack to guide dialyzer into inferring
%% the correct types.
-spec id(A) -> A.
id(A) ->
  A.

%% Где-то в header'е....

-define(deftarget(RECIPE), {RECIPE, fun my_module:id/1}).

%% A horrible, horrible hack to make Dialyzer infer right type of the promise return value
-define(want(TARGET),
        (fun() ->
             case TARGET of
               {_, ___IAmSorryYouHaveToSeeThisWorkaroundForDialyzer} ->
                 ___IAmSorryYouHaveToSeeThisWorkaroundForDialyzer(my_module:want(TARGET))
             end
         end)()).

    Пути статический типизации в Erlang неисповедимы.

    Запостил: CHayT, 26 Апреля 2021

    Комментарии (3) RSS

    • ava CHayT 26.04.2021 13:54 # 0

      SEO: Запинываем Dialyzer, чтобы он проверил параметризованный тип.
      Ответить

    • ava CHayT 26.04.2021 13:55 # 0

      P.S. Самый интересный кусок забыл:
      -type target(A) :: {recipe(), fun((A) -> A)}.
      Ответить

    • ava PolinaAksenova 29.04.2021 14:56 # +1

      То ли дело C++!
      template<typename T, typename F>
struct Promise {
    Promise(const F & func) : f(func) {}

    T resolve()
    {
        return f();
    }

    F f;
};

template<typename F>
Promise(const F & func) -> Promise<decltype(func()), F>;

int main()
{
    auto promise = Promise([]() { return 16.1f; });
    auto result = promise.resolve();
    static_assert(std::is_same_v<decltype(result), float>);

    std::cout << "result == " << result << std::endl;
}
      Ответить

    Добавить комментарий