fosstodon.org is one of the many independent Mastodon servers you can use to participate in the fediverse.
Fosstodon is an invite only Mastodon instance that is open to those who are interested in technology; particularly free & open source software. If you wish to join, contact us for an invite.

Administered by:

Server stats:

8.7K
active users

#functional

5 posts5 participants0 posts today

🌘 F# — 下一個主流程式語言?
➤ 探索 F# 在企業應用程式開發中的潛力與優勢
blog.snork.dev/posts/why-f--co
本文作者認為 F# 應有潛力成為下一個主流程式語言,並詳述了其優勢,包括與 .NET 生態系的無縫整合、語言的實用性、良好的開發工具支援、純正的函數式程式設計特性,以及相對較低的複雜度。儘管承認目前 F# 的缺點在於程式設計師人數較少以及部分工具仍待改進,但作者認為這些問題皆可克服,並強調 F# 在開發企業級應用程式方面的優越性,能幫助團隊準時、按預算且符合規格地交付軟體。
+ 作者點出 F# 的幾個關鍵優勢,特別是與 .NET 的整合和語言的實用性,這點我非常認同。但我還是有點擔心人才庫的問題,這對企業來說是個實際考量。
+ 認為 F# 比 Kotlin 和 TypeScript 更「純正」的函數式語言,這個論點很有意思
#程式語言 #F# #Functional Programming #.NET #軟體開發

blog.snork.devWhy F# could be the next mainstream programming languageI believe that F# could be the next, big mainstream programming language. Why? Let's look at the advantage of F#:

#Functional programing will probably become the most popular paradigm of #quantum computing. It's impossible for now to copy a qubit so any algorithms has to be written in a stateless way. At the moment, quantum algorithms are written in a more declarative manner cause we are still figuring out how to do anything with those machine. There is some attempts at creating functional languages for quantum computers but at the moment you can't run them on hardware. I'm talking here about #Quipper, #QML, and #Silq but I'm convinced that this will be the way once we will figure out how to make a quantum computer stable. Quipper is based on #Haskell. I just find it cool.

**3D printing bicycle handles**

The old bicycle handles became sticky (some kind of silicone rubber?) so I had to replace them. I could bought them, but then I would miss the opportunity to learn some more FreeCad.

Here is the final result: one pair of smooth and one pair of rigged handles printed with orange TPU:

There is 1 main part (for the smooth handle) or 11 main parts (for the rigged handle):

  • one tall hollow cylinder
  • 10 rigs

Steps:

  1. Open FreeCad, Select ‘Part Design‘ workbench, New Body
  2. Create new additive cylinder (d=30.4mm, h=115mm)
  3. Create new hole on the top side of the cylinder (d=22.3mm, depth=11mm, drill point=angled)
  4. Select bottom edge and top edge of the cylinder, create fillets for smooth edges
  5. Select inner side of the hole, create chamfer (to easy slip the hole on the metallic handle)
  6. Create new body (for rigs)
  7. Create new additive torus (the first rig), transform, move it to the correct position
  8. Go to Part workbench, scale the first rig on the z-axis (factor 2)
  9. Copy-paste the first rig 9x and evenly distribute it along the handle (transform, move on the z-axis)
  10. Select all, Union (in Part workbench)
  11. Select the newly created Fusion, export as .stl

12. Import .stl to Ultimaker Cura Slicer

13. 3D print settings:

  • Material: Generic TPU 95A
  • Layer height: normal
  • Temperature: 228C
  • Bed: 60C
  • Fan: 5%
  • Speed: 60mm/s
  • Arc welder on
  • No supports, brims

Send to Octoprint, wait 2 hrs, take timelapse meanwhile, done. Here’s the timelapse of the smaller, smooth handle:

Tags: #3dprinting #tpu #functional

https://blog.rozman.info/3d-printing-bicycle-handles/

I know I CAN DO IT. I can have a purely #functional language WITH MUTATION and without having to resort to #monads.
And it's AWESOME and I'm *completely* alone in my enthusiasm.
Why OH WHYYYYYY the rest of my fellow humans are barren to this beauty?

(For the technically curious: I'm using uniqueness typing and a bit of syntactic sugar to maintain referential transparency).

There could even be a way to implement safe pointers.

🎩✨ Behold the marvel that is "Hazel," the #functional #programming playground where you can frolic with "typed holes"—because who doesn’t want their code to resemble Swiss cheese? 🧀🔧 Meanwhile, #GitHub ominously waves its #AI wand, promising to fix bugs you never knew you had. 🤖🛠️
github.com/hazelgrove/hazel #Hazel #coding #fun #HackerNews #ngated

Hazel, a live functional programming environment with typed holes - hazelgrove/hazel
GitHubGitHub - hazelgrove/hazel: Hazel, a live functional programming environment with typed holesHazel, a live functional programming environment with typed holes - hazelgrove/hazel

@lil5 how awesome you want to dive deeper into purely #functional #programming 🤟 I think even if you don't plan to use #haskell for a great good, this is a great mind expanding experience. I would suggest to try to build something real with the language as you go, for me it is the best way to learn. This book is awesome, I also bought it btw. I think everyone struggles mostly with function composition (my fav) and the laziness, and of course do notation (monadic), but it will click, trust me.

I am using one tool implemented in Haskell. Cost: my #ArchLinux updates about 100 #Haskell packages every 2 days on average. Seriously? I am starting to think that even though I am a #functional programmer, programming in Haskell would not be for me - and not for the ferocious purity and laziness, but for the stability of the environment!

Disclaimer: I know nothing about the Haskell ecosystem. It may well be that these updates are just as innocuous as they are irritating.