Discover and read the best of Twitter Threads about #Haskell
Most recents (23)
In a world where
#Haskell fuels a mere 0.65% of internet projects & #Python dominates with 25%
the need for a #Python-based SC dev platform becomes increasingly pivotal for any #blockchain
Enter @OpShinDev: a game-changing tool for onboarding new developers to #Cardano🧵👇
#Haskell fuels a mere 0.65% of internet projects & #Python dominates with 25%
the need for a #Python-based SC dev platform becomes increasingly pivotal for any #blockchain
Enter @OpShinDev: a game-changing tool for onboarding new developers to #Cardano🧵👇
2/14
@OpShinDev is a Python-based solution,
leveraging one of the most commonly used programming languages
Its ambition is to enhance the accessibility & usability of blockchain development
without compromising the intricacies required for SCs on #Cardano
@OpShinDev is a Python-based solution,
leveraging one of the most commonly used programming languages
Its ambition is to enhance the accessibility & usability of blockchain development
without compromising the intricacies required for SCs on #Cardano
3/14
The defining feature of OpShin is its grounding in Python 3
Python's compatibility allows seamless integration with off-chain Python-based tools such as PyCardano
and lets developers utilize existing testing frameworks and IDEs (Integrated Development Environment)
The defining feature of OpShin is its grounding in Python 3
Python's compatibility allows seamless integration with off-chain Python-based tools such as PyCardano
and lets developers utilize existing testing frameworks and IDEs (Integrated Development Environment)
🧵 Enabling real-world use cases at scale on the #SingularityNET platform via creating a MeTTa-based DSLs focused on smart contract programming in specific industry verticals.
#BuildingOnSNET #AI #Cardano
#BuildingOnSNET #AI #Cardano
2/ Smart contract scripting can be tricky, so it’s essential to design a developer-friendly framework to build applications and solutions without compromising on security.
3/ On #Ethereum, a “copy &paste” culture has emerged, where developers copy and tweak existing Solidity code. However, this approach is unsustainable in a software ecosystem powered by tools with reasonable composability.
1. Haskell is a functional programming language that is known for its purity, expressiveness, and ability to handle complex systems.
2. One of the key benefits of Haskell is its strong type system, which helps to ensure the correctness and reliability of code. This is especially important in the context of a blockchain like Cardano, where the integrity of the system depends on the accuracy of the code.
2022 was a landmark year for the #Cardano ecosystem, and it was all because of you, the community. A global movement of developers, entrepreneurs & artists built new solutions, businesses, and experiences on rock-solid foundations.
1/
1/
A mission-critical financial application must be safe & secure.
When the #Crypto industry goes through multi-million dollar hacks,
building a robust financial platform has been the core driving principle of #Cardano
So here's a thread on Functional Programming: 🧵👇
When the #Crypto industry goes through multi-million dollar hacks,
building a robust financial platform has been the core driving principle of #Cardano
So here's a thread on Functional Programming: 🧵👇
The public blockchain sphere has been growing rapidly over the past decade
If we reflect on that growth,
it has mainly been on the valuation side of things
and not that much on the utility or user side of things
So why is it that way?
If we reflect on that growth,
it has mainly been on the valuation side of things
and not that much on the utility or user side of things
So why is it that way?
One of the reasons for this lack of growth in utility is the lagging scalability
But there is another elephant in the room, which most don't address
This is the lack of a secure programming environment for the #dApps
and the rest of the #blockchain infrastructure
But there is another elephant in the room, which most don't address
This is the lack of a secure programming environment for the #dApps
and the rest of the #blockchain infrastructure
If you've got a #haskell identifier x and you need to figure out how to convert it to some type T, just write
_ x :: T
And hover over the underscore, and you see what type of function you need to get there.
_ x :: T
And hover over the underscore, and you see what type of function you need to get there.
If an appropriate function doesn't exist yet, replace the underscore with some name
f x :: T
and use the "Define ..." code action to automatically stub out a definition for f
f x :: T
and use the "Define ..." code action to automatically stub out a definition for f
If the definition you write for f ends up being really simple, you can then just inline it back at the use site.
#Ethereum's account-based model & smart contract based on Solidity is a marriage made in hell
Vasil-HFC Event is on the horizon
& its time to unleash synergies of #Cardano's EUTxO model & Plutus
Here's a thread on why EUTxO model & functional programming is what DeFi needs🧵👇
Vasil-HFC Event is on the horizon
& its time to unleash synergies of #Cardano's EUTxO model & Plutus
Here's a thread on why EUTxO model & functional programming is what DeFi needs🧵👇
The ultimate goal of #Blockchain
Is to replace the corrupt & centralized traditional financial system
To create an inclusive global financial system to bank the unbanked
But are we going to do it with a system that is more problematic than what we have now?
Is to replace the corrupt & centralized traditional financial system
To create an inclusive global financial system to bank the unbanked
But are we going to do it with a system that is more problematic than what we have now?
#Crypto in general & DeFi has seen massive growth in the last decade
DeFi-exploits have also seen proportional or even bigger growth
This makes us realize the fundamental requirement of the system we want to be a part of
A blockchain architecture that offers safety & security
DeFi-exploits have also seen proportional or even bigger growth
This makes us realize the fundamental requirement of the system we want to be a part of
A blockchain architecture that offers safety & security
گاهی وقت ها چون یه چیزایی رو خودمون میدونیم فکر میکنیم بقیه هم ممکن اون چیزا یا اطلاعات رو بدونن،مثال ساده اش وقتی که میخوای به راننده ادرس بده..!
چون خودت مسیر رو بلدی گاهی فراموش میکنی که به راننده بگی کدوم سمت بره..!
امروز میخوایم #رودمپ بررسی کینم
#کاردانو چطور متولد شد..؟
چون خودت مسیر رو بلدی گاهی فراموش میکنی که به راننده بگی کدوم سمت بره..!
امروز میخوایم #رودمپ بررسی کینم
#کاردانو چطور متولد شد..؟
#کاردانو یک بلاک چین نسل سوم است که از ابتدا با استفاده از تحقیق، بررسی همتا و یک مدل توسعه رسمی دقیق ایجاد شده است. داستان در سال 2015 با چشم انداز پرداختن به سه چالش استراتژیک پیش روی همه شبکه های بلاک چین آغاز شد: مقیاس پذیری، قابلیت همکاری و پایداری...
#فاز_بایرون
برگرفته از نام جورج گوردون بایرون شاعر و سیاست مدار انگلیسی
دو سال، هزاران GitHub متعهد شدند، و صدها ساعت مطالعه،بعد اولین نسخه #Cardano در سپتامبر 2017 ارسال شد و دوران بایرون آغاز شد.
اولین تجسم #Cardano به کاربران امکان خرید و فروش ارز دیجیتال #ADA که به نام برنامه
برگرفته از نام جورج گوردون بایرون شاعر و سیاست مدار انگلیسی
دو سال، هزاران GitHub متعهد شدند، و صدها ساعت مطالعه،بعد اولین نسخه #Cardano در سپتامبر 2017 ارسال شد و دوران بایرون آغاز شد.
اولین تجسم #Cardano به کاربران امکان خرید و فروش ارز دیجیتال #ADA که به نام برنامه
Estaba repasando mi perfil de Linkedin y me he acordado de esto en la época que andaba coqueteando con hacer el doctorado en Química computacional o algo por el estilo...
Seguro que a @vielbein le va a hacer gracia..
Seguro que a @vielbein le va a hacer gracia..
Tambien habia un montón de mates que me enseño mi compañero del grupo Felipe Zapata...
(79/n) Day79
#Haskell
#CardanoCommunity
Restarting 1tweet/day
Thunks: used to represent code that should be execute to evaluate expression
Main feature of thunk is ability to b updated when their value is evaluated
#Haskell
#CardanoCommunity
Restarting 1tweet/day
Thunks: used to represent code that should be execute to evaluate expression
Main feature of thunk is ability to b updated when their value is evaluated
(80/n) Day80
#CardanoCommunity
instead of quote tweet, i will be using tweet thread from today
#Haskell laziness boils down to creating Thunk
Today we will look at how a Thunk is evaluated
let x = a+2 in ...
Fig shows how 3 stages are involved in evaluating x
#CardanoCommunity
instead of quote tweet, i will be using tweet thread from today
#Haskell laziness boils down to creating Thunk
Today we will look at how a Thunk is evaluated
let x = a+2 in ...
Fig shows how 3 stages are involved in evaluating x
(81/n) Day81
#CardanoCommunity
#Haskell
We say a value is unevaluated if its represented by thunk
We say a value is fully norm if its evaluated
Figure shows this
tomorrow we will look at weak head normal form(WHNF)
#CardanoCommunity
#Haskell
We say a value is unevaluated if its represented by thunk
We say a value is fully norm if its evaluated
Figure shows this
tomorrow we will look at weak head normal form(WHNF)
Atribuyen a Edison la frase: “I will not say I failed 1000 times, I will say that I discovered there are 1000 ways that can cause failure.” Pues yo he estado haciendo lo mismo en los ratos libres de estos ajetreados días... +
#AdventOfCode2021 #AdventOfCode
#AdventOfCode2021 #AdventOfCode
Por las noches mientras veía alguna peli del Prime time he estado programando mi particular acercamiento al problema 15 haciendo stiching de soluciones para encontrar la solución completa al #AoC +
La dificultad no provenía del Floyd Warshall sino de como pegar las soluciones entre si propagando los costos del tal manera que no me sorprendian los fallos, hasta que aburrido/estancado pensé programar el dijkstra para tener la solución y comparar el devenir de cada código.. +
Bueno pues Hoy he hecho un pequeño esfuerzo por teclear y he resuelto el AoC Sonar Sweep parte 1.
Es muy facil asi que he tratado de ser un poco exótico y ahorrarme teclear mucho que apenas he podido aguantar la parte 1
*SPOILERS* *SPOILERS
#AoC2021 #Python
Es muy facil asi que he tratado de ser un poco exótico y ahorrarme teclear mucho que apenas he podido aguantar la parte 1
*SPOILERS* *SPOILERS
#AoC2021 #Python
Bueno agregué a un workspace las rutinas del A0C2020 por si puedo ahorrarme esfuerzo (aún ando jodido) El main funciona independiente de cuantos modulos despliegues en el directorio de challenges +
Lo primero que el puzle necesita es un swich para leer el fichero y un comando para lanzar la parte1 y la parte2 por separado. Para eso el módulo registra un subparser que se encarga de esos detalles.. +
No expliqué el invento!! ¿Funcionará?
Bueno dadme el beneficio de la duda y trato de explicaros que creo ocurre en este snippet de código..
Vamos allá!! +
#AoC2021
Bueno dadme el beneficio de la duda y trato de explicaros que creo ocurre en este snippet de código..
Vamos allá!! +
#AoC2021
Veamos :
part1 :: [Int] -> Int
part1 ns = length $ filter (>0) $ zipwith (-) ns' ns
where ns’ = tail ns
part1 :: [Int] -> Int
part1 ns = length $ filter (>0) $ zipwith (-) ns' ns
where ns’ = tail ns
ns' = tail ns, es la lista "ns" menos su primer elemto, es decir empieza por el segundo. Esto lo uso para restarle el segundo al primero con: zipWith (-) ns' ns que une en cremallera ns' y ns aplicado la resta a cada par de elementos es decir: 2º - 1º, 3º - 2º.. etc..
I like building stuff with #Haskell.
In this thread I'd like to share with you a few selected side projects I've made over the years 👇🧵
1/N
In this thread I'd like to share with you a few selected side projects I've made over the years 👇🧵
1/N
My first real Haskell program was hablog, a blog/website server, built with scotty, that powers my website (gilmi.me) to this day.
It dynamically converts markdown files to html and serves them.
Github.com/soupi/hablog
2/N
It dynamically converts markdown files to html and serves them.
Github.com/soupi/hablog
2/N
The second interesting project I worked on was Pureli, a project made as part of my CS degree.
Pureli is a purely functional, dynamically typed lisp with parallel evaluation (which isn't actually that important).
Pureli was my first dip into PLT&I.
github.com/soupi/pureli
3/N
Pureli is a purely functional, dynamically typed lisp with parallel evaluation (which isn't actually that important).
Pureli was my first dip into PLT&I.
github.com/soupi/pureli
3/N
I'm so pissed by the situation around removing (/=) from the Eq typeclass in #Haskell 😡
👇🧵 A very angry thread and I why think that people who want to introduce similar breaking changes to Haskell are just a bunch of kids who want to play with their fancy toys 🎮🎳
👇🧵 A very angry thread and I why think that people who want to introduce similar breaking changes to Haskell are just a bunch of kids who want to play with their fancy toys 🎮🎳
DISCLAIMER: I'm not against breaking changes entirely. Sometimes they are unavoidable and there's no better to fix the problem.
For instance, the recent security vulnerability in `aeson`. The problem already affected ALL Haskell applications and needed to be fixed ASAP.
For instance, the recent security vulnerability in `aeson`. The problem already affected ALL Haskell applications and needed to be fixed ASAP.
However, for almost all breaking changes in GHC or base there's no urgency at all. Breaking changes were introduced either if someone wanted to change things or if the new fancy feature is not compatible with the existing behaviour (I'm looking at you ImpredicativeTypes😒)
A way of understanding “simple” in “Simple is not easy” is that simple things/designs/programs/values are those that are easy to manipulate. And that requires a structure, which might not be easy to grasp or come up with naively.
FP, especially in expressive languages like #haskell and #purescript emphasizes abstract reusable structures exactly for this reason of easy manipulation and hence simplicity. The associated learning curve makes it indeed not easy.
But “easy” in all of this means “free goodies without effort”. The opposite is not the discouraging “undoable and impossible to learn so don’t even try” at all.
Making illegal states unrepresentable without access to at least HKTs and preferrably also to GADTs and type families is so limited that it becomes almost futile. Or becomes very verbose in a similar way to having no polymorphism/“generics”. #fsharp #Haskell #ddd
Here is a type for a customer and address in pseudo-#fsharp syntax: type Customer f = Customer of Name * f<Adress>. Newly registered customer may or may not enter an address: register : ... -> Customer Option. But...
... placing an order requires the address to be known: placeOrder : ... -> Customer<Identity> -> Order. Where type Identity<a> = a.
I write #fsharp and #haskell daily (and #purescript too) and thought of making a micro-blog comparison of the two. Fun facts and maybe new discoveries for the interested, in no particular order. This will be long and probably slow.
Про парсинг неструктурированных данных я бы рассказал даже. Тема перекликается с разработкой, когда невозможно определить сразу структуры данных. Один лайк - один факт о парсинге неструктурированных данных и задачах с нечётким определением предметной области на #Haskell
Основным инструментом для подобных задач является пакет uniplate, особенно функции universeBi и transformBi. С ними вы можете обходить и переписывать структуры данных разных типов, не заботясь о том, что конкретно они из себя представляют
Есть аналоги на Foldable/Traversable, но они гораздо сложнее и менее зрелые. uniplate существует... ну для меня столько же, сколько сам #Haskell. Простой, тупой и надёжный как топор. Ничего лучше не нашёл, и искать не хочется
Here is my take on teaching #Haskell and what should we do better. Please engage in helpful criticism and discussion 😀
So, thread below 👇
So, thread below 👇
For me, "functional style" requires of these three things:
- focus on immutability and separation of side-effects,
- higher-order functions,
- data types with support for sums/choices.
Everything but the last point is available in many mainstreams languages *now*.
- focus on immutability and separation of side-effects,
- higher-order functions,
- data types with support for sums/choices.
Everything but the last point is available in many mainstreams languages *now*.
We should acknowledge that the whole concept of higher-kinded abstractions (functor, applicative, monads) is not *easy*.
In my experience, "length applies to any list, whatever the type of the contents" (in other words, length :: [a] -> Int) seems intuitive to most people.
In my experience, "length applies to any list, whatever the type of the contents" (in other words, length :: [a] -> Int) seems intuitive to most people.
I wish we'd stop debating OOP vs FP, and started debating individual paradigms. Immutability, encapsulation, global state, single assignment, actor model, pure functions, IO in the type system, inheritance, composition... all of these are perfectly possible in either OOP or FP.
Some are better, some are worse, some are highly dependent on context, let's figure that out instead of religuously bashing umbrella terms like OOP and FP. And there may be many more paradigms to discover.
Take encapsulation: in #Haskell, you can choose for a module not to export your type constructors, and only export smart constructors and functions operating on your data structures. Sounds close enough to encapsulation to me.
✨🧠 The ecosystem that has grown up around @TensorFlow in the last few years blows my mind. There's just so much functionality, compared to some of the other, newer frameworks.
👉Consider this an ever-expanding thread for me to take notes + wrap my brain around products. Ready?
👉Consider this an ever-expanding thread for me to take notes + wrap my brain around products. Ready?
1) @TensorFlow Extended (TFX)
It's no secret that I 💕 #TFX and all of its tooling for deploying machine learning models into production. If you care about keeping your models up-to-date and monitoring them, you should check out the product + its paper.
tensorflow.org/tfx/?hl=zh-cn
It's no secret that I 💕 #TFX and all of its tooling for deploying machine learning models into production. If you care about keeping your models up-to-date and monitoring them, you should check out the product + its paper.
tensorflow.org/tfx/?hl=zh-cn
2) @TensorFlow Hub
If you want to train your model on a small data set, or improve generalization, you'll need to use something called transfer learning. #TFHub modules make it easy—and are available in an #OSS marketplace: tfhub.dev.
site: tensorflow.org/hub/
If you want to train your model on a small data set, or improve generalization, you'll need to use something called transfer learning. #TFHub modules make it easy—and are available in an #OSS marketplace: tfhub.dev.
site: tensorflow.org/hub/
Today I'm going to #rant about #haskell libraries. I'm a Haskell supporter, I think it's a great language, but that doesn't mean it doesn't have problems. Some of them are surprising and I want to talk about them.
At the end of the rant I will have tips for developers using Haskell and for libraries developers (in any language, some rules are universal) so bear with me. It's a long rant but there is a good ending ;).
A preamble first: one of the reasons why I decided to study haskell is because haskell had a good way to deal with errors and invalid inputs/states.
