私たちについて
Who we are
Tokyo Haskell Meetup is a group that meets mostly every month in Tokyo. English is the dominant language and we enjoy casual and lively discussions of Haskell and Functional Languages, (and others including Philosophy, Politics, Business, etc.), while helping each other learn Haskell. Our members proficiency in Haskell is very diverse – from the beginners (such as myself) to the experts.
(excerpted from: https://www.haskell.org/communities/11-2017/html/report.html )
What we do
Meet somewhere in Tokyo to discuss the above topics. The group is quite new and members are quite few, so we are still trying to figure out every one's levels and what people want to focus on in this group. We dont't have a steady location yet so we usually meet in some co-working space.
Group Communication Tools
We have some on-line chat rooms at https://gitter.im/tokyo-haskell-meetup. You can read these without logging in, but to send a message you will need to log in with a GitHub, GitLab or Twitter account.
In addition, there is an experimental Telegram chat room called 'Tokyo Haskell Meetup Scheduling'.
今後のイベント
1
Haskell: DevTools and Generic Hoogle
Imiron office, 2F 12KANDA, 2-3-12 Kanda Sudacho, Chiyoda-ku, Tokyo, 〒101-0041, Tokyo, JPJoin us for an exciting evening of Haskell discussions in Tokyo! We're thrilled to welcome Luite Stegeman and Elliot Potts as speakers.
Talks (English):
The Missing Haskell DevTools
Luite StegemanHaskell has a reputation for "if it compiles, it runs... but it probably still has a space leak." The tools for investigating the runtime behaviour of Haskell programs have always been spartan compared to what's available in environments like .NET, the JVM, or JavaScript.
In this talk we'll look at how Haskell actually works under the hood, compiled code and bytecode, and how this affects the tooling for debugging and profiling. We'll then see what the GHC developers have been doing recently to close the gap. Finally, we'll look at a new tool that brings several runtime-analysis capabilities together under one roof.
Hoogle for the Hungry Masses!
Farhad D. MehtaI would like to introduce myself and talk about some of the work that I have been doing with my team and students in the area of bringing the rigour and elegance of functional programming (FP) and its related areas such as logic and type theory nearer to a larger group of people.
Hoogle is a type-based search engine for Haskell APIs. You give it an approximate type signature, and it will give you all library functions that match this type. Developers who get used to it miss something similar when switching to other programming languages. But non-Haskellers deserve good things too! In this talk, I will introduce and demonstrate TypeSearch, a way to perform type-directed API search that can potentially be used for almost any typed programming language. I will also lift the hood to touch on how this problem was solved in an elegant and language-independent way using inspiration from the Curry-Howard correspondence, and how solving this problem in a more general setting also gives us code synthesis for free.
Attribution: Hoogle is the work of Niel Mitchell. TypeSearch is joint work with Marc Etter.
I will end the talk with some other projects that I am currently working on.
Location:
Hosted by Imiron
12Kanda Building (2nd Floor Communal Area), Kanda, Tokyo.
(Please use the outside stairs to access the second floor.)What to Expect:
- Meeting with fellow Haskell enthusiasts.
- Learn about Haskell's linear types from an expert.
- A welcoming environment for all skill levels.
Join us for an evening of learning, discussion, and community building!
Space is limited, so please RSVP to secure your spot.20 人の参加者
過去のイベント
54
グループのリンク
主催者
メンバー
445
