@haskman@functional.cafe
@haskman@functional.cafe avatar

haskman

@haskman@functional.cafe

Founder Functional Programming India, Concur UI framework.

“It’s all fine, if the compiler says it’s fine”.
"Rage against walled gardens"

#Haskell, #Purescript, #Rust, #FunctionalProgramming, #Robotics #3DPrinting #India #FOSS #Spanish #Japanese #Atheism

This profile is from a federated server and may be incomplete. Browse more on the original instance.

BoydStephenSmithJr, to haskell
@BoydStephenSmithJr@hachyderm.io avatar

My director is looking for "a good haskeller that is looking for work". Let me know if that is you, and introduce yourself to me so I can tell my director I know you.

I'll gladly help you skill up on our stack by answering questions so that I have another person working on the backlog.

haskman,
@haskman@functional.cafe avatar

@BoydStephenSmithJr Which company?

haskman, to rust
@haskman@functional.cafe avatar

Been hankering to write some #Rust code

#RustLang

haskman, to Dragonlance
@haskman@functional.cafe avatar

Look at the freaking #guide rates at #FatehpurSikri. Is this #India really?

#India #Tourism #UttarPradesh

haskman,
@haskman@functional.cafe avatar

@loke No, for all apparently

haskman,
@haskman@functional.cafe avatar

@loke yeah, it would be prohibitive for many locals. The guide at the Taj Mahal only charged us INR 500, so this was also high in comparison (Fatehpur Sikri is less crowded and less touristy and hence easier for guides).

haskman, to haskell
@haskman@functional.cafe avatar

I always enjoy seeing on ! https://postgrest.org/en/stable/how-tos/providing-html-content-using-htmx.html

Postgrest is of course written in . But what I didn't know was that is based on Postgrest, and they employ the lead developer of postgrest to work on it fulltime, which means Supabase is also based on Haskell!

everywhere!

haskman, to random
@haskman@functional.cafe avatar

Bring back the small internet

haskman, to iPhone
@haskman@functional.cafe avatar

I've already made the move from an #iPhone to an #android phone running #LineageOS without #Google services. I've stopped using #Twitter and #Reddit, and I'm in the process of moving away from #Github. It's time to #TakeBackControl of my data.

haskman,
@haskman@functional.cafe avatar

@Deus upi apps do work for me though I haven't tried gpay for obvious reasons

haskman,
@haskman@functional.cafe avatar

@nanyakda @Deus No. There's usually a popup warning for missing Google services, but it still does work

haskman,
@haskman@functional.cafe avatar

@nanyakda @Deus Also TIL about microg. Thanks!

haskman,
@haskman@functional.cafe avatar

@Deus @nanyakda No I've only tried third party upi apps

haskman, to delhi
@haskman@functional.cafe avatar

Attention NCR / people.

🚨Announcing a new meetup near you🚨

We are learning Haskell from the ground up, with in person meetups and online events!

Kickoff is this Saturday @ WeWork Two Horizon Gurgaon. Join us!

haskman,
@haskman@functional.cafe avatar

Attention #Delhi NCR folks. Part two of the #FPIndia #Learn #Haskell #meetup is here!

We saw amazing participation last time, and covered basic Haskell syntax, data types, and recursion. We’ll continue building on that foundation at tomorrow’s meetup. Join us at WeWork Two Horizon #Gurgaon

vwbusguy, to android
@vwbusguy@mastodon.online avatar

Thinking of forking #Android for the sole purpose of stripping out tracker URI data from share links in the clipboard.

Not serious, but almost serious..

haskman,
@haskman@functional.cafe avatar

@vwbusguy there's an app for that! https://f-droid.org/packages/com.svenjacobs.app.leon/

haskman, to ai
@haskman@functional.cafe avatar

#AI should definitely replace things like #CSS, and endless #Vim / #Emacs config tinkering

haskman, to github
@haskman@functional.cafe avatar

Trying to reduce my dependency on a centralised #git code hosting provider (i.e. #Github). You can now also find me on #Gitlab at https://gitlab.com/ajnsit. There isn't much there right now, but I intend to open any new repos on gitlab now

