I hereby claim:
- I am arsalanc-v2 on github.
- I am arsalanc (https://keybase.io/arsalanc) on keybase.
- I have a public key ASCOXo1kTQxL74enLOwbI6Ts7EYGF-I4KXJ6w9T7JMbBBgo
To claim this, I am signing this object:
I hereby claim:
To claim this, I am signing this object:
Make use of tools which help to save time and effort. This may mean using existing libraries and frameworks instead of looking to build things from scratch. For example, if you want to add a tab to your Teams application, search the web for HTML templates that are close to what you are looking for and modify them accordingly.
Assuming you are clear on what you want to build, go through the courses and resources in order to build what you want instead of doing them for their own sake. For example, instead of spending a 100 hours to complete a course and only then starting development, you can first pick out the portion that will give you enough knowledge to get started. You can then refer back to the materials and complement them as necessary. This will probably involve searching a lot of things up as you go along to help you understand everything that you need, and is part of the learning proces
from typing import Callable | |
from typing import TypeVar | |
A = TypeVar('A') | |
B = TypeVar('B') | |
def apply(f: Callable[[A],B], a: A): | |
return f(a) | |
def fst(a: A, b: B): |
from typing import Type | |
# errors on: line 2, 4 | |
# pre True | |
# post res != x | |
def some(x: int) -> int: | |
return x | |
# pre True | |
# post res == x * x |
{-# LANGUAGE ScopedTypeVariables #-} | |
module Anf where | |
import Data.IORef | |
import Control.Monad | |
import Data.Foldable (foldrM) | |
data BOp = Add | Sub | Mul | |
deriving Show |