Ur, which is reportedly very fast, is a language targeted at full-stack web work. It doesn't provide "full" dependent types, but it provides a few important cases of "types with dependency" (my terminology, not theirs) especially geared for the needs of integrated well-typed code all the way through the stack from DB to web.
http://www.impredicative.com/ur/
I don't think it has a lot of widespread usage, but I do know a significant portion of https://bazqux.com/ is written in it, and bazqux is a very fine google-reader like rss reader which works very efficiently.
(If I recall, the frontend of bazqux is all ur, and the backend process that does feed fetching is straight Haskell).
A nice application that was created with a combination of UR/Web and Haskell is BazQux Reader, a replacement for Google Reader that I've been using for a while.
There was nice article in /r/haskell a while back that's definitely worth reading.
After trying several feed readers I've moved to Bazqux a few years ago and I couldn't be happier. Similar interface, no BS, it just works.
Not free, but the price is super reasonable IMO. And the developer is super helpful if you ever have any issue.
The real problem is that more and more "new" blogs and sites don't even have RSS feeds anymore...
Interactive Haskell applications:
Haskell tools:
If you include Erlang, Lisp, and other FP languages, you get quite a bit more tools, too.
Shameless plug. Try BazQux Reader. It supports Twitter and Instagram directly (as well as FB/G+/VK). So you could read them in fine format (no giant subjects duplicating message text, user avatars, videos and so on). It's paid reader though.
Hatte dasselbe Problem und war genervt dass Feedly partout einige feeds nicht importieren oder updaten wollte. Ich bin letztendlich bei Goodnews gelandet, das hat wie ich finde eine sehr übersichtliche Struktur und gute Darstellungsmöglichkeiten.
Alternativen wären noch:
Try BazQux Reader — it supports both RSS feeds (including those from Google alerts) and social media (Twitter, Facebook, YouTube, Telegram). I'm developer so you could ask me if you have any questions related to BazQux.
The point isn't that feedly is or is not good. It is that the pseudo-mainstream RSS reader went away. Also, people just go to FB and forgot websites existed.
I use BazQux. https://bazqux.com/
Also, a more scalable, less ad-filled alternative: get kowainik's blog added to Planet Haskell, and subscribe to PH's feed with your favourite feed reader.
BazQux Reader shows comments for Reddit (and other blogs that support comment feeds) posts right in the reader and tracks what comments were read.
You could use expanded view mode to automatically show you new comments from feed (good for low volume feeds where you read everything, you can click "ignore" to not see new comments on uninteresting posts). Or you could tag post that you want to monitor and set tag view mode to expanded (good for high volume feeds where you don't read every comment).
BazQux Reader (I'm developer) supports reading of Facebook public pages and it shows videos.
Inoreader may work too.
Both are paid options. BazQux offers free 30 day trial, InoReader seems to offer free trial too.
BazQux Reader has mosaic and magazine view modes.
And you can set view modes separately (e.g. list view for high volume feeds, mosaic for photoblogs, expanded for must read blogs) and then read all your blogs in one stream in mixed view mode.
BazQux Reader has filters which you could apply to feeds so they will show only specific keywords
https://blog.bazqux.com/2014/04/filters-and-smart-streams.html
For multiple keywords you could use keyword1 OR keyword2
syntax.
Then you could use FeedMe app on Android and it will sync only filtered results. Or better just use website (perhaps added to home screen) since BazQux Reader has very nice mobile web interface (disclaimer: I'm developer, but many people really prefer it to apps)
BazQux Reader supports Telegram channels directly. But it's paid reader.
News+ (which is discontinued, btw) supports BazQux Reader too, although many people prefer mobile web interface (you could add site to home screen and it will work mostly like app). If you need offline you could try FeedMe app which is actively developed.
BazQux Reader (not free, has free trial) could do this with filters: https://blog.bazqux.com/2014/04/filters-and-smart-streams.html
Subscribe to sites you want to monitor, search for keywords you'd like to see, click "New filter" and then "Show found items only".
Or you could create a "Smart stream" -- separate feed with your search results that will update automatically whenever a new article with your keywords is published.
BazQux Reader checks almost everywhere (I'm developer).
There is no time limit on unread articles but there is a limit on total articles per feed. So you can't have more than 500 articles per feed unread or not.
On Android (or iOS) I would recommend to just add site to home screen. It will behave mostly like app (and you could use 3rd party client FeedMe if you need offline; not sure whether it accessible without Play Store).
All other features are here.
inoreader has been one of my favorite last 3 years but since they changed the plans, its useless now... waiting for the subscription to expire. i tried TTRSS, but its not polished and its filter is hit or miss, maybe i have to configure it better. i shortlisted few, am ready to try if anyone have more suggestion * https://feeder.co (this looks promising, but no inbuilt twitter support as inoreader) * https://aktu.io (stumbled on this one recently ) * https://bazqux.com (cant create login unless ready to use google/FB login... so its no go)
BazQux Reader (I'm developer). Paid only, refresh rate does not depend on feed popularity.
It has nice app-like web interface so you could just add it to home screen and use it like app without need for sync. For offline you could use FeedMe app.
Can’t recommend BazQux Reader enough. I’ve been using it for nearly 6 years now. It’s a web app and works brilliantly on desktop and mobile. It recently received a bit of an update which is covered in the latest blog post - BazQux Blog.
With regards to full article reading within the app there is a button on each article which will retrieve the full text. There is also an option to create a feed that auto pulls in the full article. Scroll to “Five Filters Full-Text RSS service” on the blog post.
Finally, the customer support is really good as well. u/vshabanov is the developer and I’m sure he would answer any questions you have.
I agree with TheLantean. Facebook does not want you to access them without tracking.
They have strong rate limits and only allows verified businesses to access their Public Page API. So, I'm afraid, you'll need to pay for this. You could try my BazQux Reader or Inoreader.
Most readers do not allow unlimited free feeds now (Feedly, The Old Reader, Newsblur, g2reader -- all limit number of feeds in their free tier). There is (feeder.co)[https://feeder.co] that seems to not have a limit at the moment but it has quite limited feature set and seems to be more focused on notifications and browser extensions than on regular feed reading. And (kouio)[https://kouio.com] seems to have unlimited feeds but I'm not sure whether project is still alive.
If you're looking for paid reader check my (BazQux Reader)[https://bazqux.com], it has a lot of features, and costs slightly less than other readers. It has 3000 feeds limit though.
I will shamelessly suggest my BazQux Reader, it's paid but fetches feeds fast. If feed is often refreshed it could fetch it every 15-30minutes if it's rarely updated it will fetch less often -- 1-2 hours, or 3+ hours if it's more than a month old.
If you like to use Reddit feeds then both Feedly and Inoreader won't cut since Reddit has quite strong rate limits and free readers with millions of users have too many Reddit feeds to update them in time.
Shameless plug, you could try BazQux Reader, it's not free but it's fast, clean (not as bloated as Inoreader), has search/filters, working Reddit feeds, can subscribe to Twitter/Instagram/FB/G+ and even shows comments on some feeds.
You could try BazQux Reader (disclaimer -- I'm developer). It deals with Reddit using Reddit API and shows embedded videos/slides/anything, keeps items looking in Reddit style and shows comments to items.
BazQux is a fantastic lesser-known RSS reading service. Real nice compact list view with keyboard shortcuts that mimick Google's, keyword filters, export any tag as an RSS feed, and really fast support the one time I needed it. Thanks for the list.
Shameless plug: you could try BazQux Reader. It supports all old YouTube feeds (including search and newsubscriptionvideos) and allows subscribing to YouTube searches directly (just paste URL).
But it's a paid reader.