haskman, to rust
@haskman@functional.cafe avatar

Rant: I personally find to be in a weird space where you don't have as great a type system as Haskell's, and don't even get safety from arbitrary mutation. Atleast gives me things that doesn't.

A strict Haskell, with some warts removed would go a long way towards fixing Haskell's image problems. is that Haskell, but it gets dismissed as something solely for the web. A mature native backend for PureScript would be amazing as well.

haskman,
@haskman@functional.cafe avatar

@kosmikus @Axman6 I think the disconnect is between people who are trying to avoid advanced features vs people who are running up against the limits of advanced Haskell features. They should definitely be treated as completely separate groups with separate preferences.

haskman,
@haskman@functional.cafe avatar

@kosmikus @Axman6 Perhaps I worded it badly. By advanced I don't really mean complicated. I mean things that Haskell makes possible that are not standard or easy in other places. One group is actively exploiting such things and losing laziness will mean a loss of real functionality, the other just wants to be able to do things they can already do in other languages, and laziness often runs against that.

haskman,
@haskman@functional.cafe avatar

@Axman6 @kosmikus I've said literally none of those things. What I have said is that laziness is a tradeoff. And an unnecessary one in mine and many others' opinion

haskman,
@haskman@functional.cafe avatar

@Axman6 @kosmikus That's weird because you run into it almost immediately with anything that inadvertently accumulates thunks.

Even aside from that, it makes the runtime and the compiler implementation more complex. It makes it harder, for example, to target other platforms like the web.

It's becoming a bit lost in the noise, so let me reiterate that I'm not against laziness. I've been a Haskeller for a long time and I love it (as you can tell from my username), which means I love what laziness allows me to accomplish as well. My reasons for asking for a strict Haskell stem purely from a consideration for practicality. That it can be useful to have strict semantics, as shown by languages like (which is a delight to use).

haskman,
@haskman@functional.cafe avatar

@kosmikus @Axman6 Yes you are right, though it's not as symmetric, and it comes back to my point - a bit of a tautology - that if you use and need laziness then you do need laziness.

If you write minimum = head . sort, you are usually making a conscious choice to exploit laziness. However, writing minimum = foldl min 0 seems natural. Yes, we should fully exploit the tools provided by the language, but perhaps because the human mind is risk averse, for most people being able to write the former is not as much of a win as not being able to write the latter. Especially since for the cases where laziness is required, I can make the decision consciously and model thunks with () -> a. It may be tedious, but it can be pushed behind libraries and I usually won't have to make that choice on a daily basis.

Part of the reason why I'm excited about PureScript is because it's easy to port to new platforms. It's actually practical to compile PureScript to Erlang and use it on the backend (people do that in production I'm told), and also to Kotlin or Swift and use it in mobile apps. Also, PureScript's JS backend has no runtime and emits really clean code, which makes it easy to use browser tools to do performance analysis and to debug. It also makes FFI very easy. These things are really important to me on a day to day basis, and if Haskell reaches the same level of usability on the web, I'd definitely prefer that over PureScript for web apps.

haskman,
@haskman@functional.cafe avatar

@kosmikus @Axman6 That only requires the list data structure to be lazy though? You can (and do) have lazy lists in PureScript so that example will work more or less as is. Only the library code has to handle the details of thunking. Clojure uses its lazy sequencs to achieve the same things.

haskman, to reddit
@haskman@functional.cafe avatar



haskman,
@haskman@functional.cafe avatar

@Deus no idea. Perhaps it just saw that my activity on Reddit had massively declined and decided to boot me out completely 😄

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • JUstTest
  • ngwrru68w68
  • everett
  • InstantRegret
  • magazineikmin
  • thenastyranch
  • rosin
  • GTA5RPClips
  • Durango
  • Youngstown
  • slotface
  • khanakhh
  • kavyap
  • DreamBathrooms
  • provamag3
  • ethstaker
  • osvaldo12
  • tester
  • cubers
  • cisconetworking
  • mdbf
  • tacticalgear
  • modclub
  • Leos
  • anitta
  • normalnudes
  • megavids
  • lostlight
  • All magazines
    •