• Parallel and Concurrent Haskell Reading Group

    Come join us for the Parallel and Concurrent Haskell Reading group! Hosted at the Kadena office located in Brooklyn. Refreshments and pizza will be provided. Ongoing discussions, update, and information about chapter content will be held in the discord: https://discord.gg/8azNpnn

  • Haskell CoHack

    Microsoft Reactor

    Tackle a personal project, ask or answer your Haskell questions, help a newbie get up and running (or get help yourself), or start a new collaboration with other community members. It's up to you. Just bring a laptop and a positive attitude. We strive to be welcoming, supportive, and uplifting, no matter your background or goals. NOTE: You MUST register with a full name to attend. This is required for building security. There is a limited number of spaces available, so please unregister if you cannot come. Rough schedule: * 11:00 - 11:15 Welcome and goal-setting * 11:15 - 12:15 Lightning talks * 12:15 - 4:15 Work time * 4:15 - 5:00 Project sharing and recap To maintain focus, we do ask everyone to state a goal for the session at the start, and reflect on their progress as we finish up. But aside from that, we're pretty laid-back. There's no competition or winners or losers; we are all here to support each other. Lightning talks will be 10 minutes each (including questions, if you leave time for them), with first-come-first-served same day signups. Keep in mind that you will have an audience of varying backgrounds. Power and food will be provided.

  • Parallel and Concurrent Haskell Reading Group

    Come join us for the Parallel and Concurrent Haskell Reading group! Hosted at the Kadena office located in Brooklyn. Refreshments and pizza will be provided. Ongoing discussions, update, and information about chapter content will be held in the discord: https://discord.gg/8azNpnn

  • Toward Efficient Gradual Typing for Structural Types

    Speaker: Deyaaeldeen Almahallawi Abstract: Gradual typing combines static and dynamic typing in the same program. Siek et al. (2015) describe five criteria for gradually typed languages, including type soundness and the gradual guarantee. A significant number of languages have been developed in academia and industry that support some of these criteria (TypeScript, Typed Racket, Safe TypeScript, Transient Reticulated Python, Thorn, etc.), but relatively few support all the criteria (Nom, Gradualtalk, Guarded Reticulated Python). Of those that do, only Nom does so efficiently. The Nom experiment shows that one can achieve efficient gradual typing in languages with only nominal types, but many languages have structural types: function types, tuples, record and object types, generics, etc. In this talk I will present a compiler, named Grift, that addresses the difficult challenge of efficient gradual typing for structural types. The input language includes a selection of popular features: first-class functions, mutable arrays, and recursive types. We show that a close-to-the-metal implementation of run-time casts inspired by Henglein’s coercions eliminates all of the catastrophic slowdowns without introducing significant average-case overhead. As a result, Grift exhibits lower overheads than those of Typed Racket.

  • Parallel and Concurrent Haskell Reading Group

    Come join us for the Parallel and Concurrent Haskell Reading group! Hosted at the Kadena office located in Brooklyn. Refreshments and pizza will be provided. Ongoing discussions, update, and information about chapter content will be held in the discord: https://discord.gg/8azNpnn

  • Parallel and Concurrent Haskell Reading Group

    Come join us for the Parallel and Concurrent Haskell Reading group! Hosted at the Kadena office located in Brooklyn. Refreshments and pizza will be provided. Ongoing discussions, update, and information about chapter content will be held in the discord: https://discord.gg/8azNpnn

  • Parallel and Concurrent Haskell Reading Group

    Come join us for the Parallel and Concurrent Haskell Reading group! Hosted at the Kadena office located in Brooklyn. Refreshments and pizza will be provided. Ongoing discussions, update, and information about chapter content will be held in the discord: https://discord.gg/8azNpnn

  • Parallel and Concurrent Haskell Reading Group

    Come join us for the Parallel and Concurrent Haskell Reading group! Hosted at the Kadena office located in Brooklyn. Refreshments and pizza will be provided. Ongoing discussions, update, and information about chapter content will be held in the discord: https://discord.gg/8azNpnn

  • Haskell CoHack

    Microsoft Reactor

    Tackle a personal project, ask or answer your Haskell questions, help a newbie get up and running (or get help yourself), or start a new collaboration with other community members. It's up to you. Just bring a laptop and a positive attitude. We strive to be welcoming, supportive, and uplifting, no matter your background or goals. NOTE: You MUST register with a full name to attend. This is required for building security. There is a limited number of spaces available, so please unregister if you cannot come. Rough schedule: * 11:00 - 11:15 Welcome and goal-setting * 11:15 - 12:15 Lightning talks * 12:15 - 4:15 Work time * 4:15 - 5:00 Project sharing and recap To maintain focus, we do ask everyone to state a goal for the session at the start, and reflect on their progress as we finish up. But aside from that, we're pretty laid-back. There's no competition or winners or losers; we are all here to support each other. Lightning talks will be 10 minutes each (including questions, if you leave time for them), with first-come-first-served same day signups. Keep in mind that you will have an audience of varying backgrounds. Power and food will be provided.