Utolsó compiler meeting idén

[Daniel Berenyi]

Sziasztok!

Ma délután 4-kor tartjuk az idei utolsó compiler szemináriumot, itt:
https://meet.google.com/bvq-koox-fpp

D.

[Kéri Kálmán]

Sziasztok!

Lehet, hogy késni fogok, de szeretnék én is csatlakozni.

Üdv:

K.

--
Azért kapta ezt az üzenetet, mert feliratkozott a Google Csoportok „compiler-seminar-budapest” csoportjára.
Az erről a csoportról és az ahhoz kapcsolódó e-mailekről való leiratkozáshoz küldjön egy e-amailt a(z) compiler-seminar-b...@googlegroups.com címre.
Ha szeretné megtekinteni ezt a beszélgetést az interneten, látogasson el ide: https://groups.google.com/d/msgid/compiler-seminar-budapest/CABmfui2tgD5zXy-ZO-_DjxRekXh4XZysnE5Rkfq2dHuGiGTyeA%40mail.gmail.com.

[Daniel Berenyi]

Sziasztok!

Ma az alábbiak kerültek be a chat-be.

Találkozunk jövőre, majd e-mailben egyeztetjük a részleteket.

üdv,

D.

----------------------------------

Gábor Lehel
ez egy jó cikk volt a különböző stack/continuation implementációk összehasonlításáról: http://manticore.cs.uchicago.edu/papers/pldi20-stacks-n-conts.pdf

Balazs Komuves
szoval itt ugy latom hogy csak haskell-bol van vagy 20 implementacio, meg javascript-bol 10, meg scheme-bol 30, stb :)
http://minikanren.org/

illetve arra a kerdesre, hogy ez hogyan viszonyul a prologhoz: http://minikanren.org/minikanren-and-prolog.html

Kálmán Kéri
https://kangax.github.io/compat-table/es6/

Whisperity Dypertkova
https://aras-p.info/blog/2018/12/28/Modern-C-Lamentations/

https://github.com/microsoft/checkedc

Balazs Komuves
http://goto.ucsd.edu/~rjhala/papers/csolve_verifying_c_with_liquid_types.pdf

http://goto.ucsd.edu/~rjhala/liquid/low_level_liquid_types.pdf

Whisperity Dypertkova
template<typename T>
concept Hashable = requires(T a) {
    { std::hash<T>{}(a) } -> std::convertible_to<std::size_t>;
};

namespace std { template <> struct hash<Kiskutya> { size_t operator()(Kiskutya K) { ... } }; }
template <class T>
concept Integral = std::is_integral<T>::value;
template <class T>
concept SignedIntegral = Integral<T> && std::is_signed<T>::value;
template <class T>
concept UnsignedIntegral = Integral<T> && !SignedIntegral<T>;

consteval bool Integral(Type T) { ... }

if constexpr ( std::is_same< std::hash<T>{}(std::declval<T>()), std::size_t>::value ) { // kód ha hashelhető } else { // kód ha nem }


Csaba Hruska
innen izles szerint:
http://www.ats-lang.org/Documents.html