Vladimir Logachev

Software Engineer | Scala, Haskell, Elm, TypeScript
Creator of Awsum – correctness-first, cross-target functional language

[Awsum @awsumlang]

Awsum: a functional language where every integer operation that can fail returns `Either`.

No silent wrap. No `NaN`. No `Infinity`. No `-0`. Code that doesn't handle overflow doesn't compile.

Same on JVM, CLR, JS, WASM, LLVM.

[Vladimir Logachev @logachev_dev]

@VictorTaelin @husbandas @bryan_johnson Please tell him 😱

[Vladimir Logachev @logachev_dev]

degen & codegen

[Vladimir Logachev @logachev_dev]

@ninoid_ @TurovecM If you're the smartest person in the room, you're in the wrong room.

[Vladimir Logachev @logachev_dev]

Make illegal states legal.

[Vladimir Logachev @logachev_dev]

@hmemcpy I dislike golang, but I avoid talking about it because I don't want to sound like I'm whining and complaining.

But this picture expresses precisely how I see this language: as a glitch.

[Vladimir Logachev @logachev_dev]

@ppavel24 @damikin20734 @ChShersh My friends and I use Dmitrii's work to build my project to make money in the crypto market. Another friend uses Dmitrii's work in a real-time tracking system for gliders and other aircraft on a 3d map. And all of us use Dmitrii's work to brag more efficiently in our CVs.

[Vladimir Logachev @logachev_dev]

@zack_overflow Haskell

[Vladimir Logachev @logachev_dev]

@angerman Thank you!

[Vladimir Logachev @logachev_dev]

@zack_overflow @mercury Now it's time for @Cardano and @kadena_io 🙂

[Vladimir Logachev @logachev_dev]

@CFDevelop If Elm -> Yes
If other -> No

[Vladimir Logachev @logachev_dev]

@pingiun_ @TravisMWhitaker Killing people in Haskell is typesafe! Killing people in C, JavaScript, or Python would be way worse.

[Vladimir Logachev @logachev_dev]

@TravisMWhitaker And with blockchains and shitcoins as well.

btw, https://t.co/GnZgqgkNMg is available

[Vladimir Logachev @logachev_dev]

@TravisMWhitaker Let's start our own Haskell-uncensored web app, with blackjack and rockets?

[Vladimir Logachev @logachev_dev]

@vlad_kf and I are doing Haskell programming together at 9 am on Sunday. Again.

[Vladimir Logachev @logachev_dev]

@ChShersh Haskell library authors can't help using fancy type signatures.

[Vladimir Logachev @logachev_dev]

@ChShersh "whole ecosystem search by just type"

Honestly, it's more fun than really helpful. Even though I think of types first, coming up with a useful query for that kind of search is 80% guessing on what wrappers, helpers, and whatever else the library author may use in the actual type

[Vladimir Logachev @logachev_dev]

@ChShersh @sabine_s_ @p1xelHer0 "stuck" is `pure`, so... "unstuck" should be `impure`?
Got it!

[Vladimir Logachev @logachev_dev]

@ChShersh I'd say that using anything time- and date-related for a 1h challenge is a bad idea.

A proper coding challenge answer should include tests.

Testing this function correctly can easily take more than 1 hour.