Haskell IDE team @IdeHaskell
Maintainers and collaborators of haskell-language-server and projects powering it github.com/haskell/haskel… Joined July 2021-
Tweets126
-
Followers504
-
Following14
-
Likes114
Here comes the Summer of #Haskell! We're planning to participate in @GoogleOSS's Summer of Code again this year! If you've any ideas on how #OSS newcomers could improve the ecosystem, please visit: summer.haskell.org/ideas.html We're waiting for your project submissions! #gsoc2022
@istathar we are reviewing the process to get a hls binary which works for TH here: github.com/haskell/haskel… sorry for the inconveniences
Time for a new and exciting release: - It includes three brand new plugins: - Alternate number literals - Qualify imported names - Selection range (aka double click text selection) - Support for ghc 9.2.1 (partial) - Support for ghc 9.0.2 github.com/haskell/haskel…
@cigsender @wenkokke 😅 those things happen for using fancy tui instead good old cli 😝
We have just release 1.6.1.0 This is a bug fix release to restore a fully statically linked haskell-language-server-wrapper executable. * It has been reported here: github.com/haskell/haskel… * And fixed with: github.com/haskell/haskel…
@TechnoEmpress From that issue: "Distributing dynamically linked binaries is complicated because you also need to distribute the Haskell package shared objects and any C dependencies. Moreover, you need to manipulate rpaths or use an LD_LIBRARY_PATH wrapper."
@TechnoEmpress We are afraid it is not, the recommendation is building from source with dynamic linking: haskell-language-server.readthedocs.io/en/latest/trou… We considered it here: github.com/haskell/haskel…
@istathar Some refences: * Note in the troubleshooting guide: haskell-language-server.readthedocs.io/en/latest/trou… * Issue about statically linked binaries: github.com/haskell/haskel… * And github.com/haskell/haskel…
@istathar hls binaries are not fully static and it does not link some system libs, so we can't guarantee th eval will work in all user environments we have lot of issues about th and the usual suggestion has been to build hls from source fully dynamic In this release we add it as an alert
@istathar However it could work in some envs by coincidence so if it was working for you it will continue doing it
Demo for selection range by github.com/kokobd
Demo for qualify imported names by github.com/eddiemundo
But what is Flora? github.com/flora-pm/flora…
💯💯💯 Issue 300 of the #Haskell Weekly newsletter is out now! haskellweekly.news/issue/300.html
I'm very excited to announce that the Haskell Foundation has a DevOps position available, supporting GHC and core open source Haskell projects! Please take a look at haskell.foundation/careers/devops… and spread it around. This position is central in the Haskell ecosystem.
I was finally able to replace ghcid with a decent neovim + haskell-language-server setup and recorded a brief screencast of what it looks like: asciinema.org/a/PpJrWcd55jho…
Released VScode extension preview today. marketplace.visualstudio.com/items?itemName… Collecting feedback here: github.com/visortelle/hac…
Tom Sydney Kerckhove @kerckhove_ts
4K Followers 423 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
Paweł Szulc @EncodePanda
3K Followers 667 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
sara :: panic! (the '... @typed_hole
2K Followers 427 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мову
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #DAML #Haskell #Nix #Elixir #Rust #Agda #ML #AI
piq and 69 others @piq9117
3K Followers 2K Following Building RankRicer • Haskell • Nix • Neovim • Guns
Alejandro Serrano @trupill
4K Followers 477 Following 👨💻 Researcher at Kotlin Evolution Team 🧙♂️ Haskell wizard 📚 Author of 4 books 👨👩👦👦 +1 of @ElenaVielva
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
José A. Alonso @Jose_A_Alonso
5K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Wilfred Hughes @_wilfredh
4K Followers 3K Following Programming language development, human factors, and a healthy dose of Emacs. Also https://t.co/faGheKDz69 and https://t.co/sqqeQ20uHV
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
Barry @chiroptical
541 Followers 269 Following Random functional programming content on https://t.co/JINGR9eNES; senior software engineer at @mercury; @chiroptical.dev on sky site
_lazyLambda @GSprout55299
0 Followers 20 Following CTO AceTalent | Haskell | Nix Youtube: @SimpleHaskell
Lucas von Hartmann @ichbinlucasv
793 Followers 5K Following •Cyber Security Specialist / Ethical Hacker •Science •Tech •✝️ •Libertarian 🟡⚫️
Arya Alurkar @AAlurkar71827
0 Followers 25 Following
SE4FP Workshop @se4fp_workshop
38 Followers 209 Following 2nd Workshop on Software Engineering for Functional Programming (SE4FP) In 2026, SE4FP is co-located with the @congressocbsoft
T L @tu148
26 Followers 963 Following
Emil Lai @milkyway_pirate
0 Followers 51 Following
Lambda Days @LambdaDays
3K Followers 984 Following 📅 Lambda Days will take a break in 2026. Celebrate with us functional languages! 🦋We're on other platforms too📅
Soso Ibn Ben Bakr Rus... @AdArmaCives
1K Followers 5K Following Caucasian. wrightwinger. Georgian Legionaire. Matematician. War veteran. RUST/SCALA/HASKELL/R. Weapons, NRA! 🇬🇪🇳🇵
Yongming Han @yongming_han
31 Followers 2K Following
PatrickWales @patpaterish
13 Followers 160 Following Open source, GHC contributor, Haskell, HLS🐣🐣🐣 Freelancer
facu @__fac___
31 Followers 241 Following
Bukenya Lukman @lukman_bukenya
1K Followers 5K Following Software Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , CB, CC, CV and Compiler Design. Co-host at https://t.co/wEHn6eMryg
Jason Fain @JasonAlvaFain
33 Followers 394 Following Stros, Arsenal FC, Analytics, Data Science, DevOps, 🇵🇸
Albert @greenrangerv0
96 Followers 549 Following Interested in algorithms, data structures, complexity, functional programming and free software supporter.
mrunmai @mrunmai090297
54 Followers 888 Following
Flipstone Technology @flipstonetech
110 Followers 38 Following Technology products to complement your offline world
Yuan Tang 🐍 @futuresbd100
65 Followers 330 Following
awxlong @awxlong
105 Followers 1K Following Junior researcher interested in the consilience of knowledge in artificial intelligence and its applications for healthcare
Nathan Maxson @joyfulmantis
2 Followers 78 Following
spectrumgomas @spectrumgomas
382 Followers 2K Following
Joaquin Silveira @joacodso
40 Followers 146 Following Student, bit of a skater and LOVE music! No more details... :) Ah, and by the way i'm Uruguayan!
Sulofs 🇲🇦 @LahrsNoah
25 Followers 380 Following Web dev. Learning to make music, Game sometimes. Interested in everything computer related
Wiktor Czyż @WiktorCzy5
1 Followers 44 Following
Mitesh @_Mitso_
14 Followers 558 Following
roadside_picnic @poadside_ricnic
9 Followers 2K Following
Dominic Steinitz @idontgetoutmuch
369 Followers 335 Following @[email protected] Functional programming, Haskell, stochastic differential equations, MCMC, Sequential MC, dynamical systems
Rob Rix @rob_rix
4K Followers 816 Following colouring outside the lines increasingly, see at robrix at types dot pl instead
FTS @fishtreesugar
15 Followers 482 Following
usagi_zajec @usagi_zajec
5 Followers 303 Following
Mega @Megamegamium
0 Followers 2K Following
Pedro era o Cão @orlandolopeses
886 Followers 5K Following Trogloditas líricos não levam desafloros pra casa
tobz619 = Tweeter {fN... @tobz619
23 Followers 90 Following My professional Blockchain and Haskell account | Decentralisation is a tool!
OurWorlds @ourmanyorgs
0 Followers 4K Following
Haskell Foundation @haskellfound
5K Followers 59 Following https://t.co/fFbaw17S1M • a non-profit for building the future of Haskell
Haskell @HaskellOrg
13K Followers 65 Following Committed to a welcoming, vibrant & flourishing #Haskell community! Managed by @beatleida & @TechnoEmpress on behalf of the https://t.co/1sy8nTHi9G Committee
The Haskell Interlude @HaskelInterlude
655 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
Alan Zimmerman @alan_zimm
881 Followers 259 Following Long term hacker @[email protected] on fediverse
Michael Peyton-Lebed ... @mpeytonjones
2K Followers 743 Following thread the needle, find the path 🔸10% Pledge #132 with @GivingWhatWeCan
Matthew Pickering to @mpickering_
720 Followers 223 Following
Potato Hatsue @berberman__
126 Followers 551 Following
July541 @JulyTreee
26 Followers 146 Following
pepe Iborra @IborraPepe
579 Followers 433 Following Haskell enabler @Facebook, all views expressed are my own
Neil Mitchell (neildm... @ndm_haskell
5K Followers 163 Following Haskell/Rust programmer. Views expressed are my own.
You might like
