In this talk, Yuchen Pei demonstrates an Emacs package for exploring Haskell code and org documentation generated by a Haddock org backend. Afterwards, he will handle questions via BigBlueButton. The following image shows where the talk is in the schedule for Sat 2022-12-03. Solid lines show talks with Q&A via BigBlueButton. Dashed lines show talks with Q&A via IRC or Etherpad.
Schedule for Saturday Saturday 9:00- 9:05 Saturday opening remarks sat-open 9:05- 9:25 Emacs journalism (or everything's a nail if you hit it with Emacs) journalism 9:45- 9:55 Back to school with Emacs school 10:05-10:15 How to incorporate handwritten notes into Emacs Orgmode handwritten 10:45-11:05 Writing and organizing literature notes for scientific writing science 11:25-11:35 The Emacs Buddy initiative buddy 1:00- 1:20 Attending and organizing Emacs meetups meetups 1:40- 1:55 Linking personal info with Hyperbole implicit buttons buttons 2:15- 2:40 Real estate and Org table formulas realestate 3:00- 3:25 Health data journaling and visualization with Org Mode and gnuplot health 3:45- 4:05 Edit live Jupyter notebook cells with Emacs jupyter 4:50- 4:55 Saturday closing remarks sat-close 10:00-10:15 Tree-sitter beyond syntax highlighting treesitter 10:25-10:45 lsp-bridge: a smooth-as-butter asynchronous LSP client lspbridge 10:55-11:15 asm-blox: a game based on WebAssembly that no one asked for asmblox 11:25-11:35 Emacs should become a Wayland compositor wayland 1:00- 1:25 Using SQLite as a data source: a framework and an example sqlite 1:50- 2:30 Revisiting the anatomy of Emacs mail user agents mail 2:50- 3:10 Maintaining the Maintainers: Attribution as an Economic Model for Open Source maint 3:35- 3:40 Bidirectional links with eev eev 4:05- 4:35 Haskell code exploration with Emacs haskell 9 AM 10 AM 11 AM 12 PM 1 PM 2 PM 3 PM 4 PM 5 PM
[[!toc ]] Format: 30-min talk followed by live Q&A (done) Etherpad: Discuss on IRC: [#emacsconf-dev](https://chat.emacsconf.org/?join=emacsconf,emacsconf-dev) Status: TO_CAPTION_QA
Times in different timezones:
Saturday, Dec 3 2022, ~4:05 PM - 4:35 PM EST (US/Eastern)
which is the same as:
Saturday, Dec 3 2022, ~3:05 PM - 3:35 PM CST (US/Central)
Saturday, Dec 3 2022, ~2:05 PM - 2:35 PM MST (US/Mountain)
Saturday, Dec 3 2022, ~1:05 PM - 1:35 PM PST (US/Pacific)
Saturday, Dec 3 2022, ~9:05 PM - 9:35 PM UTC
Saturday, Dec 3 2022, ~10:05 PM - 10:35 PM CET (Europe/Paris)
Saturday, Dec 3 2022, ~11:05 PM - 11:35 PM EET (Europe/Athens)
Sunday, Dec 4 2022, ~2:35 AM - 3:05 AM IST (Asia/Kolkata)
Sunday, Dec 4 2022, ~5:05 AM - 5:35 AM +08 (Asia/Singapore)
Sunday, Dec 4 2022, ~6:05 AM - 6:35 AM JST (Asia/Tokyo)
Find out how to watch and participate
# Talk
[[!template id="chapters" vidid="haskell-mainVideo" data=""" 00:00.000 What is Haskell? 00:30.520 Parts of a Haskell program 01:33.640 Example of Haskell source code 02:13.400 Writing Haskell like Lisp 02:37.160 What is a code explorer? 03:53.760 Prior art 04:56.240 Haskell mode 05:46.080 Jumping to declarations 06:43.560 Finding references 07:24.840 The Haskell language server 08:20.520 Hoogle and Hackage 08:54.960 Haskell Code Explorer 09:34.600 Demo of Haskell Code Explorer 10:42.080 Learning about monads 12:35.480 Web client 13:39.920 User freedom 14:47.800 hc.el 15:38.560 Demo 16:46.520 Declarations 17:38.920 Finding definitions and references 18:19.160 Eldoc 19:22.360 Searching for identifiers 20:32.560 Help buffer integration 22:01.440 Haddock 23:28.840 Servant 24:30.480 Org 25:50.320 Links 26:19.280 Navigation 28:41.160 Going the other direction """]]
# Q&A
[[!template id="chapters" vidid="haskell-qanda" data=""" 01:42.120 Does it work with offline documentation? 03:50.720 What is the state of integration of Haskell with Emacs in 2022? 09:01.680 Have you tried any projects in literate Haskell? 12:51.360 Is the indexing faster when re-indexing? Would it be too slow to re-index on-demand? """]]
Listen to just the audio:
# Description